diff options
author | Mark Wright <gienah@gentoo.org> | 2012-01-08 10:24:08 +0000 |
---|---|---|
committer | Mark Wright <gienah@gentoo.org> | 2012-01-08 10:24:08 +0000 |
commit | c472ec48115f079f7de7f81549dfd74f493de57e (patch) | |
tree | 3eee8c5099db6c86c71a027b764c18eae6508e4a /dev-lang | |
parent | old, fails to build with stable linux-headers (diff) | |
download | gentoo-2-c472ec48115f079f7de7f81549dfd74f493de57e.tar.gz gentoo-2-c472ec48115f079f7de7f81549dfd74f493de57e.tar.bz2 gentoo-2-c472ec48115f079f7de7f81549dfd74f493de57e.zip |
Bump to 5.4.1 fixes bug #296797 thanks Mr. Anderson and Rene Necoro Neumann. Fix executable stacks in 2 of 3 files bug #256679 by Mr. Anderson. Add portable use flag.
(Portage version: 2.1.10.44/cvs/Linux x86_64)
Diffstat (limited to 'dev-lang')
-rw-r--r-- | dev-lang/polyml/ChangeLog | 10 | ||||
-rw-r--r-- | dev-lang/polyml/files/polyml-5.4.1-asm.patch | 28 | ||||
-rw-r--r-- | dev-lang/polyml/metadata.xml | 7 | ||||
-rw-r--r-- | dev-lang/polyml/polyml-5.4.1.ebuild | 42 |
4 files changed, 86 insertions, 1 deletions
diff --git a/dev-lang/polyml/ChangeLog b/dev-lang/polyml/ChangeLog index 7d3bcd98fd0c..e482e4ca5436 100644 --- a/dev-lang/polyml/ChangeLog +++ b/dev-lang/polyml/ChangeLog @@ -1,6 +1,14 @@ # ChangeLog for dev-lang/polyml # Copyright 1999-2009 Gentoo Foundation; Distributed under the GPL v2 -# $Header: /var/cvsroot/gentoo-x86/dev-lang/polyml/ChangeLog,v 1.3 2009/01/11 19:16:52 maekke Exp $ +# $Header: /var/cvsroot/gentoo-x86/dev-lang/polyml/ChangeLog,v 1.4 2012/01/08 10:24:08 gienah Exp $ + +*polyml-5.4.1 (08 Jan 2012) + + 08 Jan 2012; Mark Wright <gienah@gentoo.org> +polyml-5.4.1.ebuild, + +files/polyml-5.4.1-asm.patch, metadata.xml: + Bump to 5.4.1 fixes bug #296797 thanks Mr. Anderson and René 'Necoro' + Neumann. Fix executable stacks in 2 of 3 files bug #256679 by Mr. Anderson. + Add portable use flag. 11 Jan 2009; Markus Meier <maekke@gentoo.org> polyml-5.2.1.ebuild: add ~x86, bug #254097 diff --git a/dev-lang/polyml/files/polyml-5.4.1-asm.patch b/dev-lang/polyml/files/polyml-5.4.1-asm.patch new file mode 100644 index 000000000000..af8bd8d49149 --- /dev/null +++ b/dev-lang/polyml/files/polyml-5.4.1-asm.patch @@ -0,0 +1,28 @@ +--- polyml.5.4.1-orig/libpolyml/x86asm.asm 2011-07-13 00:06:49.000000000 +1000 ++++ polyml.5.4.1/libpolyml/x86asm.asm 2012-01-08 16:00:09.740684843 +1100 +@@ -2714,4 +2714,7 @@ + + + ENDIF ++#if defined(__linux__) && defined(__ELF__) ++.section .note.GNU-stack,"",%progbits ++#endif + END +--- polyml.5.4.1-orig/libpolyml/power_assembly.S 2010-04-09 01:49:20.000000000 +1000 ++++ polyml.5.4.1/libpolyml/power_assembly.S 2012-01-08 15:46:35.006200143 +1100 +@@ -1735,3 +1735,6 @@ + dd Mask_assign_byte /* 254 */ + dd Mask_assign_word /* 255 */ + ++#if defined(__linux__) && defined(__ELF__) ++.section .note.GNU-stack,"",%progbits ++#endif +--- polyml.5.4.1-orig/libpolyml/sparc_assembly.S 2010-08-13 01:01:36.000000000 +1000 ++++ polyml.5.4.1/libpolyml/sparc_assembly.S 2012-01-08 15:46:12.516642791 +1100 +@@ -1498,3 +1498,6 @@ + .long Mask_assign_byte /* 254 */ + .long Mask_assign_word /* 255 */ + ++#if defined(__linux__) && defined(__ELF__) ++.section .note.GNU-stack,"",%progbits ++#endif diff --git a/dev-lang/polyml/metadata.xml b/dev-lang/polyml/metadata.xml index 2193d772e351..6af1081ac38a 100644 --- a/dev-lang/polyml/metadata.xml +++ b/dev-lang/polyml/metadata.xml @@ -2,4 +2,11 @@ <!DOCTYPE pkgmetadata SYSTEM "http://www.gentoo.org/dtd/metadata.dtd"> <pkgmetadata> <herd>ml</herd> +<longdescription lang='en'> +Poly/ML is a full implementation of Standard ML available as open-source. +</longdescription> +<use> + <flag name='portable'>Build the portable interpreter version of Poly/ML + instead of native.</flag> +</use> </pkgmetadata> diff --git a/dev-lang/polyml/polyml-5.4.1.ebuild b/dev-lang/polyml/polyml-5.4.1.ebuild new file mode 100644 index 000000000000..bbfc6cb5b358 --- /dev/null +++ b/dev-lang/polyml/polyml-5.4.1.ebuild @@ -0,0 +1,42 @@ +# 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.1 2012/01/08 10:24:08 gienah Exp $ + +EAPI="4" + +inherit base + +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" +KEYWORDS="~amd64 ~x86" +IUSE="X +gmp -portable +threads" + +RDEPEND="X? ( x11-libs/openmotif ) + gmp? ( >=dev-libs/gmp-5 ) + threads? ( >=sys-libs/glibc-2.13 )" +DEPEND="${RDEPEND}" + +S=${WORKDIR}/${MY_P} + +PATCHES=("${FILESDIR}/${PN}-5.4.1-asm.patch") + +src_configure() { + econf $(use_with X x) + econf $(use_with gmp) + econf $(use_with portable) + econf $(use_with threads) +} + +src_compile() { + emake +} + +src_install() { + emake DESTDIR="${D}" install +} |