summaryrefslogtreecommitdiff
path: root/dev-libs/isl
diff options
context:
space:
mode:
Diffstat (limited to 'dev-libs/isl')
-rw-r--r--dev-libs/isl/Manifest20
-rw-r--r--dev-libs/isl/files/isl-0.07-gdb-autoload-dir.patch17
-rw-r--r--dev-libs/isl/isl-0.12.2.ebuild38
-rw-r--r--dev-libs/isl/isl-0.13.ebuild38
-rw-r--r--dev-libs/isl/isl-0.14.1.ebuild39
-rw-r--r--dev-libs/isl/isl-0.14.ebuild39
-rw-r--r--dev-libs/isl/isl-0.15.ebuild39
-rw-r--r--dev-libs/isl/isl-0.16.1.ebuild39
-rw-r--r--dev-libs/isl/isl-0.17.1.ebuild39
-rw-r--r--dev-libs/isl/isl-0.18.ebuild39
-rw-r--r--dev-libs/isl/metadata.xml7
11 files changed, 354 insertions, 0 deletions
diff --git a/dev-libs/isl/Manifest b/dev-libs/isl/Manifest
new file mode 100644
index 000000000000..a9aa4ffe995f
--- /dev/null
+++ b/dev-libs/isl/Manifest
@@ -0,0 +1,20 @@
+AUX isl-0.07-gdb-autoload-dir.patch 871 SHA256 6897bfc0a8036cd2bb6698e759d56be0bad9145590850688483b82556813270d SHA512 ffe4db1e1bc2199718667d7e3835d5d3fcabfa82402d39ec540fb86641ced3a46d43cd60682188883927c796925679142b4481b231d218bd776cb3c08ef8117e WHIRLPOOL 8564d5976cc6c7bf7cc4ab2364e25cd5ae2b16ce92f32d14cea45015896be0448ad1bf86b4b6b67a16fccdec655e663fad78dc9d78d22a07f429ab4e783f41a8
+DIST isl-0.12.2.tar.bz2 1319434 SHA256 f4b3dbee9712850006e44f0db2103441ab3d13b406f77996d1df19ee89d11fb4 SHA512 b5dea4d6b504fac22f2d8cd9c47d6896994d3966635a514d45010243db44cfbc009574b808f3587f35d91de629110bc11b52941d4075e21f8646c59656e62aea WHIRLPOOL 7138e0a6249a1245fa07cd072abbbcbda19f7f9d3cf31297e7e6e535e24b5cfd12ea7aee61b68c8e0586dc90ee9a86762e3723312e099ff5edfa3f791e2ca444
+DIST isl-0.13.tar.bz2 1351299 SHA256 7265fd897b7f9147fde76560f28ed18f2c20e5f5da7f4bd9d0e01f8a713401f1 SHA512 ac94cc6448ce8ed5ccf987fb29d86ddd5a63c904a83df3f24f66cde25e5657180a3f2b55b207635d43930e92c860d1043d3f14e9e715d593d53c956eb8346743 WHIRLPOOL 3d5f7343014c07e8e50d0b82db0d6f938c9e8c7cfb2c27cd312141c3f0fef50e0bf2a7421f4fce91d6247e9a027e88d47312c1e7c56fc8d34e2b7e77589dedcf
+DIST isl-0.14.1.tar.xz 1248204 SHA256 8882c9e36549fc757efa267706a9af733bb8d7fe3905cbfde43e17a89eea4675 SHA512 ccae0464771db50c498fd1f9f1006c9bc183fd77a0716507daeb5da6d435fdcffffa0942efc4589464f205615f9e46242a066f61790c40206be02f6cf8506635 WHIRLPOOL e9c59808a84bd0b769698f129c0fdaf427d004afd6ee979c89f7d6bc7ce6d77f14f5389f2d0718fea6202a29d6da77a60357456117c4696735b14e6369f35985
+DIST isl-0.14.tar.xz 1247052 SHA256 b1044f02819da0708fc7071fa2a558ce5d3c29d6676c8cb113caaedd5903ff03 SHA512 cf43868d466d6ff08c5e15345d222ad153e8c4e86831f9854df716eb914c6c15f4c44b73aa6e0b16eb556d1a4d3c26af6f71e85421bf464cbbd053d5f3c515ee WHIRLPOOL 4fdaa2c05b647f0830afbc3385e5359285b3fa86afa4a117b76e6ced03772d3abe57466e9cbdfe0cf96f05ab8bcbfb4737a6921aeb72fb1bd213374bdb6a2ac3
+DIST isl-0.15.tar.xz 1406988 SHA256 104a608839771d809558f5fd7533ca1a3b8ee5a667c5dcd9dc3499bf0a1522d5 SHA512 5e72816da133714fb752ddd10fbe9e8f18deef496445672c0a77429679e50f1def22e05e5ebe9acb5534fc8939a6e6a452ffa3607d479671864a76b6789bdab4 WHIRLPOOL 79d763a423a95544f9b8bd6caef9e23341d8c1bab5ae3711a59ce9cc28f7f3923adb20894601ccd91c0093dbe3c656951b8246b8e947ad5ed32d1beefcde1519
+DIST isl-0.16.1.tar.xz 1449164 SHA256 45292f30b3cb8b9c03009804024df72a79e9b5ab89e41c94752d6ea58a1e4b02 SHA512 6faff2fe07267ba05c156158c36c25aa9beec6058f949b7bb9b8f042c5d01b7a3a17a6117c2c2a13ad6180308c8d03cfd469b237abf85290411599dde614788f WHIRLPOOL 1f3edf59bc6be956863eae436e62fb6adcc8cbe51e683b72cc986e9d5d30c6fb1c9cdea510652b78b6c448abf522edb1773dfd9cda6792012fcad9ac20fc5609
+DIST isl-0.17.1.tar.xz 1440564 SHA256 be152e5c816b477594f4c6194b5666d8129f3a27702756ae9ff60346a8731647 SHA512 03d73e81db2a01c5dd31bec12816975988bf731f29b95637bc15ea24abf0becad6e8d650ca0bad45eaad4197cb0a1f5ca189aec638db162c56092a001e35d86b WHIRLPOOL 3a1652773077226cc6dc436a8b9eafbd9a9576e91dce2a4de46e0972c24214a8f781b3a3c9e805d15b0dc1bb96fc7d0441eb194c45d5681f7e897dc1ff3bfd03
+DIST isl-0.18.tar.xz 1475708 SHA256 0f35051cc030b87c673ac1f187de40e386a1482a0cfdf2c552dd6031b307ddc4 SHA512 3606609765fc34740ab3014e2256d6bba7ff730463b014a0e4f5fcfb2e3dbef974503dff1f3702b307ef79ff86c5bc2c3ce3c3c8511533971fd5d53ab45f6eea WHIRLPOOL 090ec2725bd45c8c0b45918b5af38bef2d8634752de1224a5715db65e36b65ef43f5ab5b58be3acd5dc489aa0853953f99f04fc9271a10cb60562f58f17e6d17
+EBUILD isl-0.12.2.ebuild 1048 SHA256 f25b0b89f56c2e6aa8537e466b96c2baea73cd70354b3fa74cc5c83d2c0a0c3a SHA512 6834670244e7f4ec9a8238442ad472282db1fe313af11a2b17b9e7c3205b6e3b2efee00fb539cfc7c720d5fc8f0e39334e739fa22fea2fb8eee9152b77ad184c WHIRLPOOL e3d0823f2688d54637eb881cd0894e6fd7279554498671d36f9eaa43cf5bfbf214d0025270c2b4b9eab03ac47aa90b126fbf0da8c2d5d7df295a0dad0be708c6
+EBUILD isl-0.13.ebuild 1060 SHA256 be68a9bbb350135b6b6db805ce527bd9be666fcc9a5e72220f22f78ec980fcc8 SHA512 289ea8dfac458f4c79f63f15b65ca4c675ab23bf6d48ce149cbc1ae4c5640ddd0c1f37de6336d7271eb0411a6a1305f364bc3fb0d82294ad0aae7b2dc6b97b5d WHIRLPOOL 2fd3f51503d331e1f337a6c8d595ee6c5c030806f92438e89e138580ec6a3a3c51dc0b6ab12f752231a2fbfa37b933ddce0564d1f17cddbf3ddf79c3f23299c4
+EBUILD isl-0.14.1.ebuild 1078 SHA256 a5df08de3d2d2f7c69b306d7d1f11a0e5cc50026e6929abf1f1884a997bfb820 SHA512 0bccd7ddb31c98564515f1ef9436276c29249391a685f1022ddc7e78f415b25be3bc2acd63d888d18f99cc9b0aa311b90960a446656d02e973af507abbe57543 WHIRLPOOL 4d3323c0f696dea9d0f69bd464c08b8699405a1afdfe021cc7ac1541afb8f0b2e277b24072adb8810c700138cea00232b991ef960ce06eab8ce6480a3e5a9b30
+EBUILD isl-0.14.ebuild 1078 SHA256 a5df08de3d2d2f7c69b306d7d1f11a0e5cc50026e6929abf1f1884a997bfb820 SHA512 0bccd7ddb31c98564515f1ef9436276c29249391a685f1022ddc7e78f415b25be3bc2acd63d888d18f99cc9b0aa311b90960a446656d02e973af507abbe57543 WHIRLPOOL 4d3323c0f696dea9d0f69bd464c08b8699405a1afdfe021cc7ac1541afb8f0b2e277b24072adb8810c700138cea00232b991ef960ce06eab8ce6480a3e5a9b30
+EBUILD isl-0.15.ebuild 1068 SHA256 33f473b38082c69ed6924230d3215f73c5854c210e4f7532c0a877a8451c6fde SHA512 ab839c2da913fca42dc4e166b800aa41733cfb4a9c1651db056bc1cebb02edaa587b303fb0da0686092ddcd91a3f09c1417294b9149cb95261a5ca2c6b4aa9c3 WHIRLPOOL 9a45e09cc7f6c8828271d016077c296f425f18100463d45843473be50d6e38aa0c31e199635f598f7ba8461515dc480ca2e3a870a7c97a1bcfc219c31c7c12ee
+EBUILD isl-0.16.1.ebuild 1078 SHA256 5a191b0c1aad8dc89f172c5414ba8dfc716ac7d115d519fe6fad55be4ccc6725 SHA512 74a306b624ecceeb45e7f92e5412746e804c366b76a477e0b6b5feb8e4328bc3e8a252d65ddfb59938504ebe99a99e0a7c34970d48bd3aea532bf073c1a36e5b WHIRLPOOL fcb944b8027bed23ec94551bfd1c0e504b61e61e5599ed543d52af5ed0d1a27959f2b3e2f3daabae218e6fedfb7ebc1f6efc476407b4206c0bbb1bb4ab52fd82
+EBUILD isl-0.17.1.ebuild 1078 SHA256 5a191b0c1aad8dc89f172c5414ba8dfc716ac7d115d519fe6fad55be4ccc6725 SHA512 74a306b624ecceeb45e7f92e5412746e804c366b76a477e0b6b5feb8e4328bc3e8a252d65ddfb59938504ebe99a99e0a7c34970d48bd3aea532bf073c1a36e5b WHIRLPOOL fcb944b8027bed23ec94551bfd1c0e504b61e61e5599ed543d52af5ed0d1a27959f2b3e2f3daabae218e6fedfb7ebc1f6efc476407b4206c0bbb1bb4ab52fd82
+EBUILD isl-0.18.ebuild 1078 SHA256 5a191b0c1aad8dc89f172c5414ba8dfc716ac7d115d519fe6fad55be4ccc6725 SHA512 74a306b624ecceeb45e7f92e5412746e804c366b76a477e0b6b5feb8e4328bc3e8a252d65ddfb59938504ebe99a99e0a7c34970d48bd3aea532bf073c1a36e5b WHIRLPOOL fcb944b8027bed23ec94551bfd1c0e504b61e61e5599ed543d52af5ed0d1a27959f2b3e2f3daabae218e6fedfb7ebc1f6efc476407b4206c0bbb1bb4ab52fd82
+MISC ChangeLog 5175 SHA256 6f245ef93f0eb07e6a3a2de12e9cebc83ff074cdc6f5235447539297be43ef2f SHA512 9f7ec3e8385f0fb982af584203c06ebf47c13bdc118b87bb4a2c3e0ec011c051a81e190fa5b0054c5e0c0f115a89d8994b5c93210e348952ba791843095a284d WHIRLPOOL 4c37896e190f90502656c0c93bcc31b5a04f5237c9017e83e34627ff6ceb22f72738ea84948ae4f8b92bb4f78f3722c49e3a3ce8c064966db5aec8e4f3f67133
+MISC ChangeLog-2015 4734 SHA256 9a6aef22c03c56ea3806f466cbcae7b249de1d3806fab284770261ef87c8ea74 SHA512 63e39fbca7e4ca967e0615e6f0abaf4647534843a2147e4f665c3e06f4f6fd0e7cbea07cb596f77886082cbeb3cc26bb197db35eda8a3f7041b6d312466df112 WHIRLPOOL 435ba7f1d645722192865c714fff449af636d3746563b82d1e7dc4da981940ff0a96f5b26656e6e7379803cc33fac977d5bdf33a4ffbfb7aff14397ce31d0b9b
+MISC metadata.xml 225 SHA256 ea281e47988960a9906afba90992d90355964b87ec8a0ad3c7a5004c01ae496e SHA512 2997fa08fd2cfcf45753278a609cf2d75076f97848a83f09ff57b5cb71599495736a3a43f47ad24e1e3940bd937bf37592eff1d917e23f647995daf456e87d73 WHIRLPOOL 1c04e66256c309c3996fe9dabd646d43349d326ea03f669dcddfd4ff16b3a2fbeb76cd7f97e7692f08f1372f062a63e17ad9ae983b94f8f97fdc17ad40341403
diff --git a/dev-libs/isl/files/isl-0.07-gdb-autoload-dir.patch b/dev-libs/isl/files/isl-0.07-gdb-autoload-dir.patch
new file mode 100644
index 000000000000..58e80b29687e
--- /dev/null
+++ b/dev-libs/isl/files/isl-0.07-gdb-autoload-dir.patch
@@ -0,0 +1,17 @@
+Install python module into gdb auto-load directory.
+
+--- a/Makefile.in
++++ b/Makefile.in
+@@ -2189,9 +2189,9 @@ install-data-local: $(srcdir)/isl.py
+ case $$libisl in \
+ '') echo Cannot find isl library name. GDB bindings not installed.;; \
+ *) echo $(INSTALL_DATA) $(srcdir)/isl.py \
+- $(DESTDIR)$(libdir)/$$libisl-gdb.py; \
+- test -z "$(libdir)" || $(MKDIR_P) "$(DESTDIR)$(libdir)"; \
+- $(INSTALL_DATA) $(srcdir)/isl.py $(DESTDIR)$(libdir)/$$libisl-gdb.py; esac
++ $(DESTDIR)$(prefix)/share/gdb/auto-load$(libdir)/$$libisl-gdb.py; \
++ test -z "$(libdir)" || $(MKDIR_P) "$(DESTDIR)$(prefix)/share/gdb/auto-load$(libdir)"; \
++ $(INSTALL_DATA) $(srcdir)/isl.py $(DESTDIR)$(prefix)/share/gdb/auto-load$(libdir)/$$libisl-gdb.py; esac
+
+ # Tell versions [3.59,3.63) of GNU make to not export all variables.
+ # Otherwise a system limit (for SysV at least) may be exceeded.
diff --git a/dev-libs/isl/isl-0.12.2.ebuild b/dev-libs/isl/isl-0.12.2.ebuild
new file mode 100644
index 000000000000..ebc4308be9d0
--- /dev/null
+++ b/dev-libs/isl/isl-0.12.2.ebuild
@@ -0,0 +1,38 @@
+# Copyright 1999-2015 Gentoo Foundation
+# Distributed under the terms of the GNU General Public License v2
+
+EAPI="5"
+
+inherit eutils multilib-minimal
+
+DESCRIPTION="A library for manipulating integer points bounded by linear constraints"
+HOMEPAGE="http://isl.gforge.inria.fr/"
+SRC_URI="http://isl.gforge.inria.fr/${P}.tar.bz2"
+
+LICENSE="LGPL-2.1"
+SLOT="0/10"
+KEYWORDS="alpha amd64 arm arm64 ~hppa ia64 m68k ~mips ppc ppc64 s390 sh sparc x86 ~amd64-fbsd ~x86-fbsd"
+IUSE="static-libs"
+
+RDEPEND=">=dev-libs/gmp-5.1.3-r1[${MULTILIB_USEDEP}]"
+DEPEND="${RDEPEND}
+ virtual/pkgconfig"
+
+DOCS=( ChangeLog AUTHORS doc/manual.pdf )
+
+src_prepare() {
+ epatch "${FILESDIR}"/${PN}-0.07-gdb-autoload-dir.patch
+
+ # m4/ax_create_pkgconfig_info.m4 is broken but avoid eautoreconf
+ # https://groups.google.com/group/isl-development/t/37ad876557e50f2c
+ sed -i -e '/Libs:/s:@LDFLAGS@ ::' configure || die #382737
+}
+
+multilib_src_configure() {
+ ECONF_SOURCE="${S}" econf $(use_enable static-libs static)
+}
+
+multilib_src_install_all() {
+ einstalldocs
+ prune_libtool_files
+}
diff --git a/dev-libs/isl/isl-0.13.ebuild b/dev-libs/isl/isl-0.13.ebuild
new file mode 100644
index 000000000000..c023fa026d54
--- /dev/null
+++ b/dev-libs/isl/isl-0.13.ebuild
@@ -0,0 +1,38 @@
+# Copyright 1999-2014 Gentoo Foundation
+# Distributed under the terms of the GNU General Public License v2
+
+EAPI="5"
+
+inherit eutils multilib-minimal
+
+DESCRIPTION="A library for manipulating integer points bounded by linear constraints"
+HOMEPAGE="http://isl.gforge.inria.fr/"
+SRC_URI="http://isl.gforge.inria.fr/${P}.tar.bz2"
+
+LICENSE="LGPL-2.1"
+SLOT="0/13"
+KEYWORDS="~alpha ~amd64 ~arm ~arm64 ~hppa ~ia64 ~m68k ~mips ~ppc ~ppc64 ~s390 ~sh ~sparc ~x86 ~amd64-fbsd ~x86-fbsd"
+IUSE="static-libs"
+
+RDEPEND=">=dev-libs/gmp-5.1.3-r1[${MULTILIB_USEDEP}]"
+DEPEND="${RDEPEND}
+ virtual/pkgconfig"
+
+DOCS=( ChangeLog AUTHORS doc/manual.pdf )
+
+src_prepare() {
+ epatch "${FILESDIR}"/${PN}-0.07-gdb-autoload-dir.patch
+
+ # m4/ax_create_pkgconfig_info.m4 is broken but avoid eautoreconf
+ # https://groups.google.com/group/isl-development/t/37ad876557e50f2c
+ sed -i -e '/Libs:/s:@LDFLAGS@ ::' configure || die #382737
+}
+
+multilib_src_configure() {
+ ECONF_SOURCE="${S}" econf $(use_enable static-libs static)
+}
+
+multilib_src_install_all() {
+ einstalldocs
+ prune_libtool_files
+}
diff --git a/dev-libs/isl/isl-0.14.1.ebuild b/dev-libs/isl/isl-0.14.1.ebuild
new file mode 100644
index 000000000000..0378477e7605
--- /dev/null
+++ b/dev-libs/isl/isl-0.14.1.ebuild
@@ -0,0 +1,39 @@
+# Copyright 1999-2015 Gentoo Foundation
+# Distributed under the terms of the GNU General Public License v2
+
+EAPI="5"
+
+inherit eutils multilib-minimal
+
+DESCRIPTION="A library for manipulating integer points bounded by linear constraints"
+HOMEPAGE="http://isl.gforge.inria.fr/"
+SRC_URI="http://isl.gforge.inria.fr/${P}.tar.xz"
+
+LICENSE="LGPL-2.1"
+SLOT="0/14"
+KEYWORDS="~alpha ~amd64 ~arm ~arm64 ~hppa ~ia64 ~m68k ~mips ~ppc ~ppc64 ~s390 ~sh ~sparc ~x86 ~amd64-fbsd ~x86-fbsd"
+IUSE="static-libs"
+
+RDEPEND=">=dev-libs/gmp-5.1.3-r1[${MULTILIB_USEDEP}]"
+DEPEND="${RDEPEND}
+ app-arch/xz-utils
+ virtual/pkgconfig"
+
+DOCS=( ChangeLog AUTHORS doc/manual.pdf )
+
+src_prepare() {
+ epatch "${FILESDIR}"/${PN}-0.07-gdb-autoload-dir.patch
+
+ # m4/ax_create_pkgconfig_info.m4 is broken but avoid eautoreconf
+ # https://groups.google.com/group/isl-development/t/37ad876557e50f2c
+ sed -i -e '/Libs:/s:@LDFLAGS@ ::' configure || die #382737
+}
+
+multilib_src_configure() {
+ ECONF_SOURCE="${S}" econf $(use_enable static-libs static)
+}
+
+multilib_src_install_all() {
+ einstalldocs
+ prune_libtool_files
+}
diff --git a/dev-libs/isl/isl-0.14.ebuild b/dev-libs/isl/isl-0.14.ebuild
new file mode 100644
index 000000000000..0378477e7605
--- /dev/null
+++ b/dev-libs/isl/isl-0.14.ebuild
@@ -0,0 +1,39 @@
+# Copyright 1999-2015 Gentoo Foundation
+# Distributed under the terms of the GNU General Public License v2
+
+EAPI="5"
+
+inherit eutils multilib-minimal
+
+DESCRIPTION="A library for manipulating integer points bounded by linear constraints"
+HOMEPAGE="http://isl.gforge.inria.fr/"
+SRC_URI="http://isl.gforge.inria.fr/${P}.tar.xz"
+
+LICENSE="LGPL-2.1"
+SLOT="0/14"
+KEYWORDS="~alpha ~amd64 ~arm ~arm64 ~hppa ~ia64 ~m68k ~mips ~ppc ~ppc64 ~s390 ~sh ~sparc ~x86 ~amd64-fbsd ~x86-fbsd"
+IUSE="static-libs"
+
+RDEPEND=">=dev-libs/gmp-5.1.3-r1[${MULTILIB_USEDEP}]"
+DEPEND="${RDEPEND}
+ app-arch/xz-utils
+ virtual/pkgconfig"
+
+DOCS=( ChangeLog AUTHORS doc/manual.pdf )
+
+src_prepare() {
+ epatch "${FILESDIR}"/${PN}-0.07-gdb-autoload-dir.patch
+
+ # m4/ax_create_pkgconfig_info.m4 is broken but avoid eautoreconf
+ # https://groups.google.com/group/isl-development/t/37ad876557e50f2c
+ sed -i -e '/Libs:/s:@LDFLAGS@ ::' configure || die #382737
+}
+
+multilib_src_configure() {
+ ECONF_SOURCE="${S}" econf $(use_enable static-libs static)
+}
+
+multilib_src_install_all() {
+ einstalldocs
+ prune_libtool_files
+}
diff --git a/dev-libs/isl/isl-0.15.ebuild b/dev-libs/isl/isl-0.15.ebuild
new file mode 100644
index 000000000000..a8cc1bfa4c72
--- /dev/null
+++ b/dev-libs/isl/isl-0.15.ebuild
@@ -0,0 +1,39 @@
+# Copyright 1999-2017 Gentoo Foundation
+# Distributed under the terms of the GNU General Public License v2
+
+EAPI="5"
+
+inherit eutils multilib-minimal
+
+DESCRIPTION="A library for manipulating integer points bounded by linear constraints"
+HOMEPAGE="http://isl.gforge.inria.fr/"
+SRC_URI="http://isl.gforge.inria.fr/${P}.tar.xz"
+
+LICENSE="LGPL-2.1"
+SLOT="0/15"
+KEYWORDS="alpha amd64 arm arm64 hppa ia64 ~m68k ~mips ppc ppc64 ~s390 ~sh sparc x86 ~amd64-fbsd ~x86-fbsd"
+IUSE="static-libs"
+
+RDEPEND=">=dev-libs/gmp-5.1.3-r1[${MULTILIB_USEDEP}]"
+DEPEND="${RDEPEND}
+ app-arch/xz-utils
+ virtual/pkgconfig"
+
+DOCS=( ChangeLog AUTHORS doc/manual.pdf )
+
+src_prepare() {
+ epatch "${FILESDIR}"/${PN}-0.07-gdb-autoload-dir.patch
+
+ # m4/ax_create_pkgconfig_info.m4 is broken but avoid eautoreconf
+ # https://groups.google.com/group/isl-development/t/37ad876557e50f2c
+ sed -i -e '/Libs:/s:@LDFLAGS@ ::' configure || die #382737
+}
+
+multilib_src_configure() {
+ ECONF_SOURCE="${S}" econf $(use_enable static-libs static)
+}
+
+multilib_src_install_all() {
+ einstalldocs
+ prune_libtool_files
+}
diff --git a/dev-libs/isl/isl-0.16.1.ebuild b/dev-libs/isl/isl-0.16.1.ebuild
new file mode 100644
index 000000000000..b2dd215071ee
--- /dev/null
+++ b/dev-libs/isl/isl-0.16.1.ebuild
@@ -0,0 +1,39 @@
+# Copyright 1999-2016 Gentoo Foundation
+# Distributed under the terms of the GNU General Public License v2
+
+EAPI="5"
+
+inherit eutils multilib-minimal
+
+DESCRIPTION="A library for manipulating integer points bounded by linear constraints"
+HOMEPAGE="http://isl.gforge.inria.fr/"
+SRC_URI="http://isl.gforge.inria.fr/${P}.tar.xz"
+
+LICENSE="LGPL-2.1"
+SLOT="0/15"
+KEYWORDS="~alpha ~amd64 ~arm ~arm64 ~hppa ~ia64 ~m68k ~mips ~ppc ~ppc64 ~s390 ~sh ~sparc ~x86 ~amd64-fbsd ~x86-fbsd"
+IUSE="static-libs"
+
+RDEPEND=">=dev-libs/gmp-5.1.3-r1[${MULTILIB_USEDEP}]"
+DEPEND="${RDEPEND}
+ app-arch/xz-utils
+ virtual/pkgconfig"
+
+DOCS=( ChangeLog AUTHORS doc/manual.pdf )
+
+src_prepare() {
+ epatch "${FILESDIR}"/${PN}-0.07-gdb-autoload-dir.patch
+
+ # m4/ax_create_pkgconfig_info.m4 is broken but avoid eautoreconf
+ # https://groups.google.com/group/isl-development/t/37ad876557e50f2c
+ sed -i -e '/Libs:/s:@LDFLAGS@ ::' configure || die #382737
+}
+
+multilib_src_configure() {
+ ECONF_SOURCE="${S}" econf $(use_enable static-libs static)
+}
+
+multilib_src_install_all() {
+ einstalldocs
+ prune_libtool_files
+}
diff --git a/dev-libs/isl/isl-0.17.1.ebuild b/dev-libs/isl/isl-0.17.1.ebuild
new file mode 100644
index 000000000000..b2dd215071ee
--- /dev/null
+++ b/dev-libs/isl/isl-0.17.1.ebuild
@@ -0,0 +1,39 @@
+# Copyright 1999-2016 Gentoo Foundation
+# Distributed under the terms of the GNU General Public License v2
+
+EAPI="5"
+
+inherit eutils multilib-minimal
+
+DESCRIPTION="A library for manipulating integer points bounded by linear constraints"
+HOMEPAGE="http://isl.gforge.inria.fr/"
+SRC_URI="http://isl.gforge.inria.fr/${P}.tar.xz"
+
+LICENSE="LGPL-2.1"
+SLOT="0/15"
+KEYWORDS="~alpha ~amd64 ~arm ~arm64 ~hppa ~ia64 ~m68k ~mips ~ppc ~ppc64 ~s390 ~sh ~sparc ~x86 ~amd64-fbsd ~x86-fbsd"
+IUSE="static-libs"
+
+RDEPEND=">=dev-libs/gmp-5.1.3-r1[${MULTILIB_USEDEP}]"
+DEPEND="${RDEPEND}
+ app-arch/xz-utils
+ virtual/pkgconfig"
+
+DOCS=( ChangeLog AUTHORS doc/manual.pdf )
+
+src_prepare() {
+ epatch "${FILESDIR}"/${PN}-0.07-gdb-autoload-dir.patch
+
+ # m4/ax_create_pkgconfig_info.m4 is broken but avoid eautoreconf
+ # https://groups.google.com/group/isl-development/t/37ad876557e50f2c
+ sed -i -e '/Libs:/s:@LDFLAGS@ ::' configure || die #382737
+}
+
+multilib_src_configure() {
+ ECONF_SOURCE="${S}" econf $(use_enable static-libs static)
+}
+
+multilib_src_install_all() {
+ einstalldocs
+ prune_libtool_files
+}
diff --git a/dev-libs/isl/isl-0.18.ebuild b/dev-libs/isl/isl-0.18.ebuild
new file mode 100644
index 000000000000..b2dd215071ee
--- /dev/null
+++ b/dev-libs/isl/isl-0.18.ebuild
@@ -0,0 +1,39 @@
+# Copyright 1999-2016 Gentoo Foundation
+# Distributed under the terms of the GNU General Public License v2
+
+EAPI="5"
+
+inherit eutils multilib-minimal
+
+DESCRIPTION="A library for manipulating integer points bounded by linear constraints"
+HOMEPAGE="http://isl.gforge.inria.fr/"
+SRC_URI="http://isl.gforge.inria.fr/${P}.tar.xz"
+
+LICENSE="LGPL-2.1"
+SLOT="0/15"
+KEYWORDS="~alpha ~amd64 ~arm ~arm64 ~hppa ~ia64 ~m68k ~mips ~ppc ~ppc64 ~s390 ~sh ~sparc ~x86 ~amd64-fbsd ~x86-fbsd"
+IUSE="static-libs"
+
+RDEPEND=">=dev-libs/gmp-5.1.3-r1[${MULTILIB_USEDEP}]"
+DEPEND="${RDEPEND}
+ app-arch/xz-utils
+ virtual/pkgconfig"
+
+DOCS=( ChangeLog AUTHORS doc/manual.pdf )
+
+src_prepare() {
+ epatch "${FILESDIR}"/${PN}-0.07-gdb-autoload-dir.patch
+
+ # m4/ax_create_pkgconfig_info.m4 is broken but avoid eautoreconf
+ # https://groups.google.com/group/isl-development/t/37ad876557e50f2c
+ sed -i -e '/Libs:/s:@LDFLAGS@ ::' configure || die #382737
+}
+
+multilib_src_configure() {
+ ECONF_SOURCE="${S}" econf $(use_enable static-libs static)
+}
+
+multilib_src_install_all() {
+ einstalldocs
+ prune_libtool_files
+}
diff --git a/dev-libs/isl/metadata.xml b/dev-libs/isl/metadata.xml
new file mode 100644
index 000000000000..04fc72b6cec6
--- /dev/null
+++ b/dev-libs/isl/metadata.xml
@@ -0,0 +1,7 @@
+<?xml version="1.0" encoding="UTF-8"?>
+<!DOCTYPE pkgmetadata SYSTEM "http://www.gentoo.org/dtd/metadata.dtd">
+<pkgmetadata>
+ <maintainer type="project">
+ <email>toolchain@gentoo.org</email>
+ </maintainer>
+</pkgmetadata>