* [gentoo-commits] repo/gentoo:master commit in: dev-lang/polyml/
@ 2016-12-28 12:14 Mark Wright
0 siblings, 0 replies; 15+ messages in thread
From: Mark Wright @ 2016-12-28 12:14 UTC (permalink / raw
To: gentoo-commits
commit: be71b09b3a0fdfad6af225732d1ba02d66330f56
Author: Mark Wright <gienah <AT> gentoo <DOT> org>
AuthorDate: Wed Dec 28 12:14:41 2016 +0000
Commit: Mark Wright <gienah <AT> gentoo <DOT> org>
CommitDate: Wed Dec 28 12:14:41 2016 +0000
URL: https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=be71b09b
dev-lang/polyml: Bump to 5.6
Gentoo-bug: 583586
Package-Manager: portage-2.3.3
dev-lang/polyml/Manifest | 1 +
dev-lang/polyml/polyml-5.6.ebuild | 53 +++++++++++++++++++++++++++++++++++++++
2 files changed, 54 insertions(+)
diff --git a/dev-lang/polyml/Manifest b/dev-lang/polyml/Manifest
index d1addf4..fd7a924 100644
--- a/dev-lang/polyml/Manifest
+++ b/dev-lang/polyml/Manifest
@@ -1,3 +1,4 @@
+DIST polyml-5.6.tar.gz 6066166 SHA256 20d7b98ae56fe030c64054dbe0644e9dc02bae781caa8994184ea65a94a0a615 SHA512 cd4f25c225831dec512f7136dfda4ba31abd6939d9e8e0cacdb6d48212488b56ba5969c76e76fcbfcfa83d015a67d9cf62457286086f3c2b3f7914a7939d7b59 WHIRLPOOL a50042ed5cd309ca2b148cfb33a98681803b79c80f8efde1ad2b39cabdfb6dd85da6a66dd21f92f603d3be9685008e3fd4f5303eadd24d8cec493acead29acc3
DIST polyml.5.4.1.tar.gz 6107319 SHA256 514d1d07be487b783d4dfa29dbd550b3396640579ce135a9eb5a61f08e7f9cac SHA512 4a7b404ed648b5a9fd9d52917214688d15f4f9a5f4570ba13b52a8304bde1cc4b534f539ffc3c9554283816ae130e4c898a179d776df6d3220fba9743a19b175 WHIRLPOOL 048db0b2210d699c0a86940daaafd24bfc81debae412f7e7dcad2585cd5514253f6c47e0006277ef00b640ab971a031d74e64c78c4abcc09712fa9e8593d1720
DIST polyml.5.5.1.tar.gz 5465794 SHA256 cf8009dabc8b5d308d92e201dcd01f17ce14289d30caa8021a87365f4b8e209a SHA512 283954c8bf5599d83ea69916b827b1acae7137fe4add67537026092da2e6f1a89d71d3a394dbba599bbe9e967ded1446f39f4d81afb90301532db6be949f7a6f WHIRLPOOL 5bfeb8dcedcfe9b0a925ed089abc246d70d1269631ee46e9c78b123d461afb80e68640d6c08d77f47e69b0c244e9c7a27750dd7350741911e007f9dbcb2e7f76
DIST polyml.5.5.2.tar.gz 5599140 SHA256 73fd2be89f7e3ff0567e27ef525ef788775d9f963d6db54069cb34d53040a682 SHA512 248c2a38c4691898bc1243a041f4683bf227d9c8a98c6c3545af2a8a3249ed5ed96f33f90cb2dede8809b42f33c0557650147302cfe046a5fba965ccd93cbc5b WHIRLPOOL d8dae553b6d4effef80b4303ea8fdbb95f8470790ab7ff49e62ae2a47d70d9d0b11b2113caa28302c029049041bd0286ba06a2153b5266b88a6c26eb1714abf7
diff --git a/dev-lang/polyml/polyml-5.6.ebuild b/dev-lang/polyml/polyml-5.6.ebuild
new file mode 100644
index 00000000..70af2d9
--- /dev/null
+++ b/dev-lang/polyml/polyml-5.6.ebuild
@@ -0,0 +1,53 @@
+# Copyright 1999-2016 Gentoo Foundation
+# Distributed under the terms of the GNU General Public License v2
+# $Id$
+
+EAPI="6"
+
+inherit autotools pax-utils
+
+DESCRIPTION="Poly/ML is a full implementation of Standard ML"
+HOMEPAGE="http://www.polyml.org"
+SRC_URI="https://codeload.github.com/polyml/polyml/tar.gz/v${PV} -> ${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}"
+
+src_prepare() {
+ default
+ eautoreconf
+}
+
+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"
+}
^ permalink raw reply related [flat|nested] 15+ messages in thread
* [gentoo-commits] repo/gentoo:master commit in: dev-lang/polyml/
@ 2018-06-07 19:22 Aaron Bauman
0 siblings, 0 replies; 15+ messages in thread
From: Aaron Bauman @ 2018-06-07 19:22 UTC (permalink / raw
To: gentoo-commits
commit: 676a8615c5954fe5d2506c62364412582af04b94
Author: Michael Mair-Keimberger <m.mairkeimberger <AT> gmail <DOT> com>
AuthorDate: Mon Jun 4 20:00:40 2018 +0000
Commit: Aaron Bauman <bman <AT> gentoo <DOT> org>
CommitDate: Thu Jun 7 19:20:34 2018 +0000
URL: https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=676a8615
dev-lang/polyml: use HTTPs
Closes: https://github.com/gentoo/gentoo/pull/8724
dev-lang/polyml/polyml-5.4.1.ebuild | 4 ++--
dev-lang/polyml/polyml-5.5.0.ebuild | 4 ++--
dev-lang/polyml/polyml-5.5.1.ebuild | 4 ++--
dev-lang/polyml/polyml-5.5.2.ebuild | 4 ++--
dev-lang/polyml/polyml-5.6.ebuild | 4 ++--
5 files changed, 10 insertions(+), 10 deletions(-)
diff --git a/dev-lang/polyml/polyml-5.4.1.ebuild b/dev-lang/polyml/polyml-5.4.1.ebuild
index 291dc04c050..34eabcdb7de 100644
--- a/dev-lang/polyml/polyml-5.4.1.ebuild
+++ b/dev-lang/polyml/polyml-5.4.1.ebuild
@@ -1,4 +1,4 @@
-# Copyright 1999-2015 Gentoo Foundation
+# Copyright 1999-2018 Gentoo Foundation
# Distributed under the terms of the GNU General Public License v2
EAPI="5"
@@ -8,7 +8,7 @@ inherit base autotools
MY_P=${PN}.${PV}
DESCRIPTION="Poly/ML is a full implementation of Standard ML"
-HOMEPAGE="http://www.polyml.org"
+HOMEPAGE="https://www.polyml.org"
SRC_URI="mirror://sourceforge/${PN}/${MY_P}.tar.gz"
LICENSE="LGPL-2.1"
diff --git a/dev-lang/polyml/polyml-5.5.0.ebuild b/dev-lang/polyml/polyml-5.5.0.ebuild
index c8799c91484..44b3faff156 100644
--- a/dev-lang/polyml/polyml-5.5.0.ebuild
+++ b/dev-lang/polyml/polyml-5.5.0.ebuild
@@ -1,4 +1,4 @@
-# Copyright 1999-2015 Gentoo Foundation
+# Copyright 1999-2018 Gentoo Foundation
# Distributed under the terms of the GNU General Public License v2
EAPI="5"
@@ -11,7 +11,7 @@ MY_PV=$(get_version_component_range "1-2" "${PV}")
MY_P="${PN}.${MY_PV}"
DESCRIPTION="Poly/ML is a full implementation of Standard ML"
-HOMEPAGE="http://www.polyml.org"
+HOMEPAGE="https://www.polyml.org"
SRC_URI="mirror://sourceforge/${PN}/${MY_P}.tar.gz"
LICENSE="LGPL-2.1"
diff --git a/dev-lang/polyml/polyml-5.5.1.ebuild b/dev-lang/polyml/polyml-5.5.1.ebuild
index 675e7908270..ce4a090ed6c 100644
--- a/dev-lang/polyml/polyml-5.5.1.ebuild
+++ b/dev-lang/polyml/polyml-5.5.1.ebuild
@@ -1,4 +1,4 @@
-# Copyright 1999-2015 Gentoo Foundation
+# Copyright 1999-2018 Gentoo Foundation
# Distributed under the terms of the GNU General Public License v2
EAPI="5"
@@ -8,7 +8,7 @@ inherit base autotools pax-utils
MY_P="${PN}.${PV}"
DESCRIPTION="Poly/ML is a full implementation of Standard ML"
-HOMEPAGE="http://www.polyml.org"
+HOMEPAGE="https://www.polyml.org"
SRC_URI="mirror://sourceforge/${PN}/${MY_P}.tar.gz"
LICENSE="LGPL-2.1"
diff --git a/dev-lang/polyml/polyml-5.5.2.ebuild b/dev-lang/polyml/polyml-5.5.2.ebuild
index 85e846f17af..f54f6675ccf 100644
--- a/dev-lang/polyml/polyml-5.5.2.ebuild
+++ b/dev-lang/polyml/polyml-5.5.2.ebuild
@@ -1,4 +1,4 @@
-# Copyright 1999-2015 Gentoo Foundation
+# Copyright 1999-2018 Gentoo Foundation
# Distributed under the terms of the GNU General Public License v2
EAPI="5"
@@ -8,7 +8,7 @@ inherit base autotools pax-utils
MY_P="${PN}.${PV}"
DESCRIPTION="Poly/ML is a full implementation of Standard ML"
-HOMEPAGE="http://www.polyml.org"
+HOMEPAGE="https://www.polyml.org"
SRC_URI="mirror://sourceforge/${PN}/${MY_P}.tar.gz"
LICENSE="LGPL-2.1"
diff --git a/dev-lang/polyml/polyml-5.6.ebuild b/dev-lang/polyml/polyml-5.6.ebuild
index 96e7f5c9155..6cdf4fdd6fb 100644
--- a/dev-lang/polyml/polyml-5.6.ebuild
+++ b/dev-lang/polyml/polyml-5.6.ebuild
@@ -1,4 +1,4 @@
-# Copyright 1999-2016 Gentoo Foundation
+# Copyright 1999-2018 Gentoo Foundation
# Distributed under the terms of the GNU General Public License v2
EAPI="6"
@@ -6,7 +6,7 @@ EAPI="6"
inherit autotools pax-utils
DESCRIPTION="Poly/ML is a full implementation of Standard ML"
-HOMEPAGE="http://www.polyml.org"
+HOMEPAGE="https://www.polyml.org"
SRC_URI="https://codeload.github.com/polyml/polyml/tar.gz/v${PV} -> ${P}.tar.gz"
LICENSE="LGPL-2.1"
^ permalink raw reply related [flat|nested] 15+ messages in thread
* [gentoo-commits] repo/gentoo:master commit in: dev-lang/polyml/
@ 2019-04-05 16:44 Alfredo Tupone
0 siblings, 0 replies; 15+ messages in thread
From: Alfredo Tupone @ 2019-04-05 16:44 UTC (permalink / raw
To: gentoo-commits
commit: 26b4e5dcb724273315252e07bf263803f4c17d70
Author: Tupone Alfredo <tupone <AT> gentoo <DOT> org>
AuthorDate: Fri Apr 5 16:44:16 2019 +0000
Commit: Alfredo Tupone <tupone <AT> gentoo <DOT> org>
CommitDate: Fri Apr 5 16:44:16 2019 +0000
URL: https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=26b4e5dc
dev-lang/polyml: Adding me as a maintainer
Signed-off-by: Alfredo Tupone <tupone <AT> gentoo.org>
Package-Manager: Portage-2.3.62, Repoman-2.3.11
dev-lang/polyml/metadata.xml | 4 ++++
1 file changed, 4 insertions(+)
diff --git a/dev-lang/polyml/metadata.xml b/dev-lang/polyml/metadata.xml
index bdeea6761bc..3ebf1da1683 100644
--- a/dev-lang/polyml/metadata.xml
+++ b/dev-lang/polyml/metadata.xml
@@ -5,6 +5,10 @@
<email>ml@gentoo.org</email>
<name>Gentoo ML Project</name>
</maintainer>
+ <maintainer type="person">
+ <email>tupone@gentoo.org</email>
+ <name>Tupone Alfredo</name>
+ </maintainer>
<longdescription lang="en">
Poly/ML is a full implementation of Standard ML available as open-source.
</longdescription>
^ permalink raw reply related [flat|nested] 15+ messages in thread
* [gentoo-commits] repo/gentoo:master commit in: dev-lang/polyml/
@ 2019-04-06 19:12 Alfredo Tupone
0 siblings, 0 replies; 15+ messages in thread
From: Alfredo Tupone @ 2019-04-06 19:12 UTC (permalink / raw
To: gentoo-commits
commit: ff358332fcfdfb62a0d5b90db18c142849e1aadb
Author: Tupone Alfredo <tupone <AT> gentoo <DOT> org>
AuthorDate: Sat Apr 6 19:11:50 2019 +0000
Commit: Alfredo Tupone <tupone <AT> gentoo <DOT> org>
CommitDate: Sat Apr 6 19:12:13 2019 +0000
URL: https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=ff358332
dev-lang/polyml: bump to 5.8
Closes https://bugs.gentoo.org/619990
Signed-off-by: Alfredo Tupone <tupone <AT> gentoo.org>
Package-Manager: Portage-2.3.62, Repoman-2.3.11
dev-lang/polyml/Manifest | 1 +
dev-lang/polyml/polyml-5.6.ebuild | 1 +
dev-lang/polyml/{polyml-5.6.ebuild => polyml-5.8.ebuild} | 5 +++--
3 files changed, 5 insertions(+), 2 deletions(-)
diff --git a/dev-lang/polyml/Manifest b/dev-lang/polyml/Manifest
index 9d695ab7117..2c0f434a74b 100644
--- a/dev-lang/polyml/Manifest
+++ b/dev-lang/polyml/Manifest
@@ -1,4 +1,5 @@
DIST polyml-5.6.tar.gz 6066166 BLAKE2B dc7e35ad1f51f270f9043736bca8b3d8a96e208dfa2833a2de3c06c969e8bb9d5e92c3ab025e4e55539188a9d6d5000b7befdd3cfc17aa3b0e54315778ab71b0 SHA512 cd4f25c225831dec512f7136dfda4ba31abd6939d9e8e0cacdb6d48212488b56ba5969c76e76fcbfcfa83d015a67d9cf62457286086f3c2b3f7914a7939d7b59
+DIST polyml-5.8.tar.gz 9817105 BLAKE2B 93992c8baa78017bfda6c2151d1f48805829b77c0b7ed9bec87c951fc4a4236459ed59aab1eca88ed4a1d7aa10eb9734f93324583e012b18bb7d8cce84b5a35b SHA512 50baed79b50b14bd87acc637de93fd6d0f05e61fe0f03682a12a1d2c5f382313488d48f84b49ad915b01acc5a3a5769fb05fcaa7b24499c56402ddd3ba393930
DIST polyml.5.4.1.tar.gz 6107319 BLAKE2B 1fdff3b26fa7554a0f3d31cca0dc4a4e013fb930e6295cd6107012bc67e87db1f64916087edb34e403c3e1a88b26bff947c1cc9d946fe93ac7a1144434d15081 SHA512 4a7b404ed648b5a9fd9d52917214688d15f4f9a5f4570ba13b52a8304bde1cc4b534f539ffc3c9554283816ae130e4c898a179d776df6d3220fba9743a19b175
DIST polyml.5.5.1.tar.gz 5465794 BLAKE2B 0ae6973c866cdf33e0eeb26475c95f26f11eca13458ab52c2c6fd3f4b3034cd5e71a7e4dbff5574070a11833479bff2723066bfc71367d71cd6e4f9f17a5cba1 SHA512 283954c8bf5599d83ea69916b827b1acae7137fe4add67537026092da2e6f1a89d71d3a394dbba599bbe9e967ded1446f39f4d81afb90301532db6be949f7a6f
DIST polyml.5.5.2.tar.gz 5599140 BLAKE2B 08b7c4be7c52bd8f57c53f6caa24be7ab457c7419459192f33369bf3c7024002ffd98dfd7af4db53c3a2484f9c966010a635f4e09e9edf8a62b5d5230f9a04bf SHA512 248c2a38c4691898bc1243a041f4683bf227d9c8a98c6c3545af2a8a3249ed5ed96f33f90cb2dede8809b42f33c0557650147302cfe046a5fba965ccd93cbc5b
diff --git a/dev-lang/polyml/polyml-5.6.ebuild b/dev-lang/polyml/polyml-5.6.ebuild
index f4997ba3dd2..6ec40e59241 100644
--- a/dev-lang/polyml/polyml-5.6.ebuild
+++ b/dev-lang/polyml/polyml-5.6.ebuild
@@ -35,6 +35,7 @@ src_configure() {
--enable-shared \
--disable-static \
--with-system-libffi \
+ --with-pic=pic-only \
$(use_with X x) \
$(use_with gmp) \
$(use_with portable) \
diff --git a/dev-lang/polyml/polyml-5.6.ebuild b/dev-lang/polyml/polyml-5.8.ebuild
similarity index 91%
copy from dev-lang/polyml/polyml-5.6.ebuild
copy to dev-lang/polyml/polyml-5.8.ebuild
index f4997ba3dd2..b38959ceb05 100644
--- a/dev-lang/polyml/polyml-5.6.ebuild
+++ b/dev-lang/polyml/polyml-5.8.ebuild
@@ -21,8 +21,8 @@ RDEPEND="X? ( x11-libs/motif:0 )
DEPEND="${RDEPEND}"
PATCHES=(
- "${FILESDIR}"/${P}-configure.patch
- "${FILESDIR}"/${P}-ffi3.patch
+ "${FILESDIR}"/${PN}-5.6-configure.patch
+ "${FILESDIR}"/${PN}-5.6-ffi3.patch
)
src_prepare() {
@@ -35,6 +35,7 @@ src_configure() {
--enable-shared \
--disable-static \
--with-system-libffi \
+ --with-pic=pic-only \
$(use_with X x) \
$(use_with gmp) \
$(use_with portable) \
^ permalink raw reply related [flat|nested] 15+ messages in thread
* [gentoo-commits] repo/gentoo:master commit in: dev-lang/polyml/
@ 2019-10-21 7:06 Alfredo Tupone
0 siblings, 0 replies; 15+ messages in thread
From: Alfredo Tupone @ 2019-10-21 7:06 UTC (permalink / raw
To: gentoo-commits
commit: 73b7430e96ddd60710e5c90e2a96582d1857dbb7
Author: Tupone Alfredo <tupone <AT> gentoo <DOT> org>
AuthorDate: Mon Oct 21 07:06:35 2019 +0000
Commit: Alfredo Tupone <tupone <AT> gentoo <DOT> org>
CommitDate: Mon Oct 21 07:06:35 2019 +0000
URL: https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=73b7430e
dev-lang/polyml: removing me from maintainer
Package-Manager: Portage-2.3.69, Repoman-2.3.16
Signed-off-by: Alfredo Tupone <tupone <AT> gentoo.org>
dev-lang/polyml/metadata.xml | 4 ----
1 file changed, 4 deletions(-)
diff --git a/dev-lang/polyml/metadata.xml b/dev-lang/polyml/metadata.xml
index 3ebf1da1683..bdeea6761bc 100644
--- a/dev-lang/polyml/metadata.xml
+++ b/dev-lang/polyml/metadata.xml
@@ -5,10 +5,6 @@
<email>ml@gentoo.org</email>
<name>Gentoo ML Project</name>
</maintainer>
- <maintainer type="person">
- <email>tupone@gentoo.org</email>
- <name>Tupone Alfredo</name>
- </maintainer>
<longdescription lang="en">
Poly/ML is a full implementation of Standard ML available as open-source.
</longdescription>
^ permalink raw reply related [flat|nested] 15+ messages in thread
* [gentoo-commits] repo/gentoo:master commit in: dev-lang/polyml/
@ 2020-09-24 19:53 Aaron Bauman
0 siblings, 0 replies; 15+ messages in thread
From: Aaron Bauman @ 2020-09-24 19:53 UTC (permalink / raw
To: gentoo-commits
commit: b359e07ef8a781596eb86039a89c0898c2eda45f
Author: Aaron Bauman <bman <AT> gentoo <DOT> org>
AuthorDate: Thu Sep 24 19:41:54 2020 +0000
Commit: Aaron Bauman <bman <AT> gentoo <DOT> org>
CommitDate: Thu Sep 24 19:53:29 2020 +0000
URL: https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=b359e07e
dev-lang/polyml: drop old EAPI=5
Signed-off-by: Aaron Bauman <bman <AT> gentoo.org>
dev-lang/polyml/Manifest | 4 ---
dev-lang/polyml/polyml-5.4.1.ebuild | 45 -----------------------
dev-lang/polyml/polyml-5.5.0.ebuild | 51 --------------------------
dev-lang/polyml/polyml-5.5.1.ebuild | 72 -------------------------------------
dev-lang/polyml/polyml-5.5.2.ebuild | 72 -------------------------------------
5 files changed, 244 deletions(-)
diff --git a/dev-lang/polyml/Manifest b/dev-lang/polyml/Manifest
index 2c0f434a74b..58d163f18be 100644
--- a/dev-lang/polyml/Manifest
+++ b/dev-lang/polyml/Manifest
@@ -1,6 +1,2 @@
DIST polyml-5.6.tar.gz 6066166 BLAKE2B dc7e35ad1f51f270f9043736bca8b3d8a96e208dfa2833a2de3c06c969e8bb9d5e92c3ab025e4e55539188a9d6d5000b7befdd3cfc17aa3b0e54315778ab71b0 SHA512 cd4f25c225831dec512f7136dfda4ba31abd6939d9e8e0cacdb6d48212488b56ba5969c76e76fcbfcfa83d015a67d9cf62457286086f3c2b3f7914a7939d7b59
DIST polyml-5.8.tar.gz 9817105 BLAKE2B 93992c8baa78017bfda6c2151d1f48805829b77c0b7ed9bec87c951fc4a4236459ed59aab1eca88ed4a1d7aa10eb9734f93324583e012b18bb7d8cce84b5a35b SHA512 50baed79b50b14bd87acc637de93fd6d0f05e61fe0f03682a12a1d2c5f382313488d48f84b49ad915b01acc5a3a5769fb05fcaa7b24499c56402ddd3ba393930
-DIST polyml.5.4.1.tar.gz 6107319 BLAKE2B 1fdff3b26fa7554a0f3d31cca0dc4a4e013fb930e6295cd6107012bc67e87db1f64916087edb34e403c3e1a88b26bff947c1cc9d946fe93ac7a1144434d15081 SHA512 4a7b404ed648b5a9fd9d52917214688d15f4f9a5f4570ba13b52a8304bde1cc4b534f539ffc3c9554283816ae130e4c898a179d776df6d3220fba9743a19b175
-DIST polyml.5.5.1.tar.gz 5465794 BLAKE2B 0ae6973c866cdf33e0eeb26475c95f26f11eca13458ab52c2c6fd3f4b3034cd5e71a7e4dbff5574070a11833479bff2723066bfc71367d71cd6e4f9f17a5cba1 SHA512 283954c8bf5599d83ea69916b827b1acae7137fe4add67537026092da2e6f1a89d71d3a394dbba599bbe9e967ded1446f39f4d81afb90301532db6be949f7a6f
-DIST polyml.5.5.2.tar.gz 5599140 BLAKE2B 08b7c4be7c52bd8f57c53f6caa24be7ab457c7419459192f33369bf3c7024002ffd98dfd7af4db53c3a2484f9c966010a635f4e09e9edf8a62b5d5230f9a04bf SHA512 248c2a38c4691898bc1243a041f4683bf227d9c8a98c6c3545af2a8a3249ed5ed96f33f90cb2dede8809b42f33c0557650147302cfe046a5fba965ccd93cbc5b
-DIST polyml.5.5.tar.gz 5504389 BLAKE2B 8ad51504e4bc4a3f6090052d641389b7378aa56295ebe8503ea09082a0bb85ee157c04ac19ca66ab8b8c8b49b0d645339d499ea7d4eba18eae6f90be8afcc907 SHA512 4725c2e4a786b8c63bc6fc1cadad0de818ed935014d51040af43defa07b03ba7bedb2185bfb2e39a0db7284479e79e698b31ec7fe8463c306b668de1eda69b89
diff --git a/dev-lang/polyml/polyml-5.4.1.ebuild b/dev-lang/polyml/polyml-5.4.1.ebuild
deleted file mode 100644
index 022401f5434..00000000000
--- a/dev-lang/polyml/polyml-5.4.1.ebuild
+++ /dev/null
@@ -1,45 +0,0 @@
-# Copyright 1999-2019 Gentoo Authors
-# Distributed under the terms of the GNU General Public License v2
-
-EAPI="5"
-
-inherit base autotools
-
-MY_P=${PN}.${PV}
-
-DESCRIPTION="Poly/ML is a full implementation of Standard ML"
-HOMEPAGE="https://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"
-RESTRICT="!test? ( test )"
-
-RDEPEND="X? ( x11-libs/motif:0 )
- gmp? ( >=dev-libs/gmp-5 )
- elibc_glibc? ( threads? ( >=sys-libs/glibc-2.13 ) )"
-DEPEND="${RDEPEND}"
-
-S=${WORKDIR}/${MY_P}
-
-PATCHES=("${FILESDIR}/${PN}-5.4.1-configure.patch"
- "${FILESDIR}/${PN}-5.4.1-asm.patch")
-
-src_prepare() {
- base_src_prepare
- eautoreconf
-}
-
-src_configure() {
- econf \
- $(use_with X x) \
- $(use_with gmp) \
- $(use_with portable) \
- $(use_with threads)
-}
-
-src_test() {
- emake tests
-}
diff --git a/dev-lang/polyml/polyml-5.5.0.ebuild b/dev-lang/polyml/polyml-5.5.0.ebuild
deleted file mode 100644
index 3cde2319640..00000000000
--- a/dev-lang/polyml/polyml-5.5.0.ebuild
+++ /dev/null
@@ -1,51 +0,0 @@
-# Copyright 1999-2019 Gentoo Authors
-# Distributed under the terms of the GNU General Public License v2
-
-EAPI="5"
-
-inherit base autotools versionator
-
-# Although the download is called 5.5, after building it poly -v says
-# it is 5.5.0.
-MY_PV=$(get_version_component_range "1-2" "${PV}")
-MY_P="${PN}.${MY_PV}"
-
-DESCRIPTION="Poly/ML is a full implementation of Standard ML"
-HOMEPAGE="https://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"
-RESTRICT="!test? ( test )"
-
-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=("${FILESDIR}/${PN}-5.5.0-configure.patch"
- "${FILESDIR}/${PN}-5.5.0-x-it-basis.patch"
- "${FILESDIR}/${PN}-5.5.0-asm.patch")
-
-src_prepare() {
- base_src_prepare
- eautoreconf
-}
-
-src_configure() {
- econf \
- --with-system-libffi \
- $(use_with X x) \
- $(use_with gmp) \
- $(use_with portable) \
- $(use_with threads)
-}
-
-src_test() {
- emake tests
-}
diff --git a/dev-lang/polyml/polyml-5.5.1.ebuild b/dev-lang/polyml/polyml-5.5.1.ebuild
deleted file mode 100644
index 0ceb98cb5d9..00000000000
--- a/dev-lang/polyml/polyml-5.5.1.ebuild
+++ /dev/null
@@ -1,72 +0,0 @@
-# Copyright 1999-2019 Gentoo Authors
-# Distributed under the terms of the GNU General Public License v2
-
-EAPI="5"
-
-inherit base autotools pax-utils
-
-MY_P="${PN}.${PV}"
-
-DESCRIPTION="Poly/ML is a full implementation of Standard ML"
-HOMEPAGE="https://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"
-RESTRICT="!test? ( test )"
-
-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"
- # https://sourceforge.net/p/polyml/code/1875/ for isabelle-2013.2
- "${FILESDIR}/${PN}-5.5.1-inputN-return-for-zero-chars.patch"
- # https://sourceforge.net/p/polyml/code/1869/
- # Adds Test146.ML that fails, applying it anyway as it is required by
- # sci-mathematics/isabelle-2013.2
- "${FILESDIR}/${PN}-5.5.1-optimize-closure.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
-}
diff --git a/dev-lang/polyml/polyml-5.5.2.ebuild b/dev-lang/polyml/polyml-5.5.2.ebuild
deleted file mode 100644
index 0cb11d7b344..00000000000
--- a/dev-lang/polyml/polyml-5.5.2.ebuild
+++ /dev/null
@@ -1,72 +0,0 @@
-# Copyright 1999-2019 Gentoo Authors
-# Distributed under the terms of the GNU General Public License v2
-
-EAPI="5"
-
-inherit base autotools pax-utils
-
-MY_P="${PN}.${PV}"
-
-DESCRIPTION="Poly/ML is a full implementation of Standard ML"
-HOMEPAGE="https://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"
-RESTRICT="!test? ( test )"
-
-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 https://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
-}
^ permalink raw reply related [flat|nested] 15+ messages in thread
* [gentoo-commits] repo/gentoo:master commit in: dev-lang/polyml/
@ 2020-11-16 22:53 Sergei Trofimovich
0 siblings, 0 replies; 15+ messages in thread
From: Sergei Trofimovich @ 2020-11-16 22:53 UTC (permalink / raw
To: gentoo-commits
commit: 70434ffc1e40a7568d653e20ca552f2027f8022a
Author: Sergei Trofimovich <slyfox <AT> gentoo <DOT> org>
AuthorDate: Mon Nov 16 22:40:17 2020 +0000
Commit: Sergei Trofimovich <slyfox <AT> gentoo <DOT> org>
CommitDate: Mon Nov 16 22:53:00 2020 +0000
URL: https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=70434ffc
dev-lang/polyml: use dev-libs/libffi instead of virtual/libffi
Package-Manager: Portage-3.0.9, Repoman-3.0.2
Signed-off-by: Sergei Trofimovich <slyfox <AT> gentoo.org>
dev-lang/polyml/polyml-5.6.ebuild | 4 ++--
dev-lang/polyml/polyml-5.8.ebuild | 4 ++--
2 files changed, 4 insertions(+), 4 deletions(-)
diff --git a/dev-lang/polyml/polyml-5.6.ebuild b/dev-lang/polyml/polyml-5.6.ebuild
index 6f30939f7d5..8d2700996b9 100644
--- a/dev-lang/polyml/polyml-5.6.ebuild
+++ b/dev-lang/polyml/polyml-5.6.ebuild
@@ -1,4 +1,4 @@
-# Copyright 1999-2019 Gentoo Authors
+# Copyright 1999-2020 Gentoo Authors
# Distributed under the terms of the GNU General Public License v2
EAPI="6"
@@ -18,7 +18,7 @@ RESTRICT="!test? ( test )"
RDEPEND="X? ( x11-libs/motif:0 )
gmp? ( >=dev-libs/gmp-5 )
elibc_glibc? ( threads? ( >=sys-libs/glibc-2.13 ) )
- virtual/libffi"
+ dev-libs/libffi:="
DEPEND="${RDEPEND}"
PATCHES=(
diff --git a/dev-lang/polyml/polyml-5.8.ebuild b/dev-lang/polyml/polyml-5.8.ebuild
index 37dc19e4e1d..266856a8de2 100644
--- a/dev-lang/polyml/polyml-5.8.ebuild
+++ b/dev-lang/polyml/polyml-5.8.ebuild
@@ -1,4 +1,4 @@
-# Copyright 1999-2019 Gentoo Authors
+# Copyright 1999-2020 Gentoo Authors
# Distributed under the terms of the GNU General Public License v2
EAPI="6"
@@ -18,7 +18,7 @@ RESTRICT="!test? ( test )"
RDEPEND="X? ( x11-libs/motif:0 )
gmp? ( >=dev-libs/gmp-5 )
elibc_glibc? ( threads? ( >=sys-libs/glibc-2.13 ) )
- virtual/libffi"
+ dev-libs/libffi:="
DEPEND="${RDEPEND}"
PATCHES=(
^ permalink raw reply related [flat|nested] 15+ messages in thread
* [gentoo-commits] repo/gentoo:master commit in: dev-lang/polyml/
@ 2021-03-16 19:23 Sam James
0 siblings, 0 replies; 15+ messages in thread
From: Sam James @ 2021-03-16 19:23 UTC (permalink / raw
To: gentoo-commits
commit: 0e187461b581a476c56b3a4e5e844da3f72ec668
Author: Sam James <sam <AT> gentoo <DOT> org>
AuthorDate: Tue Mar 16 18:36:53 2021 +0000
Commit: Sam James <sam <AT> gentoo <DOT> org>
CommitDate: Tue Mar 16 19:22:29 2021 +0000
URL: https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=0e187461
dev-lang/polyml: drop 5.6
Signed-off-by: Sam James <sam <AT> gentoo.org>
dev-lang/polyml/Manifest | 1 -
dev-lang/polyml/polyml-5.6.ebuild | 59 ---------------------------------------
2 files changed, 60 deletions(-)
diff --git a/dev-lang/polyml/Manifest b/dev-lang/polyml/Manifest
index 58d163f18be..374920d949c 100644
--- a/dev-lang/polyml/Manifest
+++ b/dev-lang/polyml/Manifest
@@ -1,2 +1 @@
-DIST polyml-5.6.tar.gz 6066166 BLAKE2B dc7e35ad1f51f270f9043736bca8b3d8a96e208dfa2833a2de3c06c969e8bb9d5e92c3ab025e4e55539188a9d6d5000b7befdd3cfc17aa3b0e54315778ab71b0 SHA512 cd4f25c225831dec512f7136dfda4ba31abd6939d9e8e0cacdb6d48212488b56ba5969c76e76fcbfcfa83d015a67d9cf62457286086f3c2b3f7914a7939d7b59
DIST polyml-5.8.tar.gz 9817105 BLAKE2B 93992c8baa78017bfda6c2151d1f48805829b77c0b7ed9bec87c951fc4a4236459ed59aab1eca88ed4a1d7aa10eb9734f93324583e012b18bb7d8cce84b5a35b SHA512 50baed79b50b14bd87acc637de93fd6d0f05e61fe0f03682a12a1d2c5f382313488d48f84b49ad915b01acc5a3a5769fb05fcaa7b24499c56402ddd3ba393930
diff --git a/dev-lang/polyml/polyml-5.6.ebuild b/dev-lang/polyml/polyml-5.6.ebuild
deleted file mode 100644
index 8d2700996b9..00000000000
--- a/dev-lang/polyml/polyml-5.6.ebuild
+++ /dev/null
@@ -1,59 +0,0 @@
-# Copyright 1999-2020 Gentoo Authors
-# Distributed under the terms of the GNU General Public License v2
-
-EAPI="6"
-
-inherit autotools pax-utils
-
-DESCRIPTION="Poly/ML is a full implementation of Standard ML"
-HOMEPAGE="https://www.polyml.org"
-SRC_URI="https://codeload.github.com/polyml/polyml/tar.gz/v${PV} -> ${P}.tar.gz"
-
-LICENSE="LGPL-2.1"
-SLOT="0/${PV}"
-KEYWORDS="~amd64 ~x86"
-IUSE="X elibc_glibc +gmp portable test +threads"
-RESTRICT="!test? ( test )"
-
-RDEPEND="X? ( x11-libs/motif:0 )
- gmp? ( >=dev-libs/gmp-5 )
- elibc_glibc? ( threads? ( >=sys-libs/glibc-2.13 ) )
- dev-libs/libffi:="
-DEPEND="${RDEPEND}"
-
-PATCHES=(
- "${FILESDIR}"/${P}-configure.patch
- "${FILESDIR}"/${P}-ffi3.patch
-)
-
-src_prepare() {
- default
- eautoreconf
-}
-
-src_configure() {
- econf \
- --enable-shared \
- --disable-static \
- --with-system-libffi \
- --with-pic=pic-only \
- $(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
-}
^ permalink raw reply related [flat|nested] 15+ messages in thread
* [gentoo-commits] repo/gentoo:master commit in: dev-lang/polyml/
@ 2021-08-05 2:09 Sam James
0 siblings, 0 replies; 15+ messages in thread
From: Sam James @ 2021-08-05 2:09 UTC (permalink / raw
To: gentoo-commits
commit: ea11fe38d0637a2e586383e58a3c6a48af2e2ff7
Author: Sam James <sam <AT> gentoo <DOT> org>
AuthorDate: Thu Aug 5 02:08:39 2021 +0000
Commit: Sam James <sam <AT> gentoo <DOT> org>
CommitDate: Thu Aug 5 02:08:39 2021 +0000
URL: https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=ea11fe38
dev-lang/polyml: add github upstream metadata
Signed-off-by: Sam James <sam <AT> gentoo.org>
dev-lang/polyml/metadata.xml | 1 +
1 file changed, 1 insertion(+)
diff --git a/dev-lang/polyml/metadata.xml b/dev-lang/polyml/metadata.xml
index d54adc1d520..f190cff1cfe 100644
--- a/dev-lang/polyml/metadata.xml
+++ b/dev-lang/polyml/metadata.xml
@@ -6,6 +6,7 @@
<flag name="portable">Build the portable interpreter version of Poly/ML instead of native</flag>
</use>
<upstream>
+ <remote-id type="github">polyml/polyml</remote-id>
<remote-id type="sourceforge">polyml</remote-id>
</upstream>
</pkgmetadata>
^ permalink raw reply related [flat|nested] 15+ messages in thread
* [gentoo-commits] repo/gentoo:master commit in: dev-lang/polyml/
@ 2021-12-03 12:55 Maciej Barć
0 siblings, 0 replies; 15+ messages in thread
From: Maciej Barć @ 2021-12-03 12:55 UTC (permalink / raw
To: gentoo-commits
commit: a661efa576b31cc55f8284421d5fb376ac2243c0
Author: Maciej Barć <xgqt <AT> gentoo <DOT> org>
AuthorDate: Fri Dec 3 12:21:46 2021 +0000
Commit: Maciej Barć <xgqt <AT> gentoo <DOT> org>
CommitDate: Fri Dec 3 12:55:51 2021 +0000
URL: https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=a661efa5
dev-lang/polyml: add to the Gentoo ML Project
Package-Manager: Portage-3.0.28, Repoman-3.0.3
Signed-off-by: Maciej Barć <xgqt <AT> gentoo.org>
dev-lang/polyml/metadata.xml | 5 ++++-
1 file changed, 4 insertions(+), 1 deletion(-)
diff --git a/dev-lang/polyml/metadata.xml b/dev-lang/polyml/metadata.xml
index dcfdf4de127b..4c5a0d1df6a4 100644
--- a/dev-lang/polyml/metadata.xml
+++ b/dev-lang/polyml/metadata.xml
@@ -1,7 +1,10 @@
<?xml version="1.0" encoding="UTF-8"?>
<!DOCTYPE pkgmetadata SYSTEM "https://www.gentoo.org/dtd/metadata.dtd">
<pkgmetadata>
- <!-- maintainer-needed -->
+ <maintainer type="project">
+ <email>ml@gentoo.org</email>
+ <name>ML</name>
+ </maintainer>
<use>
<flag name="portable">Build the portable interpreter version of Poly/ML instead of native</flag>
</use>
^ permalink raw reply related [flat|nested] 15+ messages in thread
* [gentoo-commits] repo/gentoo:master commit in: dev-lang/polyml/
@ 2021-12-03 12:55 Maciej Barć
0 siblings, 0 replies; 15+ messages in thread
From: Maciej Barć @ 2021-12-03 12:55 UTC (permalink / raw
To: gentoo-commits
commit: 56540ed6e56e81b97c55e31a0c674e85eccda012
Author: Maciej Barć <xgqt <AT> gentoo <DOT> org>
AuthorDate: Fri Dec 3 12:38:52 2021 +0000
Commit: Maciej Barć <xgqt <AT> gentoo <DOT> org>
CommitDate: Fri Dec 3 12:55:51 2021 +0000
URL: https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=56540ed6
dev-lang/polyml: bump to 5.9
Package-Manager: Portage-3.0.28, Repoman-3.0.3
Signed-off-by: Maciej Barć <xgqt <AT> gentoo.org>
dev-lang/polyml/Manifest | 1 +
dev-lang/polyml/polyml-5.9.ebuild | 47 +++++++++++++++++++++++++++++++++++++++
2 files changed, 48 insertions(+)
diff --git a/dev-lang/polyml/Manifest b/dev-lang/polyml/Manifest
index ef526f69526c..1e2942cc24af 100644
--- a/dev-lang/polyml/Manifest
+++ b/dev-lang/polyml/Manifest
@@ -1,2 +1,3 @@
DIST polyml-5.8.2.tar.gz 8819392 BLAKE2B 28abec92f8372779ca2b431a069f43a38f0560056edc37b615d5ddc48a9d5b17f2d56c35de3e8f38a1449873d2a7cfc419f6305c790ab77590a8b785f7cfc092 SHA512 c1bac59b837762b500496eb8bf0294db76e3707b77984e5a31860b96a2fb2f406db610da5241c6ec2c00f623d76c16957e811cc808f60a3d220c15fa70440282
DIST polyml-5.8.tar.gz 9817105 BLAKE2B 93992c8baa78017bfda6c2151d1f48805829b77c0b7ed9bec87c951fc4a4236459ed59aab1eca88ed4a1d7aa10eb9734f93324583e012b18bb7d8cce84b5a35b SHA512 50baed79b50b14bd87acc637de93fd6d0f05e61fe0f03682a12a1d2c5f382313488d48f84b49ad915b01acc5a3a5769fb05fcaa7b24499c56402ddd3ba393930
+DIST polyml-5.9.tar.gz 3764115 BLAKE2B ae0ca0dcac2c1b5b54e4e4c4c7362a9ba99846ff7a1358a2332a8b887eb9c21e83851c9ecde44df3bebeef5cdfe3d4b73c09776a08cfc2db6ec70024ffedc50d SHA512 e996cbe820216e854a50ba214f2a2a0291ee3279eb35be4126b6558bc1582732a236156fb8d0f548b31fca4a496db62ece83d902b6f5e72de64507fdef602e45
diff --git a/dev-lang/polyml/polyml-5.9.ebuild b/dev-lang/polyml/polyml-5.9.ebuild
new file mode 100644
index 000000000000..274072233610
--- /dev/null
+++ b/dev-lang/polyml/polyml-5.9.ebuild
@@ -0,0 +1,47 @@
+# Copyright 1999-2021 Gentoo Authors
+# Distributed under the terms of the GNU General Public License v2
+
+EAPI=8
+
+inherit autotools
+
+DESCRIPTION="Poly/ML is a full implementation of Standard ML"
+HOMEPAGE="https://www.polyml.org"
+SRC_URI="https://github.com/polyml/polyml/archive/v${PV}.tar.gz -> ${P}.tar.gz"
+
+LICENSE="LGPL-2.1"
+SLOT="0/${PV}"
+KEYWORDS="~amd64 ~x86"
+IUSE="X +gmp portable"
+
+RDEPEND="
+ dev-libs/libffi:=
+ X? ( x11-libs/motif:0 )
+ gmp? ( >=dev-libs/gmp-5 )
+"
+DEPEND="${RDEPEND}"
+
+PATCHES=(
+ "${FILESDIR}"/${PN}-5.8.2-configure.patch
+)
+
+src_prepare() {
+ default
+ eautoreconf
+}
+
+src_configure() {
+ local myconf=(
+ --disable-static
+ --enable-shared
+ --with-pic=pic-only
+ $(use_enable !portable native-codegeneration)
+ $(use_with X x)
+ $(use_with gmp)
+ )
+ econf "${myconf[@]}"
+}
+
+src_test() {
+ emake tests
+}
^ permalink raw reply related [flat|nested] 15+ messages in thread
* [gentoo-commits] repo/gentoo:master commit in: dev-lang/polyml/
@ 2021-12-03 21:53 Maciej Barć
0 siblings, 0 replies; 15+ messages in thread
From: Maciej Barć @ 2021-12-03 21:53 UTC (permalink / raw
To: gentoo-commits
commit: 6b37da4864f81716c5cb6d48810cf56245c7c70d
Author: Maciej Barć <xgqt <AT> gentoo <DOT> org>
AuthorDate: Fri Dec 3 20:19:01 2021 +0000
Commit: Maciej Barć <xgqt <AT> gentoo <DOT> org>
CommitDate: Fri Dec 3 21:53:19 2021 +0000
URL: https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=6b37da48
dev-lang/polyml: dev-libs/gmp slot; no need for --disable-static
Package-Manager: Portage-3.0.28, Repoman-3.0.3
Signed-off-by: Maciej Barć <xgqt <AT> gentoo.org>
dev-lang/polyml/{polyml-5.9.ebuild => polyml-5.9-r1.ebuild} | 3 +--
1 file changed, 1 insertion(+), 2 deletions(-)
diff --git a/dev-lang/polyml/polyml-5.9.ebuild b/dev-lang/polyml/polyml-5.9-r1.ebuild
similarity index 94%
rename from dev-lang/polyml/polyml-5.9.ebuild
rename to dev-lang/polyml/polyml-5.9-r1.ebuild
index 274072233610..36f9d9054e80 100644
--- a/dev-lang/polyml/polyml-5.9.ebuild
+++ b/dev-lang/polyml/polyml-5.9-r1.ebuild
@@ -17,7 +17,7 @@ IUSE="X +gmp portable"
RDEPEND="
dev-libs/libffi:=
X? ( x11-libs/motif:0 )
- gmp? ( >=dev-libs/gmp-5 )
+ gmp? ( >=dev-libs/gmp-5:= )
"
DEPEND="${RDEPEND}"
@@ -32,7 +32,6 @@ src_prepare() {
src_configure() {
local myconf=(
- --disable-static
--enable-shared
--with-pic=pic-only
$(use_enable !portable native-codegeneration)
^ permalink raw reply related [flat|nested] 15+ messages in thread
* [gentoo-commits] repo/gentoo:master commit in: dev-lang/polyml/
@ 2022-07-02 20:35 Alfredo Tupone
0 siblings, 0 replies; 15+ messages in thread
From: Alfredo Tupone @ 2022-07-02 20:35 UTC (permalink / raw
To: gentoo-commits
commit: 773be18b05ab0ad1cc51542aef3d48732631859d
Author: Alfredo Tupone <tupone <AT> gentoo <DOT> org>
AuthorDate: Sat Jul 2 20:34:56 2022 +0000
Commit: Alfredo Tupone <tupone <AT> gentoo <DOT> org>
CommitDate: Sat Jul 2 20:35:16 2022 +0000
URL: https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=773be18b
dev-lang/polyml: clean la files
Closes: https://bugs.gentoo.org/842864
Package-Manager: Portage-3.0.30, Repoman-3.0.3
Signed-off-by: Alfredo Tupone <tupone <AT> gentoo.org>
dev-lang/polyml/polyml-5.9-r1.ebuild | 7 ++++++-
1 file changed, 6 insertions(+), 1 deletion(-)
diff --git a/dev-lang/polyml/polyml-5.9-r1.ebuild b/dev-lang/polyml/polyml-5.9-r1.ebuild
index 36f9d9054e80..fef26cddee79 100644
--- a/dev-lang/polyml/polyml-5.9-r1.ebuild
+++ b/dev-lang/polyml/polyml-5.9-r1.ebuild
@@ -1,4 +1,4 @@
-# Copyright 1999-2021 Gentoo Authors
+# Copyright 1999-2022 Gentoo Authors
# Distributed under the terms of the GNU General Public License v2
EAPI=8
@@ -44,3 +44,8 @@ src_configure() {
src_test() {
emake tests
}
+
+src_install() {
+ default
+ rm "${D}"/usr/lib*/libpolyml.la || die
+}
^ permalink raw reply related [flat|nested] 15+ messages in thread
* [gentoo-commits] repo/gentoo:master commit in: dev-lang/polyml/
@ 2023-09-07 21:03 Maciej Barć
0 siblings, 0 replies; 15+ messages in thread
From: Maciej Barć @ 2023-09-07 21:03 UTC (permalink / raw
To: gentoo-commits
commit: c220ded1d9b0dc40fd3e9544d08acb77f2770039
Author: Maciej Barć <xgqt <AT> gentoo <DOT> org>
AuthorDate: Thu Sep 7 20:44:32 2023 +0000
Commit: Maciej Barć <xgqt <AT> gentoo <DOT> org>
CommitDate: Thu Sep 7 21:03:39 2023 +0000
URL: https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=c220ded1
dev-lang/polyml: remove created .la
Closes: https://bugs.gentoo.org/913752
Signed-off-by: Maciej Barć <xgqt <AT> gentoo.org>
dev-lang/polyml/{polyml-5.9-r1.ebuild => polyml-5.9-r2.ebuild} | 9 ++++++++-
1 file changed, 8 insertions(+), 1 deletion(-)
diff --git a/dev-lang/polyml/polyml-5.9-r1.ebuild b/dev-lang/polyml/polyml-5.9-r2.ebuild
similarity index 78%
rename from dev-lang/polyml/polyml-5.9-r1.ebuild
rename to dev-lang/polyml/polyml-5.9-r2.ebuild
index 76dcf8e4fdec..2c5e1ec69299 100644
--- a/dev-lang/polyml/polyml-5.9-r1.ebuild
+++ b/dev-lang/polyml/polyml-5.9-r2.ebuild
@@ -48,5 +48,12 @@ src_test() {
src_install() {
default
- rm "${D}"/usr/lib*/libpolyml.la || die
+
+ if [[ -f "${ED}"/usr/$(get_libdir)/libpolymain.la ]] ; then
+ rm "${ED}"/usr/$(get_libdir)/libpolymain.la || die
+ fi
+
+ if [[ -f "${ED}"/usr/$(get_libdir)/libpolyml.la ]] ; then
+ rm "${ED}"/usr/$(get_libdir)/libpolyml.la || die
+ fi
}
^ permalink raw reply related [flat|nested] 15+ messages in thread
* [gentoo-commits] repo/gentoo:master commit in: dev-lang/polyml/
@ 2023-09-18 15:00 Maciej Barć
0 siblings, 0 replies; 15+ messages in thread
From: Maciej Barć @ 2023-09-18 15:00 UTC (permalink / raw
To: gentoo-commits
commit: 6c83b56a60b059a91d5aad3107734cfe17b839ee
Author: Maciej Barć <xgqt <AT> gentoo <DOT> org>
AuthorDate: Mon Sep 18 13:59:15 2023 +0000
Commit: Maciej Barć <xgqt <AT> gentoo <DOT> org>
CommitDate: Mon Sep 18 15:00:28 2023 +0000
URL: https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=6c83b56a
dev-lang/polyml: bump to 5.9.1
Signed-off-by: Maciej Barć <xgqt <AT> gentoo.org>
dev-lang/polyml/Manifest | 1 +
dev-lang/polyml/polyml-5.9.1.ebuild | 69 +++++++++++++++++++++++++++++++++++++
2 files changed, 70 insertions(+)
diff --git a/dev-lang/polyml/Manifest b/dev-lang/polyml/Manifest
index caf41184c810..be19627eb840 100644
--- a/dev-lang/polyml/Manifest
+++ b/dev-lang/polyml/Manifest
@@ -1 +1,2 @@
+DIST polyml-5.9.1.tar.gz 3887664 BLAKE2B ae10fc9c4097879fe05ab931c541cdab8a61755210e2f6b084e31a08490a762234ea32d18d9d60e3ec52407861106b1b85d0ca8a92d2bc3e97b1d14fbd57bf8e SHA512 e471abef01b7f2bfac6d847904c0fcef6ae5a1356b1246a2e8982d24fd590b49feb03752642efe09d34344b4faf89bc3edd4418e9993e72ea22e5482e6d37271
DIST polyml-5.9.tar.gz 3764115 BLAKE2B ae0ca0dcac2c1b5b54e4e4c4c7362a9ba99846ff7a1358a2332a8b887eb9c21e83851c9ecde44df3bebeef5cdfe3d4b73c09776a08cfc2db6ec70024ffedc50d SHA512 e996cbe820216e854a50ba214f2a2a0291ee3279eb35be4126b6558bc1582732a236156fb8d0f548b31fca4a496db62ece83d902b6f5e72de64507fdef602e45
diff --git a/dev-lang/polyml/polyml-5.9.1.ebuild b/dev-lang/polyml/polyml-5.9.1.ebuild
new file mode 100644
index 000000000000..2c8ed0b90e8a
--- /dev/null
+++ b/dev-lang/polyml/polyml-5.9.1.ebuild
@@ -0,0 +1,69 @@
+# Copyright 1999-2023 Gentoo Authors
+# Distributed under the terms of the GNU General Public License v2
+
+EAPI=8
+
+inherit autotools
+
+DESCRIPTION="Poly/ML is a full implementation of Standard ML"
+HOMEPAGE="https://www.polyml.org/
+ https://github.com/polyml/polyml/"
+
+if [[ "${PV}" == *9999* ]] ; then
+ inherit git-r3
+
+ EGIT_REPO_URI="https://github.com/${PN}/${PN}.git"
+else
+ SRC_URI="https://github.com/${PN}/${PN}/archive/v${PV}.tar.gz
+ -> ${P}.tar.gz"
+
+ KEYWORDS="~amd64 ~x86"
+fi
+
+LICENSE="LGPL-2.1"
+SLOT="0/${PV}"
+IUSE="X +gmp portable"
+
+RDEPEND="
+ dev-libs/libffi:=
+ X? ( x11-libs/motif:0 )
+ gmp? ( >=dev-libs/gmp-5:= )
+"
+DEPEND="${RDEPEND}"
+
+PATCHES=(
+ "${FILESDIR}"/${PN}-5.8.2-configure.patch
+ "${FILESDIR}"/${PN}-5.9-c++11.patch
+)
+
+src_prepare() {
+ default
+ eautoreconf
+}
+
+src_configure() {
+ local myconf=(
+ --enable-shared
+ --with-pic=pic-only
+ $(use_enable !portable native-codegeneration)
+ $(use_with X x)
+ $(use_with gmp)
+ )
+ econf "${myconf[@]}"
+}
+
+src_test() {
+ emake tests
+}
+
+src_install() {
+ default
+
+ if [[ -f "${ED}"/usr/$(get_libdir)/libpolymain.la ]] ; then
+ rm "${ED}"/usr/$(get_libdir)/libpolymain.la || die
+ fi
+
+ if [[ -f "${ED}"/usr/$(get_libdir)/libpolyml.la ]] ; then
+ rm "${ED}"/usr/$(get_libdir)/libpolyml.la || die
+ fi
+}
^ permalink raw reply related [flat|nested] 15+ messages in thread
end of thread, other threads:[~2023-09-18 15:00 UTC | newest]
Thread overview: 15+ messages (download: mbox.gz follow: Atom feed
-- links below jump to the message on this page --
2020-09-24 19:53 [gentoo-commits] repo/gentoo:master commit in: dev-lang/polyml/ Aaron Bauman
-- strict thread matches above, loose matches on Subject: below --
2023-09-18 15:00 Maciej Barć
2023-09-07 21:03 Maciej Barć
2022-07-02 20:35 Alfredo Tupone
2021-12-03 21:53 Maciej Barć
2021-12-03 12:55 Maciej Barć
2021-12-03 12:55 Maciej Barć
2021-08-05 2:09 Sam James
2021-03-16 19:23 Sam James
2020-11-16 22:53 Sergei Trofimovich
2019-10-21 7:06 Alfredo Tupone
2019-04-06 19:12 Alfredo Tupone
2019-04-05 16:44 Alfredo Tupone
2018-06-07 19:22 Aaron Bauman
2016-12-28 12:14 Mark Wright
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox