# 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
-----BEGIN PGP SIGNED MESSAGE-----
-Hash: SHA1
+Hash: SHA256
+AUX polyml-5.4.1-asm.patch 1026 RMD160 21fcef4241ca51394993c12ffc096f015644c578 SHA1 9615dbdb328343fd91326f3d295f5914d8fc3ad5 SHA256 9879c43c7e82e53ff6d15b838b159df3336b791c46e9f80a38f21c4180500bed
DIST polyml.5.2.1.tar.gz 4114551 RMD160 2e46e3fca7e642faed72c427c41e25e2b03fdbf5 SHA1 39cc9451113d41ca9c491167cf3973dfd55b7446 SHA256 c84148ae9a28e782f48208bcb8c5b82ee7bfdc178784fe81694cf1f0789ae62e
+DIST polyml.5.4.1.tar.gz 6107319 RMD160 7f3916f306f1fa24afb5b7cbb77bac98c9e4ab24 SHA1 85998ff7b290fae821a23fa5303b012ccea07ea1 SHA256 514d1d07be487b783d4dfa29dbd550b3396640579ce135a9eb5a61f08e7f9cac
EBUILD polyml-5.2.1.ebuild 599 RMD160 748286377a2d0bca37da410d5cb08edb36fed1f0 SHA1 cf962ed6f3b3d6343b41817996320e9a49beb923 SHA256 ae47586ab5cf84d8d23e59fc3d0a4a1611ab8a6d4abfe60ad0aad71acb69ff08
-MISC ChangeLog 595 RMD160 300fadddcb65da0cc2074b5177b93e0e2578207c SHA1 5c335b1ca4d20f6b210a776ad347743986dd58a7 SHA256 2f091a8e791cb176c5892d69e8a89b623a44601e51351fcc39e773b4d41c2180
-MISC metadata.xml 155 RMD160 dfaa057e679b01302a807c75a32a910098b26809 SHA1 94024f83dcacbb53e92be090dd0f994ec93dc90d SHA256 118048376ebb76f57628b0819f3de4856e73959c2578c88715d37ea2d1e0af81
+EBUILD polyml-5.4.1.ebuild 880 RMD160 53ddd13b8f5636417cb87c52d7cbd58201631d08 SHA1 0b540c81c53fea1b41dd04d383fe00bde4649d74 SHA256 811c2706184eac3cc1bdc6444333587b3f33a0f32d6c0a392e1950ec978c1358
+MISC ChangeLog 917 RMD160 4619065414a2686abd14f81b3eee836f023c092d SHA1 59689f08b2a0998f46fdcf871852dabe665bdcf1 SHA256 037a92ef943f01d5bc428729012a8e2c95d633a45cc43a9c1e27153c20e2a7be
+MISC metadata.xml 391 RMD160 9d6f9a28ad7361c10eff32d994e7ebbcd10661d5 SHA1 2dc5e3e4d4c5168bb34b3a789d342b4dd0514ff1 SHA256 12fb15a5275bb291c63724d6dd56864a60f465835698701d5798b50688337c5b
-----BEGIN PGP SIGNATURE-----
-Version: GnuPG v2.0.9 (GNU/Linux)
+Version: GnuPG v2.0.17 (GNU/Linux)
-iEYEARECAAYFAklqRaoACgkQkKaRLQcq0GLt8ACeIiy2lq3s/3dJ35/JK7cwMpf2
-v7wAn1Ha2smQeNfhDQhq3NjPHGcpCREI
-=e7A7
+iF4EAREIAAYFAk8JbuwACgkQoBEVQmGOlx/S7QEA29ITKm17Q8pP/Pntyj4a7UKF
+7h+1nJBOovfnqNAjSHsBAN0srTzpTKfSYye181D2sO82cTjll+tv0oiPfBrR7Sh5
+=eM9z
-----END PGP SIGNATURE-----
--- /dev/null
+--- 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
<!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>
--- /dev/null
+# 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
+}