summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorMark Wright <gienah@gentoo.org>2012-01-08 10:24:08 +0000
committerMark Wright <gienah@gentoo.org>2012-01-08 10:24:08 +0000
commitc472ec48115f079f7de7f81549dfd74f493de57e (patch)
tree3eee8c5099db6c86c71a027b764c18eae6508e4a /dev-lang
parentold, fails to build with stable linux-headers (diff)
downloadgentoo-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/ChangeLog10
-rw-r--r--dev-lang/polyml/files/polyml-5.4.1-asm.patch28
-rw-r--r--dev-lang/polyml/metadata.xml7
-rw-r--r--dev-lang/polyml/polyml-5.4.1.ebuild42
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
+}