| 1 |
gienah 14/02/11 14:35:09 |
| 2 |
|
| 3 |
Modified: ChangeLog |
| 4 |
Added: polyml-5.5.1.ebuild |
| 5 |
Log: |
| 6 |
Bump polyml to 5.5.1. Fix bug 453146 - dev-lang/polyml-5.5.0: fails to build (pax kernel?) by paxmark m poly and polyimport. |
| 7 |
|
| 8 |
(Portage version: 2.2.8-r1/cvs/Linux x86_64, signed Manifest commit with key 618E971F) |
| 9 |
|
| 10 |
Revision Changes Path |
| 11 |
1.11 dev-lang/polyml/ChangeLog |
| 12 |
|
| 13 |
file : http://sources.gentoo.org/viewvc.cgi/gentoo-x86/dev-lang/polyml/ChangeLog?rev=1.11&view=markup |
| 14 |
plain: http://sources.gentoo.org/viewvc.cgi/gentoo-x86/dev-lang/polyml/ChangeLog?rev=1.11&content-type=text/plain |
| 15 |
diff : http://sources.gentoo.org/viewvc.cgi/gentoo-x86/dev-lang/polyml/ChangeLog?r1=1.10&r2=1.11 |
| 16 |
|
| 17 |
Index: ChangeLog |
| 18 |
=================================================================== |
| 19 |
RCS file: /var/cvsroot/gentoo-x86/dev-lang/polyml/ChangeLog,v |
| 20 |
retrieving revision 1.10 |
| 21 |
retrieving revision 1.11 |
| 22 |
diff -u -r1.10 -r1.11 |
| 23 |
--- ChangeLog 5 Dec 2012 09:49:35 -0000 1.10 |
| 24 |
+++ ChangeLog 11 Feb 2014 14:35:09 -0000 1.11 |
| 25 |
@@ -1,6 +1,15 @@ |
| 26 |
# ChangeLog for dev-lang/polyml |
| 27 |
-# Copyright 1999-2012 Gentoo Foundation; Distributed under the GPL v2 |
| 28 |
-# $Header: /var/cvsroot/gentoo-x86/dev-lang/polyml/ChangeLog,v 1.10 2012/12/05 09:49:35 gienah Exp $ |
| 29 |
+# Copyright 1999-2014 Gentoo Foundation; Distributed under the GPL v2 |
| 30 |
+# $Header: /var/cvsroot/gentoo-x86/dev-lang/polyml/ChangeLog,v 1.11 2014/02/11 14:35:09 gienah Exp $ |
| 31 |
+ |
| 32 |
+*polyml-5.5.1 (11 Feb 2014) |
| 33 |
+ |
| 34 |
+ 11 Feb 2014; Mark Wright <gienah@g.o> |
| 35 |
+ +files/polyml-5.5.1-inputN-return-for-zero-chars.patch, |
| 36 |
+ +files/polyml-5.5.1-mprotect-exec.patch, |
| 37 |
+ +files/polyml-5.5.1-optimize-closure.patch, +polyml-5.5.1.ebuild: |
| 38 |
+ Bump polyml to 5.5.1. Fix bug 453146 - dev-lang/polyml-5.5.0: fails to build |
| 39 |
+ (pax kernel?) by paxmark m poly and polyimport. |
| 40 |
|
| 41 |
05 Dec 2012; Mark Wright <gienah@g.o> polyml-5.4.1.ebuild, |
| 42 |
polyml-5.5.0.ebuild: |
| 43 |
|
| 44 |
|
| 45 |
|
| 46 |
1.1 dev-lang/polyml/polyml-5.5.1.ebuild |
| 47 |
|
| 48 |
file : http://sources.gentoo.org/viewvc.cgi/gentoo-x86/dev-lang/polyml/polyml-5.5.1.ebuild?rev=1.1&view=markup |
| 49 |
plain: http://sources.gentoo.org/viewvc.cgi/gentoo-x86/dev-lang/polyml/polyml-5.5.1.ebuild?rev=1.1&content-type=text/plain |
| 50 |
|
| 51 |
Index: polyml-5.5.1.ebuild |
| 52 |
=================================================================== |
| 53 |
# Copyright 1999-2014 Gentoo Foundation |
| 54 |
# Distributed under the terms of the GNU General Public License v2 |
| 55 |
# $Header: /var/cvsroot/gentoo-x86/dev-lang/polyml/polyml-5.5.1.ebuild,v 1.1 2014/02/11 14:35:09 gienah Exp $ |
| 56 |
|
| 57 |
EAPI="5" |
| 58 |
|
| 59 |
inherit base autotools pax-utils |
| 60 |
|
| 61 |
MY_P="${PN}.${PV}" |
| 62 |
|
| 63 |
DESCRIPTION="Poly/ML is a full implementation of Standard ML" |
| 64 |
HOMEPAGE="http://www.polyml.org" |
| 65 |
SRC_URI="mirror://sourceforge/${PN}/${MY_P}.tar.gz" |
| 66 |
|
| 67 |
LICENSE="LGPL-2.1" |
| 68 |
SLOT="0/${PV}" |
| 69 |
KEYWORDS="~amd64 ~x86" |
| 70 |
IUSE="X elibc_glibc +gmp portable test +threads" |
| 71 |
|
| 72 |
RDEPEND="X? ( x11-libs/motif ) |
| 73 |
gmp? ( >=dev-libs/gmp-5 ) |
| 74 |
elibc_glibc? ( threads? ( >=sys-libs/glibc-2.13 ) ) |
| 75 |
virtual/libffi" |
| 76 |
DEPEND="${RDEPEND}" |
| 77 |
|
| 78 |
S=${WORKDIR}/${MY_P} |
| 79 |
|
| 80 |
PATCHES=( |
| 81 |
# Bug 256679 - patch the assembler code. The remaining executable stacks in ./.libs/poly |
| 82 |
# comes from the polyml generated ./polyexport.o file. |
| 83 |
"${FILESDIR}/${PN}-5.5.0-asm.patch" |
| 84 |
# http://sourceforge.net/p/polyml/code/1875/ for isabelle-2013.2 |
| 85 |
"${FILESDIR}/${PN}-5.5.1-inputN-return-for-zero-chars.patch" |
| 86 |
# http://sourceforge.net/p/polyml/code/1869/ |
| 87 |
# Adds Test146.ML that fails, applying it anyway as it is required by |
| 88 |
# sci-mathematics/isabelle-2013.2 |
| 89 |
"${FILESDIR}/${PN}-5.5.1-optimize-closure.patch" |
| 90 |
) |
| 91 |
|
| 92 |
src_prepare() { |
| 93 |
base_src_prepare |
| 94 |
eautoreconf |
| 95 |
if [ -f "${S}/Tests/Succeed/Test146.ML" ]; then |
| 96 |
mv "${S}/Tests/Succeed/Test146.ML" "${S}/Tests/Succeed/Test146.ML.disable-test-as-it-fails" |
| 97 |
fi |
| 98 |
} |
| 99 |
|
| 100 |
src_configure() { |
| 101 |
econf \ |
| 102 |
--enable-shared \ |
| 103 |
--disable-static \ |
| 104 |
--with-system-libffi \ |
| 105 |
$(use_with X x) \ |
| 106 |
$(use_with gmp) \ |
| 107 |
$(use_with portable) \ |
| 108 |
$(use_with threads) |
| 109 |
} |
| 110 |
|
| 111 |
src_compile() { |
| 112 |
# Bug 453146 - dev-lang/polyml-5.5.0: fails to build (pax kernel?) |
| 113 |
pushd libpolyml || die "Could not cd to libpolyml" |
| 114 |
emake |
| 115 |
popd |
| 116 |
emake polyimport |
| 117 |
pax-mark m "${S}/.libs/polyimport" |
| 118 |
emake |
| 119 |
pax-mark m "${S}/.libs/poly" |
| 120 |
} |
| 121 |
|
| 122 |
src_test() { |
| 123 |
emake tests || die "tests failed" |
| 124 |
} |
Archives