#23547 closed enhancement (fixed)
isl + polylib + barvinok packages
Reported by:  mkoeppe  Owned by:  

Priority:  major  Milestone:  sage8.5 
Component:  packages: optional  Keywords:  
Cc:  vdelecroix, mkoeppe, vinklein  Merged in:  
Authors:  Vincent Delecroix  Reviewers:  Vincent Klein, Sébastien Labbé 
Report Upstream:  N/A  Work issues:  
Branch:  35989e9 (Commits, GitHub, GitLab)  Commit:  
Dependencies:  Stopgaps: 
Description (last modified by )
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/barvinok0.41.1.tar.bz2
 http://isl.gforge.inria.fr/isl0.20.tar.bz2
 http://icps.ustrasbg.fr/polylib/polylib_src/polylib5.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.
 islpy provides Python bindings to
isl
and can be installed using pip. Though it will bring its own copy ofisl
... Documentation. Theislpy
package also claims to provide bindings forbarvinok
(haven't tested). To enable:./sage pip install verbose installoption conf:'USE_BARVINOK=True' installoption conf:'USE_SHIPPED_ISL=False' installoption conf:'USE_SHIPPED_IMATH=False' islpy
 Related Python library: islplot (last update 4 years ago...)
 More resources at http://polycomp.gforge.inria.fr/
Change History (21)
comment:1 in reply to: ↑ description Changed 4 years ago by
comment:2 Changed 4 years ago by
 Cc vdelecroix added
comment:3 Changed 4 years ago by
I succeeded installing the barvinok program in my Sage installation doing
$ git clone git://repo.or.cz/barvinok.git $ cd barvinok $ sage sh (sagesh) $ ./get_submodules.sh (sagesh) $ sh autogen.sh (sagesh) $ ./configure NTL_GMP_LIP=on prefix=$SAGE_LOCAL withgmpprefix=$SAGE_LOCAL withntlprefix=$SAGE_LOCAL (sagesh) $ make (sagesh) $ make install
I think that for cleaner packaging all submodules (isl, pet, polylib) should actually be independent packages.
comment:4 Changed 4 years ago by
 Description modified (diff)
comment:5 Changed 4 years ago by
 Description modified (diff)
comment:6 Changed 3 years ago by
 Component changed from packages: experimental to packages: optional
 Description modified (diff)
 Milestone changed from sage8.1 to sage8.5
comment:7 Changed 3 years ago by
 Branch set to u/vdelecroix/23547
 Commit set to 82f0f8afd659ef271059f28242ac69c5b41e37fd
With the current branch at 82f0f8afd6
I do obtain compilation errors. I might have done something wrong. Problem discussed on isldevelopment mailing list.
New commits:
82f0f8a  23547: package isl+polylib+barvinok

comment:8 Changed 3 years ago by
 Description modified (diff)
comment:9 Changed 3 years ago by
 Description modified (diff)
comment:10 Changed 3 years ago by
 Commit changed from 82f0f8afd659ef271059f28242ac69c5b41e37fd to 89c76dd6d607effb8cb39ebe8ed44c7b39a9d2eb
Branch pushed to git repo; I updated commit sha1. This was a forced push. New commits:
89c76dd  23547: package isl+polylib+barvinok

comment:11 Changed 3 years ago by
 Status changed from new to needs_review
The three spkgcheck does pass on my computer... more testing needed.
comment:12 Changed 3 years ago by
 Commit changed from 89c76dd6d607effb8cb39ebe8ed44c7b39a9d2eb to 4984d397a24189ecc8ac1533245f63394401b869
Branch pushed to git repo; I updated commit sha1. This was a forced push. New commits:
4984d39  23547: package isl+polylib+barvinok

comment:13 Changed 3 years ago by
 Commit changed from 4984d397a24189ecc8ac1533245f63394401b869 to 35989e9894d2bf51e4359bb5ceb9be28b8e013cb
Branch pushed to git repo; I updated commit sha1. This was a forced push. New commits:
35989e9  23547: package isl+polylib+barvinok

comment:14 Changed 3 years ago by
 Summary changed from Add isl and barvinok packages to isl + polylib + barvinok packages
comment:15 Changed 3 years ago by
 Cc mkoeppe vinklein added
comment:16 Changed 3 years ago by
Ticket installed and compiled on OSX.
The output of barvinok tests is pretty strange with repetition of 'o' and '.' characters.
$ sage f c barvinok ... [barvinok0.41.1] ./tests/supporting1 specialization=df primal index=10 ok [barvinok0.41.1] ./tests/supporting1 specialization=todd primal index=10 ok [barvinok0.41.1] ./tests/supporting2 specialization=random index=10o.......ooooooooooooooooooooooooo ok................................ [barvinok0.41.1] ./tests/supporting2 specialization=bf index=10oooooooooooooooooooooooooooooooooooooooooo [barvinok0.41.1] ok [barvinok0.41.1] ./tests/supporting2 specialization=df index=10./tests/ehrhart/g13.in [barvinok0.41.1] ok [barvinok0.41.1] ./tests/supporting2 specialization=todd index=10..........ooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooo [barvinok0.41.1] ok ...
comment:17 Changed 3 years ago by
Checks tests are successful for the three packages on OSX.
comment:18 Changed 3 years ago by
 Reviewers set to Vincent Klein, Sébastien Labbé
 Status changed from needs_review to positive_review
Installation tested on Ubuntu 16.04. sage f c barvinok
works. Positive review.
comment:19 Changed 3 years ago by
Bravo! Merci!
comment:20 Changed 3 years ago by
 Branch changed from u/vdelecroix/23547 to 35989e9894d2bf51e4359bb5ceb9be28b8e013cb
 Resolution set to fixed
 Status changed from positive_review to closed
comment:21 Changed 3 years ago by
 Commit 35989e9894d2bf51e4359bb5ceb9be28b8e013cb deleted
Note that isl>=0.20
breaks compiling of gcc
(fix in #26735), so this presumably makes make isl && make gcc
fail, even on computers with system isl<0.20
. (I have system isl=0.20
already, so I can't test that this is the case.)
Replying to mkoeppe:
I don't think this is acceptable.