Trac #23547: isl + polylib + barvinok packages

We package Sven Verdoolaege's [http://barvinok.gforge.inria.fr/
barvinok] package (for lattice points in polytopes etc). It has
dependency [http://isl.gforge.inria.fr/ isl] and
[http://icps.u-strasbg.fr/polylib/ polylib.].

Source codes at

- source http://repo.or.cz/w/barvinok.git
- source http://repo.or.cz/w/isl.git
- source http://repo.or.cz/w/polylib.git

Tarballs at

- http://barvinok.gforge.inria.fr/barvinok-0.41.1.tar.bz2
- http://isl.gforge.inria.fr/isl-0.20.tar.bz2
- http://icps.u-strasbg.fr/polylib/polylib_src/polylib-5.22.5.tar.gz

--------------------

Remarks

- [pet](http://repo.or.cz/w/pet.git) is an optional dependency of
barvinok and might be treated later on.

- [https://pypi.python.org/pypi/islpy islpy] provides Python bindings to
`isl` and can be installed using pip. Though it will bring its own copy
of `isl`... [https://documen.tician.de/islpy/index.html Documentation].
The `islpy` package also claims  to provide bindings for `barvinok`
(haven't tested). To enable:
{{{
./sage -pip install --verbose --install-option
--conf:'USE_BARVINOK=True' --install-option
--conf:'USE_SHIPPED_ISL=False' --install-option
--conf:'USE_SHIPPED_IMATH=False' islpy
}}}
- Related Python library: [https://github.com/tobig/islplot islplot]
(last update 4 years ago...)
- More resources at http://polycomp.gforge.inria.fr/

URL: https://trac.sagemath.org/23547
Reported by: mkoeppe
Ticket author(s): Vincent Delecroix
Reviewer(s): Vincent Klein, Sébastien Labbé

build/pkgs/barvinok/SPKG.txt

@@ -0,0 +1,15 @@
+= barvinok =
+
+== Description ==
+
+barvinok is a library for counting the number of integer points
+in parametric and non-parametric polytopes as well as projections
+of such sets.
+
+== License ==
+
+GPL v2
+
+== Upstream Contact ==
+
+ * http://groups.google.com/group/isl-development

build/pkgs/barvinok/checksums.ini

@@ -0,0 +1,4 @@
+tarball=barvinok-VERSION.tar.bz2
+sha1=31c50d4b2a4cebe049072fd54c6e41ccece5ec1d
+md5=60082222a73b2d4fd430da7b770a4072
+cksum=355377045

build/pkgs/barvinok/dependencies

@@ -0,0 +1,5 @@
+ntl isl polylib
+
+----------
+All lines of this file are ignored except the first.
+It is copied by SAGE_ROOT/build/make/install into SAGE_ROOT/build/make/Makefile.

build/pkgs/barvinok/package-version.txt

@@ -0,0 +1 @@
+0.41.1

build/pkgs/barvinok/spkg-check

@@ -0,0 +1,2 @@
+cd src
+sdh_make check

build/pkgs/barvinok/spkg-install

@@ -0,0 +1,9 @@
+cd src
+
+sdh_configure --with-gmp-prefix=${SAGE_LOCAL} \
+              --with-ntl-prefix=${SAGE_LOCAL} \
+              --with-isl=system               \
+              --with-polylib=system           \
+              --enable-shared-barvinok
+sdh_make
+sdh_make_install

build/pkgs/barvinok/type

@@ -0,0 +1 @@
+optional

build/pkgs/isl/SPKG.txt

@@ -0,0 +1,33 @@
+= isl =
+
+== Description ==
+
+isl is a thread-safe C library for manipulating sets and relations
+of integer points bounded by affine constraints.  The descriptions of
+the sets and relations may involve both parameters and existentially
+quantified variables.  All computations are performed in exact integer
+arithmetic using GMP.
+
+== License ==
+
+isl is released under the MIT license, but depends on the LGPL GMP library.
+
+== Upstream Contact ==
+
+ * http://groups.google.com/group/isl-development
+
+== Citation ==
+
+@incollection{Verdoolaege2010isl,
+   author = {Verdoolaege, Sven},
+   title = {isl: An Integer Set Library for the Polyhedral Model},
+   booktitle = {Mathematical Software - ICMS 2010},
+   series = {Lecture Notes in Computer Science},
+   editor = {Fukuda, Komei and Hoeven, Joris and Joswig, Michael and
+                Takayama, Nobuki},
+   publisher = {Springer},
+   isbn = {978-3-642-15581-9},
+   pages = {299-302},
+   volume = {6327},
+   year = {2010}
+}

build/pkgs/isl/checksums.ini

@@ -0,0 +1,4 @@
+tarball=isl-VERSION.tar.bz2
+sha1=b1d96b7b44c72f86c98d4fbd4caaa7796b27681e
+md5=cb396f31b24aeeac49840b519741b0e1
+cksum=4190462468

build/pkgs/isl/dependencies

@@ -0,0 +1,5 @@
+$(MP_LIBRARY)
+
+----------
+All lines of this file are ignored except the first.
+It is copied by SAGE_ROOT/build/make/install into SAGE_ROOT/build/make/Makefile.

build/pkgs/isl/package-version.txt

@@ -0,0 +1 @@
+0.20

build/pkgs/isl/spkg-check

@@ -0,0 +1,2 @@
+cd src
+sdh_make check

build/pkgs/isl/spkg-install

@@ -0,0 +1,5 @@
+cd src
+
+sdh_configure
+sdh_make
+sdh_make_install

build/pkgs/isl/type

@@ -0,0 +1 @@
+optional

build/pkgs/polylib/SPKG.txt

@@ -0,0 +1,19 @@
+= polylib =
+
+== Description ==
+
+The Polyhedral Library (PolyLib for short) operates on objects made up of unions of polyhedra of any dimension.
+polylib is a C library.
+
+
+== License ==
+
+GPL v3
+
+== Upstream Contact ==
+
+* https://groups.google.com/forum/#!forum/isl-development
+
+== Dependencies ==
+
+ * GMP

build/pkgs/polylib/checksums.ini

@@ -0,0 +1,4 @@
+tarball=polylib-VERSION.tar.gz
+sha1=72b23c09a50ce9583c419e8376544630d6f99ea3
+md5=c0088786e0a5ae64b7cc47ad19ae4f83
+cksum=116350713

build/pkgs/polylib/dependencies

@@ -0,0 +1,5 @@
+$(MP_LIBRARY) mpfr ntl
+
+----------
+All lines of this file are ignored except the first.
+It is copied by SAGE_ROOT/build/make/install into SAGE_ROOT/build/make/Makefile.

build/pkgs/polylib/package-version.txt

@@ -0,0 +1 @@
+5.22.5

build/pkgs/polylib/spkg-check

@@ -0,0 +1,2 @@
+cd src
+sdh_make check

build/pkgs/polylib/spkg-install

@@ -0,0 +1,5 @@
+cd src
+
+sdh_configure --with-libgmp=${SAGE_LOCAL}/lib
+sdh_make
+sdh_make_install

build/pkgs/polylib/type

@@ -0,0 +1 @@
+optional