gienah 15/07/09 09:46:32
Modified: polyml-5.5.0.ebuild polyml-5.4.1.ebuild
polyml-5.5.1.ebuild ChangeLog
Added: polyml-5.5.2.ebuild
Removed: polyml-5.2.1.ebuild
Log:
Bump polyml to 5.5.2 with patches from the fixes-5.5.2 branch to allow
sci-mathematics/isabelle-2015 to build. Drop obsolete polyml-5.2.1.ebuild.
Specify slot 0 on x11-libs/motif dependency.
(Portage version: 2.2.20/cvs/Linux x86_64, signed Manifest commit with key
618E971F)
Revision Changes Path
1.4 dev-lang/polyml/polyml-5.5.0.ebuild
file :
http://sources.gentoo.org/viewvc.cgi/gentoo-x86/dev-lang/polyml/polyml-5.5.0.ebuild?rev=1.4&view=markup
plain:
http://sources.gentoo.org/viewvc.cgi/gentoo-x86/dev-lang/polyml/polyml-5.5.0.ebuild?rev=1.4&content-type=text/plain
diff :
http://sources.gentoo.org/viewvc.cgi/gentoo-x86/dev-lang/polyml/polyml-5.5.0.ebuild?r1=1.3&r2=1.4
Index: polyml-5.5.0.ebuild
===================================================================
RCS file: /var/cvsroot/gentoo-x86/dev-lang/polyml/polyml-5.5.0.ebuild,v
retrieving revision 1.3
retrieving revision 1.4
diff -u -r1.3 -r1.4
--- polyml-5.5.0.ebuild 5 Dec 2012 09:49:35 -0000 1.3
+++ polyml-5.5.0.ebuild 9 Jul 2015 09:46:32 -0000 1.4
@@ -1,6 +1,6 @@
-# Copyright 1999-2012 Gentoo Foundation
+# Copyright 1999-2015 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.3
2012/12/05 09:49:35 gienah Exp $
+# $Header: /var/cvsroot/gentoo-x86/dev-lang/polyml/polyml-5.5.0.ebuild,v 1.4
2015/07/09 09:46:32 gienah Exp $
EAPI="5"
@@ -20,7 +20,7 @@
KEYWORDS="~amd64 ~x86"
IUSE="X elibc_glibc +gmp portable test +threads"
-RDEPEND="X? ( x11-libs/motif )
+RDEPEND="X? ( x11-libs/motif:0 )
gmp? ( >=dev-libs/gmp-5 )
elibc_glibc? ( threads? ( >=sys-libs/glibc-2.13 ) )
virtual/libffi"
1.7 dev-lang/polyml/polyml-5.4.1.ebuild
file :
http://sources.gentoo.org/viewvc.cgi/gentoo-x86/dev-lang/polyml/polyml-5.4.1.ebuild?rev=1.7&view=markup
plain:
http://sources.gentoo.org/viewvc.cgi/gentoo-x86/dev-lang/polyml/polyml-5.4.1.ebuild?rev=1.7&content-type=text/plain
diff :
http://sources.gentoo.org/viewvc.cgi/gentoo-x86/dev-lang/polyml/polyml-5.4.1.ebuild?r1=1.6&r2=1.7
Index: polyml-5.4.1.ebuild
===================================================================
RCS file: /var/cvsroot/gentoo-x86/dev-lang/polyml/polyml-5.4.1.ebuild,v
retrieving revision 1.6
retrieving revision 1.7
diff -u -r1.6 -r1.7
--- polyml-5.4.1.ebuild 5 Dec 2012 09:49:35 -0000 1.6
+++ polyml-5.4.1.ebuild 9 Jul 2015 09:46:32 -0000 1.7
@@ -1,6 +1,6 @@
-# Copyright 1999-2012 Gentoo Foundation
+# Copyright 1999-2015 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.6
2012/12/05 09:49:35 gienah Exp $
+# $Header: /var/cvsroot/gentoo-x86/dev-lang/polyml/polyml-5.4.1.ebuild,v 1.7
2015/07/09 09:46:32 gienah Exp $
EAPI="5"
@@ -17,7 +17,7 @@
KEYWORDS="~amd64 ~x86"
IUSE="X elibc_glibc +gmp portable test +threads"
-RDEPEND="X? ( x11-libs/motif )
+RDEPEND="X? ( x11-libs/motif:0 )
gmp? ( >=dev-libs/gmp-5 )
elibc_glibc? ( threads? ( >=sys-libs/glibc-2.13 ) )"
DEPEND="${RDEPEND}"
1.2 dev-lang/polyml/polyml-5.5.1.ebuild
file :
http://sources.gentoo.org/viewvc.cgi/gentoo-x86/dev-lang/polyml/polyml-5.5.1.ebuild?rev=1.2&view=markup
plain:
http://sources.gentoo.org/viewvc.cgi/gentoo-x86/dev-lang/polyml/polyml-5.5.1.ebuild?rev=1.2&content-type=text/plain
diff :
http://sources.gentoo.org/viewvc.cgi/gentoo-x86/dev-lang/polyml/polyml-5.5.1.ebuild?r1=1.1&r2=1.2
Index: polyml-5.5.1.ebuild
===================================================================
RCS file: /var/cvsroot/gentoo-x86/dev-lang/polyml/polyml-5.5.1.ebuild,v
retrieving revision 1.1
retrieving revision 1.2
diff -u -r1.1 -r1.2
--- polyml-5.5.1.ebuild 11 Feb 2014 14:35:09 -0000 1.1
+++ polyml-5.5.1.ebuild 9 Jul 2015 09:46:32 -0000 1.2
@@ -1,6 +1,6 @@
-# Copyright 1999-2014 Gentoo Foundation
+# Copyright 1999-2015 Gentoo Foundation
# Distributed under the terms of the GNU General Public License v2
-# $Header: /var/cvsroot/gentoo-x86/dev-lang/polyml/polyml-5.5.1.ebuild,v 1.1
2014/02/11 14:35:09 gienah Exp $
+# $Header: /var/cvsroot/gentoo-x86/dev-lang/polyml/polyml-5.5.1.ebuild,v 1.2
2015/07/09 09:46:32 gienah Exp $
EAPI="5"
@@ -17,7 +17,7 @@
KEYWORDS="~amd64 ~x86"
IUSE="X elibc_glibc +gmp portable test +threads"
-RDEPEND="X? ( x11-libs/motif )
+RDEPEND="X? ( x11-libs/motif:0 )
gmp? ( >=dev-libs/gmp-5 )
elibc_glibc? ( threads? ( >=sys-libs/glibc-2.13 ) )
virtual/libffi"
1.13 dev-lang/polyml/ChangeLog
file :
http://sources.gentoo.org/viewvc.cgi/gentoo-x86/dev-lang/polyml/ChangeLog?rev=1.13&view=markup
plain:
http://sources.gentoo.org/viewvc.cgi/gentoo-x86/dev-lang/polyml/ChangeLog?rev=1.13&content-type=text/plain
diff :
http://sources.gentoo.org/viewvc.cgi/gentoo-x86/dev-lang/polyml/ChangeLog?r1=1.12&r2=1.13
Index: ChangeLog
===================================================================
RCS file: /var/cvsroot/gentoo-x86/dev-lang/polyml/ChangeLog,v
retrieving revision 1.12
retrieving revision 1.13
diff -u -r1.12 -r1.13
--- ChangeLog 9 Jun 2015 14:09:00 -0000 1.12
+++ ChangeLog 9 Jul 2015 09:46:32 -0000 1.13
@@ -1,6 +1,19 @@
# ChangeLog for dev-lang/polyml
# Copyright 1999-2015 Gentoo Foundation; Distributed under the GPL v2
-# $Header: /var/cvsroot/gentoo-x86/dev-lang/polyml/ChangeLog,v 1.12 2015/06/09
14:09:00 jlec Exp $
+# $Header: /var/cvsroot/gentoo-x86/dev-lang/polyml/ChangeLog,v 1.13 2015/07/09
09:46:32 gienah Exp $
+
+*polyml-5.5.2 (09 Jul 2015)
+
+ 09 Jul 2015; Mark Wright <[email protected]>
+ +files/polyml-5.5.2-r1952-check_for_negative_sized_array.patch,
+files/polyml-
+ 5.5.2-r1954_Fix_segfault_in_FFI_when_malloc_runs_out_of_memory.patch,
+files/p
+ olyml-5.5.2-r2007_Ensure_the_large_object_cache_pointer_is_cleared.patch,
+fil
+
es/polyml-5.5.2-r2009_Initialise_the_largeObjectCache_fully_in_the_constructor
+ .patch, +polyml-5.5.2.ebuild, -polyml-5.2.1.ebuild, polyml-5.4.1.ebuild,
+ polyml-5.5.0.ebuild, polyml-5.5.1.ebuild:
+ Bump polyml to 5.5.2 with patches from the fixes-5.5.2 branch to allow sci-
+ mathematics/isabelle-2015 to build. Drop obsolete polyml-5.2.1.ebuild.
Specify
+ slot 0 on x11-libs/motif dependency.
09 Jun 2015; Justin Lecher <[email protected]> metadata.xml:
Updating remote-id in metadata.xml
1.1 dev-lang/polyml/polyml-5.5.2.ebuild
file :
http://sources.gentoo.org/viewvc.cgi/gentoo-x86/dev-lang/polyml/polyml-5.5.2.ebuild?rev=1.1&view=markup
plain:
http://sources.gentoo.org/viewvc.cgi/gentoo-x86/dev-lang/polyml/polyml-5.5.2.ebuild?rev=1.1&content-type=text/plain
Index: polyml-5.5.2.ebuild
===================================================================
# Copyright 1999-2015 Gentoo Foundation
# Distributed under the terms of the GNU General Public License v2
# $Header: /var/cvsroot/gentoo-x86/dev-lang/polyml/polyml-5.5.2.ebuild,v 1.1
2015/07/09 09:46:32 gienah Exp $
EAPI="5"
inherit base autotools pax-utils
MY_P="${PN}.${PV}"
DESCRIPTION="Poly/ML is a full implementation of Standard ML"
HOMEPAGE="http://www.polyml.org";
SRC_URI="mirror://sourceforge/${PN}/${MY_P}.tar.gz"
LICENSE="LGPL-2.1"
SLOT="0/${PV}"
KEYWORDS="~amd64 ~x86"
IUSE="X elibc_glibc +gmp portable test +threads"
RDEPEND="X? ( x11-libs/motif:0 )
gmp? ( >=dev-libs/gmp-5 )
elibc_glibc? ( threads? ( >=sys-libs/glibc-2.13 ) )
virtual/libffi"
DEPEND="${RDEPEND}"
S=${WORKDIR}/${MY_P}
PATCHES=(
# Bug 256679 - patch the assembler code. The remaining executable
stacks in ./.libs/poly
# comes from the polyml generated ./polyexport.o file.
"${FILESDIR}/${PN}-5.5.0-asm.patch"
# Patches from
http://sourceforge.net/p/polyml/code/HEAD/tree/fixes-5.5.2
# which are required to build and run sci-mathematics/isabelle-2015
"${FILESDIR}/${PN}-5.5.2-r1952-check_for_negative_sized_array.patch"
"${FILESDIR}/${PN}-5.5.2-r1954_Fix_segfault_in_FFI_when_malloc_runs_out_of_memory.patch"
"${FILESDIR}/${PN}-5.5.2-r2007_Ensure_the_large_object_cache_pointer_is_cleared.patch"
"${FILESDIR}/${PN}-5.5.2-r2009_Initialise_the_largeObjectCache_fully_in_the_constructor.patch"
)
src_prepare() {
base_src_prepare
eautoreconf
if [ -f "${S}/Tests/Succeed/Test146.ML" ]; then
mv "${S}/Tests/Succeed/Test146.ML"
"${S}/Tests/Succeed/Test146.ML.disable-test-as-it-fails"
fi
}
src_configure() {
econf \
--enable-shared \
--disable-static \
--with-system-libffi \
$(use_with X x) \
$(use_with gmp) \
$(use_with portable) \
$(use_with threads)
}
src_compile() {
# Bug 453146 - dev-lang/polyml-5.5.0: fails to build (pax kernel?)
pushd libpolyml || die "Could not cd to libpolyml"
emake
popd
emake polyimport
pax-mark m "${S}/.libs/polyimport"
emake
pax-mark m "${S}/.libs/poly"
}
src_test() {
emake tests || die "tests failed"
}
