ISL + python wrapper

Gentoo official ebuild for Sven Verdoolaege's Integer Set Library (aka ISL) is more than one year behind (today is 18 Feb 2014 and isl-0.11.1 is dated 12 Dec 2012).

Below you will find fresh ebuild for ISL (dated 11 Jan) and also its python wrapper called islpy (created by Andreas Kloeckner).

File isl-20140111.ebuild should be put into /your/personal/overlay/dev-libs/ and islpy-2014.1.ebuild into /your/personal/overlay/dev-python/.

These two ebuilds install same ISL version pushed by Sven 11 Feb 2014, which means you will enjoy similar set of ISL-related bugs in your Python and C programs.

Those who need latest official release of ISL (0.12.2), take this ebuild.

Note that my ISL ebuilds optionally install some ISL utilities such as isl_polyhedron_minimize (USE=exe_please emerge =isl...).

If you wonder what files isl-20140111.zip and islpy-2014.1.zip are doing there I should tell you that those are ISL and isply bundles which should go to /distfiles. I put them here just in case (so you will be able to install the software even if repo.or.cz or github.com die).

If ISL ebuild fails to build documentation for you, it means I should add another dependency into isl-20140111.ebuild. Please report this to me (include failed emerge log).

My current email is at the bottom of this page.