1 <?xml version="1.0" encoding="UTF-8" standalone="yes"?>
2 <software-distribution project="MinGW" home="http://www.mingw.org" issue="@YYYYMMDDNN@">
4 <!-- File: mingw32-isl.xml ~~ mingw-get package description for ISL -->
6 <package-collection subsystem="mingw32">
7 <download-host uri="http://osdn.net/dl/mingw/%F" />
9 <!-- Provides the package descriptions for the ISL library, which -->
10 <!-- is a runtime prerequisite for modern versions of GCC. -->
12 <package name="mingw32-isl" alias="isl">
13 <affiliate group="MinGW Standard Libraries" />
14 <description lang="en" title="Integer Set Library">
16 ISL is a C library for manipulating sets of, and the relationships
17 between, integer points bounded by linear constraints.
20 This mingw32-isl package set provides the documentation for the ISL
21 library, as well as the related development files. The associated
22 mingw32-libisl package provides the C runtime library.
26 <source tarname="isl-%-mingw32-src.tar.%" />
27 <licence tarname="isl-%-mingw32-lic.tar.%" />
29 <component class="dev">
30 <release tarname="isl-0.18-2-mingw32-dev.tar.xz" />
31 <requires eq="libisl-%-mingw32-dll-15.tar" />
32 <requires ge="gmp-*-mingw32-dev.tar" />
35 <component class="doc">
36 <release tarname="isl-0.18-2-mingw32-doc.tar.xz" />
39 <component class="lic">
40 <release tarname="isl-0.18-2-mingw32-lic.tar.xz" />
44 <package name="mingw32-libisl" alias="libisl">
45 <affiliate group="MinGW Standard Libraries" />
46 <description lang="en" title="Integer Set Library">
48 ISL is a C library for manipulating sets of, and the relationships
49 between, integer points bounded by linear constraints. This package
50 provides the runtime library; the associated development files, and
51 documentation, may be found in the mingw32-isl package set.
54 From the release of GCC-6.3.0 onwards, this package is a required
55 component of the MinGW Compiler Suite.
59 <source tarname="isl-%-mingw32-src.tar.%" />
60 <licence tarname="isl-%-mingw32-lic.tar.%" />
62 <component class="dll">
63 <release tarname="libisl-0.18-2-mingw32-dll-15.tar.xz" />
64 <requires eq="mingw32-libgmp-*-mingw32-dll-10.tar" />
65 <requires eq="mingw32-libgcc-*-mingw32-dll-1.tar" />
70 </software-distribution>
72 <!-- vim: set nocompatible showcmd expandtab tabstop=2 shiftwidth=2: -->
73 <!-- vim: set fileformat=unix textwidth=80: -->