diff options
| author |   Mark Wright <gienah@gentoo.org> | 2012-12-05 09:49:35 +0000 |
|---|---|---|
| committer | Mark Wright <gienah@gentoo.org> | 2012-12-05 09:49:35 +0000 |
| commit | 8ffba0e2771402098218ad4ddc0c2a33647fabde (patch) | |
| tree | 4493df61a72091f26e5704fba96d53dc0aa4d4bf /dev-lang/polyml | |
| parent | Update LICENSE to 'GPL-2', bug#445646. (diff) | |
| download | gentoo-2-8ffba0e2771402098218ad4ddc0c2a33647fabde.tar.gz gentoo-2-8ffba0e2771402098218ad4ddc0c2a33647fabde.tar.bz2 gentoo-2-8ffba0e2771402098218ad4ddc0c2a33647fabde.zip | |
Fix bug 443452 dev-lang/polyml-5.5.0 should depend on and use dev-libs/libffi. EAPI=5 with subslot depends for polyml 5.4.1 and 5.5.0 to automatically rebuild EAPI=5 dependent packages using subslot depends such as sci-mathematics/isabelle
(Portage version: 2.1.11.33/cvs/Linux x86_64, signed Manifest commit with key 618E971F)
Diffstat (limited to 'dev-lang/polyml')
| -rw-r--r-- | dev-lang/polyml/ChangeLog | 9 | ||||
| -rw-r--r-- | dev-lang/polyml/polyml-5.4.1.ebuild | 6 | ||||
| -rw-r--r-- | dev-lang/polyml/polyml-5.5.0.ebuild | 10 |
3 files changed, 17 insertions, 8 deletions
diff --git a/dev-lang/polyml/ChangeLog b/dev-lang/polyml/ChangeLog index f3f480060ad3..371f98c05242 100644 --- a/dev-lang/polyml/ChangeLog +++ b/dev-lang/polyml/ChangeLog @@ -1,6 +1,13 @@ # ChangeLog for dev-lang/polyml # Copyright 1999-2012 Gentoo Foundation; Distributed under the GPL v2 -# $Header: /var/cvsroot/gentoo-x86/dev-lang/polyml/ChangeLog,v 1.9 2012/10/24 19:04:03 ulm Exp $ +# $Header: /var/cvsroot/gentoo-x86/dev-lang/polyml/ChangeLog,v 1.10 2012/12/05 09:49:35 gienah Exp $ + + 05 Dec 2012; Mark Wright <gienah@gentoo.org> polyml-5.4.1.ebuild, + polyml-5.5.0.ebuild: + Fix bug 443452 dev-lang/polyml-5.5.0 should depend on and use dev-libs/libffi. + EAPI=5 with subslot depends for polyml 5.4.1 and 5.5.0 to automatically + rebuild EAPI=5 dependent packages using subslot depends such as sci- + mathematics/isabelle 24 Oct 2012; Ulrich Müller <ulm@gentoo.org> polyml-5.4.1.ebuild, polyml-5.5.0.ebuild: diff --git a/dev-lang/polyml/polyml-5.4.1.ebuild b/dev-lang/polyml/polyml-5.4.1.ebuild index 95d66cdb333d..1eee8a2d5cf5 100644 --- a/dev-lang/polyml/polyml-5.4.1.ebuild +++ b/dev-lang/polyml/polyml-5.4.1.ebuild @@ -1,8 +1,8 @@ # Copyright 1999-2012 Gentoo Foundation # Distributed under the terms of the GNU General Public License v2 -# $Header: /var/cvsroot/gentoo-x86/dev-lang/polyml/polyml-5.4.1.ebuild,v 1.5 2012/10/24 19:04:03 ulm Exp $ +# $Header: /var/cvsroot/gentoo-x86/dev-lang/polyml/polyml-5.4.1.ebuild,v 1.6 2012/12/05 09:49:35 gienah Exp $ -EAPI="4" +EAPI="5" inherit base autotools @@ -13,7 +13,7 @@ HOMEPAGE="http://www.polyml.org" SRC_URI="mirror://sourceforge/${PN}/${MY_P}.tar.gz" LICENSE="LGPL-2.1" -SLOT="0" +SLOT="0/${PV}" KEYWORDS="~amd64 ~x86" IUSE="X elibc_glibc +gmp portable test +threads" diff --git a/dev-lang/polyml/polyml-5.5.0.ebuild b/dev-lang/polyml/polyml-5.5.0.ebuild index e5df0aa1f2af..2ced5678abab 100644 --- a/dev-lang/polyml/polyml-5.5.0.ebuild +++ b/dev-lang/polyml/polyml-5.5.0.ebuild @@ -1,8 +1,8 @@ # Copyright 1999-2012 Gentoo Foundation # Distributed under the terms of the GNU General Public License v2 -# $Header: /var/cvsroot/gentoo-x86/dev-lang/polyml/polyml-5.5.0.ebuild,v 1.2 2012/10/24 19:04:03 ulm Exp $ +# $Header: /var/cvsroot/gentoo-x86/dev-lang/polyml/polyml-5.5.0.ebuild,v 1.3 2012/12/05 09:49:35 gienah Exp $ -EAPI="4" +EAPI="5" inherit base autotools versionator @@ -16,13 +16,14 @@ HOMEPAGE="http://www.polyml.org" SRC_URI="mirror://sourceforge/${PN}/${MY_P}.tar.gz" LICENSE="LGPL-2.1" -SLOT="0" +SLOT="0/${PV}" KEYWORDS="~amd64 ~x86" IUSE="X elibc_glibc +gmp portable test +threads" RDEPEND="X? ( x11-libs/motif ) gmp? ( >=dev-libs/gmp-5 ) - elibc_glibc? ( threads? ( >=sys-libs/glibc-2.13 ) )" + elibc_glibc? ( threads? ( >=sys-libs/glibc-2.13 ) ) + virtual/libffi" DEPEND="${RDEPEND}" S=${WORKDIR}/${MY_P} @@ -38,6 +39,7 @@ src_prepare() { src_configure() { econf \ + --with-system-libffi \ $(use_with X x) \ $(use_with gmp) \ $(use_with portable) \ |