Add and publish new mingw32-isl-0.18 package set.

diff --git a/ChangeLog b/ChangeLog
index 675a55d..7852caf 100644 (file)
--- a/ChangeLog
+++ b/ChangeLog
@@ -1,3 +1,11 @@
+2017-07-14  Keith Marshall  <keithmarshall@users.sourceforge.net>
+
+       Add and publish new mingw32-isl-0.18 package set.
+
+       * mingw32/mingw32-isl.xml: New package specification file.
+       * mingw32/mingw32-package-list.xml (mingw32-isl): Register it.
+       * common/issue.log mingw32/issue.log: Update accordingly.
+
 2017-07-12  Keith Marshall  <keithmarshall@users.sourceforge.net>
 
        Upgrade mingw32-binutils package to version 2.28-1.

diff --git a/common/issue.log b/common/issue.log
index 152fca6..83c32c3 100644 (file)
--- a/common/issue.log
+++ b/common/issue.log
@@ -23,6 +23,6 @@
 # MinGW Project, accept liability for any damages, however caused,
 # arising from the use of this software.
 #
-  c6a9068e183254c0b930ac6e1a70fd81743dc212 2017071200 package-list.xml
+  c6a9068e183254c0b930ac6e1a70fd81743dc212 2017071401 package-list.xml
 #
 # $RCSfile$: end of file

diff --git a/mingw32/issue.log b/mingw32/issue.log
index f256a2a..4181eeb 100644 (file)
--- a/mingw32/issue.log
+++ b/mingw32/issue.log
@@ -40,6 +40,7 @@
   14dd10ab97b27430bdb688f4e85993cd821f7a05 2012073100 mingw32-gendef.xml
   7b16c690a8b02106e7cc7abc6c6310fe30390683 2015090600 mingw32-gettext.xml
   8272b6fc44a3e7766adec484742f007f28a39eaf 2013090900 mingw32-gmp.xml
+  a8d68c6dfdea77d8a2a7fb899004955f51a5dbe1 2017071400 mingw32-isl.xml
   99e3ac0d2c743b0d927a4d89a3153a975d2bdf87 2012073100 mingw32-libarchive.xml
   e8392e268250e1bc37bc008e34c4c180cec4fdaa 2014042900 mingw32-libiconv.xml
   ccc15973cdc9ff14c12e4385c3e692af1c18b29d 2012073100 mingw32-libtool.xml
@@ -50,7 +51,7 @@
   cd33ad74b608bce33ea297801253e6efbafce27c 2012073100 mingw32-mingw-utils.xml
   8d3a7125499a85916b53efb4c897ac907e2490ab 2015082000 mingw32-mpc.xml
   8a11de23e7a89fd11436bdf162ef90712f30101b 2013102300 mingw32-mpfr.xml
-  56f4032058328cacfabe64fa46706d72c2fa931e 2017071200 mingw32-package-list.xml
+  5c9570cce1ddd4fe275b83acbc06739a4361c26a 2017071401 mingw32-package-list.xml
   1f15439ee5f66ec22321c7aa853559b6f8f7172f 2015090800 mingw32-pexports.xml
   cdb2a4dbedfc9f2cdfc92340f6f9b12da061c0d9 2012073100 mingw32-popt.xml
   6032af6ff68aa4821cf51938781fd9e75f05de5f 2016082200 mingw32-pthreads-w32.xml

diff --git a/mingw32/mingw32-isl.xml b/mingw32/mingw32-isl.xml
new file mode 100644 (file)
index 0000000..dbd6abb
--- /dev/null
+++ b/mingw32/mingw32-isl.xml
@@ -0,0 +1,73 @@
+<?xml version="1.0" encoding="UTF-8" standalone="yes"?>
+<software-distribution project="MinGW" home="http://www.mingw.org" issue="@YYYYMMDDNN@">
+
+  <!-- File: mingw32-isl.xml ~~ mingw-get package description for ISL -->
+
+  <package-collection subsystem="mingw32">
+    <download-host uri="http://prdownloads.sourceforge.net/mingw/%F?download" />
+
+    <!-- Provides the package descriptions for the ISL library, which -->
+    <!-- is a runtime prerequisite for modern versions of GCC.        -->
+
+    <package name="mingw32-isl" alias="isl">
+      <affiliate group="MinGW Standard Libraries" />
+      <description lang="en" title="Integer Set Library">
+        <paragraph>
+          ISL is a C library for manipulating sets of, and the relationships
+          between, integer points bounded by linear constraints.
+        </paragraph>
+        <paragraph>
+          This mingw32-isl package set provides the documentation for the ISL
+          library, as well as the related development files.  The associated
+          mingw32-libisl package provides the C runtime library.
+        </paragraph>
+      </description>
+
+      <source tarname="isl-%-mingw32-src.tar.%" />
+      <licence tarname="isl-%-mingw32-lic.tar.%" />
+
+      <component class="dev">
+        <release tarname="isl-0.18-1-mingw32-dev.tar.xz" />
+        <requires eq="libisl-%-mingw32-dll-15.tar" />
+        <requires ge="gmp-*-mingw32-dev.tar" />
+      </component>
+
+      <component class="doc">
+        <release tarname="isl-0.18-1-mingw32-doc.tar.xz" />
+      </component>
+
+      <component class="lic">
+        <release tarname="isl-0.18-1-mingw32-lic.tar.xz" />
+      </component>
+    </package>
+
+    <package name="mingw32-libisl" alias="libisl">
+      <affiliate group="MinGW Standard Libraries" />
+      <description lang="en" title="Integer Set Library">
+        <paragraph>
+          ISL is a C library for manipulating sets of, and the relationships
+          between, integer points bounded by linear constraints.  This package
+          provides the runtime library; the associated development files, and
+          documentation, may be found in the mingw32-isl package set.
+        </paragraph>
+        <paragraph>
+          From the release of GCC-6.3.0 onwards, this package is a required
+          component of the MinGW Compiler Suite.
+        </paragraph>
+      </description>
+
+      <source tarname="isl-%-mingw32-src.tar.%" />
+      <licence tarname="isl-%-mingw32-lic.tar.%" />
+
+      <component class="dll">
+        <release tarname="libisl-0.18-1-mingw32-dll-15.tar.xz" />
+        <requires eq="mingw32-libgmp-*-mingw32-dll-10.tar" />
+        <requires eq="mingw32-libgcc-*-mingw32-dll-1.tar" />
+      </component>
+    </package>
+
+  </package-collection>
+</software-distribution>
+
+<!-- vim: set textwidth=80 tabstop=2 shiftwidth=2 expandtab: -->
+<!-- vim: set fileformat=unix nocompatible: -->

diff --git a/mingw32/mingw32-package-list.xml b/mingw32/mingw32-package-list.xml
index c5cae92..1b73a73 100644 (file)
--- a/mingw32/mingw32-package-list.xml
+++ b/mingw32/mingw32-package-list.xml
@@ -38,6 +38,7 @@
   <package-list catalogue="mingw32-gendef" />
   <package-list catalogue="mingw32-gettext" />
   <package-list catalogue="mingw32-gmp" />
+  <package-list catalogue="mingw32-isl" />
   <package-list catalogue="mingw32-libarchive" />
   <package-list catalogue="mingw32-libiconv" />
   <package-list catalogue="mingw32-libtool" />