isl + polylib + barvinok packages

[mkoeppe]

We package Sven Verdoolaege's barvinok package (for lattice points in polytopes etc). It has dependency isl and 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 is an optional dependency of barvinok and might be treated later on.

• islpy provides Python bindings to isl and can be installed using pip. Though it will bring its own copy of isl... 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: islplot (last update 4 years ago...)
• More resources at http://polycomp.gforge.inria.fr/

CC: @videlec @mkoeppe @vinklein

Component: packages: optional

Author: Vincent Delecroix

Branch: 35989e9

Reviewer: Vincent Klein, Sébastien Labbé

Issue created by migration from https://trac.sagemath.org/ticket/23547

[jdemeyer]

Replying to @mkoeppe:

It will bring its own copy of isl.

I don't think this is acceptable.

[videlec]

comment:3

I succeeded installing the barvinok program in my Sage installation doing

$ git clone git://repo.or.cz/barvinok.git
$ cd barvinok
$ sage -sh
(sage-sh) $ ./get_submodules.sh
(sage-sh) $ sh autogen.sh
(sage-sh) $ ./configure NTL_GMP_LIP=on --prefix=$SAGE_LOCAL --with-gmp-prefix=$SAGE_LOCAL --with-ntl-prefix=$SAGE_LOCAL
(sage-sh) $ make
(sage-sh) $ make install

I think that for cleaner packaging all submodules (isl, pet, polylib) should actually be independent packages.

[videlec]

Description changed:

--- 
+++ 
@@ -18,4 +18,9 @@
 Resources: 
 - http://polycomp.gforge.inria.fr/
 
+Sources:
 
+- pet http://repo.or.cz/w/pet.git
+- isl http://repo.or.cz/w/isl.git
+- polylib http://repo.or.cz/w/polylib.git
+- barvinok http://repo.or.cz/w/barvinok.git

[videlec]

Description changed:

--- 
+++ 
@@ -13,14 +13,20 @@
 ```
 To do this, we would need `isl` and `barvinok` packages (or just `barvinok`, as "Since release 0.30, the barvinok distribution includes the isl library.") 
 
-Related Python library: [islplot](https://github.com/tobig/islplot)
+Related Python library: [islplot](https://github.com/tobig/islplot) (last update 4 years ago...)
 
 Resources: 
 - http://polycomp.gforge.inria.fr/
 
-Sources:
+Links for dependencies:
 
+- barvinok
+  - source http://repo.or.cz/w/barvinok.git
+  - webpage http://barvinok.gforge.inria.fr/
 - pet http://repo.or.cz/w/pet.git
-- isl http://repo.or.cz/w/isl.git
-- polylib http://repo.or.cz/w/polylib.git
-- barvinok http://repo.or.cz/w/barvinok.git
+- isl
+  - source http://repo.or.cz/w/isl.git
+  - webpage http://isl.gforge.inria.fr/
+- polylib
+  - source http://repo.or.cz/w/polylib.git
+  - webpage http://icps.u-strasbg.fr/polylib/

[videlec]

Description changed:

--- 
+++ 
@@ -1,4 +1,20 @@
-Sven Verdoolaege's [`isl`](http://isl.gforge.inria.fr/) and [`barvinok`](http://barvinok.gforge.inria.fr/) are excellent packages for lattice points in polytopes etc. 
+We package Sven Verdoolaege's [`barvinok`](http://barvinok.gforge.inria.fr/) package (for lattice points in polytopes etc). It has dependency [`isl`](http://isl.gforge.inria.fr/) and  [`polylib.`](http://icps.u-strasbg.fr/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.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
+
+---
+
+[pet](http://repo.or.cz/w/pet.git) is an optional dependency of barvinok and might be treated later on.
 
 Python bindings to `isl` are available:
 
@@ -15,18 +31,5 @@
 
 Related Python library: [islplot](https://github.com/tobig/islplot) (last update 4 years ago...)
 
-Resources: 
-- http://polycomp.gforge.inria.fr/
+More resources at http://polycomp.gforge.inria.fr/
 
-Links for dependencies:
-
-- barvinok
-  - source http://repo.or.cz/w/barvinok.git
-  - webpage http://barvinok.gforge.inria.fr/
-- pet http://repo.or.cz/w/pet.git
-- isl
-  - source http://repo.or.cz/w/isl.git
-  - webpage http://isl.gforge.inria.fr/
-- polylib
-  - source http://repo.or.cz/w/polylib.git
-  - webpage http://icps.u-strasbg.fr/polylib/

[videlec]

Author: Vincent Delecroix

[videlec]

Commit: 82f0f8a

[videlec]

comment:7

With the current branch at 82f0f8afd6 I do obtain compilation errors. I might have done something wrong. Problem discussed on isl-development mailing list.

---

New commits:

82f0f8a

23547: package isl+polylib+barvinok

[videlec]

Branch: u/vdelecroix/23547

[videlec]

Description changed:

--- 
+++ 
@@ -1,4 +1,4 @@
-We package Sven Verdoolaege's [`barvinok`](http://barvinok.gforge.inria.fr/) package (for lattice points in polytopes etc). It has dependency [`isl`](http://isl.gforge.inria.fr/) and  [`polylib.`](http://icps.u-strasbg.fr/polylib/).
+We package Sven Verdoolaege's [barvinok](http://barvinok.gforge.inria.fr/) package (for lattice points in polytopes etc). It has dependency [isl](http://isl.gforge.inria.fr/) and  [polylib.](http://icps.u-strasbg.fr/polylib/).
 
 Source codes at
 
@@ -14,22 +14,15 @@
 
 ---
 
-[pet](http://repo.or.cz/w/pet.git) is an optional dependency of barvinok and might be treated later on.
+Remarks
 
-Python bindings to `isl` are available:
+- [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
-
-It can be installed into sage using pip. It will bring its own copy of `isl`. [Documentation](https://documen.tician.de/islpy/index.html)
-
-The `islpy` package also claims  to provide bindings for `barvinok` (haven't tested).  To enable:
+- [islpy](https://pypi.python.org/pypi/islpy) provides Python bindings to `isl` and can be installed using pip. Though it will bring its own copy of `isl`... [Documentation](https://documen.tician.de/islpy/index.html). 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
 ```
-To do this, we would need `isl` and `barvinok` packages (or just `barvinok`, as "Since release 0.30, the barvinok distribution includes the isl library.") 
+- Related Python library: [islplot](https://github.com/tobig/islplot) (last update 4 years ago...)
+- More resources at http://polycomp.gforge.inria.fr/
 
-Related Python library: [islplot](https://github.com/tobig/islplot) (last update 4 years ago...)
-
-More resources at http://polycomp.gforge.inria.fr/
-

[videlec]

Description changed:

--- 
+++ 
@@ -8,7 +8,7 @@
 
 Tarballs at
 
-- http://barvinok.gforge.inria.fr/barvinok-0.41.tar.bz2
+- 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