summaryrefslogtreecommitdiff
path: root/dev-lang/polyml
diff options
context:
space:
mode:
authorV3n3RiX <venerix@koprulu.sector>2022-08-29 22:47:16 +0100
committerV3n3RiX <venerix@koprulu.sector>2022-08-29 22:47:16 +0100
commit8993ea73a9714d22178ba6ada8c04be83cd71ec7 (patch)
treeeec3cc3c457b3e760f6ca631fd51e0c004705e88 /dev-lang/polyml
parentae838334efa4ecfd172331e8f5ae4eea8c5dd876 (diff)
gentoo auto-resync : 29:08:2022 - 22:47:16
Diffstat (limited to 'dev-lang/polyml')
-rw-r--r--dev-lang/polyml/Manifest7
-rw-r--r--dev-lang/polyml/files/polyml-5.6-configure.patch11
-rw-r--r--dev-lang/polyml/files/polyml-5.6-ffi3.patch18
-rw-r--r--dev-lang/polyml/files/polyml-5.8.2-glibc234.patch30
-rw-r--r--dev-lang/polyml/polyml-5.8.2.ebuild56
-rw-r--r--dev-lang/polyml/polyml-5.8.ebuild59
6 files changed, 0 insertions, 181 deletions
diff --git a/dev-lang/polyml/Manifest b/dev-lang/polyml/Manifest
index b4e6fe293b58..199484a643af 100644
--- a/dev-lang/polyml/Manifest
+++ b/dev-lang/polyml/Manifest
@@ -1,11 +1,4 @@
-AUX polyml-5.6-configure.patch 390 BLAKE2B 7f20e9de1c00a429ed86ab33cd05bd2aed0a4c431d92f52e7c93c4c44f4f4611637299020d3cbf7c32b9d43f868757f4b7c534f68e5b7120c75ee0b27b5f8316 SHA512 d868d6739e88ccacf7ab5ee495ffaa54fb3ace83c57633fde2d97fb894c9e0c81e896e15192318f9b8bbcb678efb95a827549a0fd30d2ca87473b582fa09f850
-AUX polyml-5.6-ffi3.patch 584 BLAKE2B 6c7e38c077968f439f03739a4d95bad6d5f631b4cf4e1a51a58ae6273c40a1ae5dbd1fe3aa6e338215f9cedec950435e846351275be7bccb80fd313965888b78 SHA512 22bb8e13672ddb0a8f7a3ed9908fb652e238c849b553ab3ceb9b33daebc35d6502dbff3f099ab933f4e2639b5eac2294e21d45bfc96dcb1b9c6be0129c57232d
AUX polyml-5.8.2-configure.patch 512 BLAKE2B dec4df5f79271e680d0bd1533f1dec32b6360cebb0cfeae10987e7ba5f92be961529d85471412d575bd7dddcc1a447304b5bf77d814ac54f4500913e57032f50 SHA512 c4730ee4550c0ff9eb6c8d9efbb8eb3a30d1a96a93be990a7f38f9adbc6944d51f03c449f2f8af3c8cef2c42519ce9f01df8e2b54a8a03b40f9748d09a238437
-AUX polyml-5.8.2-glibc234.patch 1259 BLAKE2B 118aa993d37e15dde23754b217fa3dd5116bec99a2ba0d9bb421dd26ec4a47428fa1d0ea0790c9d5f619f3820c78d2e8be26e100ca05fbe03b2670990972e67e SHA512 e9a86d04eca3632416981def6a7528f1761d7e2f51168a132f8be1f9f36654100a38e4d574eb8d1b9092ce9a0908f91d3794ffae7d891a6783d6f2371f724d43
-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
-EBUILD polyml-5.8.2.ebuild 1129 BLAKE2B c9abfe7fa6abc5d1cadcdbf1799610713195e017a102e0a79122e6c0424e94b42ed9971b14377f6ca260a1d1703d94d9323ce33fd48e4f5f43bbf0667f6a1e60 SHA512 8bcc7bf4c5cbd850f25d0def5bfbaa98dadb3ad2218e6a1fb4c741546d6f3b59faecbd5bbaf5dd5a30baf87d148ce2e634414405c82c72f2cf6843a0af1d6b8d
-EBUILD polyml-5.8.ebuild 1210 BLAKE2B 00f42ae7d8afbd7e986099385c868ff9a6e65d1fc624c928c53df6a6a7eec5e2e106899a2af41c21fd023f4fbdd4bc00b85ac8e0093fe5ef44786122f0b88830 SHA512 4c86e7b1b59139a67456e69118855660e6a3a7acee3d9bcba2fe66ee4fb925b7ed73347f01dcdd3e11784e1b50c7a113580762f601388963dae9c4e3593de495
EBUILD polyml-5.9-r1.ebuild 875 BLAKE2B 17c57ea989c7a38f42ad184b5b59c74a3a391c8852145a2a8ebe473ba7328355745ce7e40083171bf2083fe35c77be5835c3094c93646d1e005f32a7f1d37c81 SHA512 2b1c85bdcb2fe694cfe9240f408a087e7e6b9b24763c09fa3526062eb83a3fc3e74ec3af54e266edaaf9ba8554927c721e76f6cf6dc28ec1cacfb6fd6b40f2db
MISC metadata.xml 476 BLAKE2B 1ae157cea19be5c640cddb49ed167f4bd2f3f76b224f42ad1eec260cf4a10418e90cf0d9cd7deae8710910aa141a7dcea912533dfc3aba51b587a8babde0f1e5 SHA512 93c0da7fa36a0ff2215f22a114b995c0f3cbb8762807090203e25e011236324585dc7af1246a881cdd5d2b41b6d69a00c9965507f8b467481e65679bbf87dd59
diff --git a/dev-lang/polyml/files/polyml-5.6-configure.patch b/dev-lang/polyml/files/polyml-5.6-configure.patch
deleted file mode 100644
index ba3b6bbbd5ac..000000000000
--- a/dev-lang/polyml/files/polyml-5.6-configure.patch
+++ /dev/null
@@ -1,11 +0,0 @@
---- a/configure.ac 2019-04-05 10:27:19.026197625 +0200
-+++ b/configure.ac 2019-04-05 10:28:10.187291374 +0200
-@@ -133,7 +133,7 @@
- # Solaris needs -lsocket, -lnsl and -lrt
- AC_SEARCH_LIBS([gethostbyname], [nsl])
- AC_SEARCH_LIBS([getsockopt], [socket])
--AC_SEARCH_LIBS([sem_wait], [rt])
-+AC_SEARCH_LIBS([sem_wait], [rt] [pthread])
-
- # Check for X and Motif headers and libraries
- AC_PATH_X
diff --git a/dev-lang/polyml/files/polyml-5.6-ffi3.patch b/dev-lang/polyml/files/polyml-5.6-ffi3.patch
deleted file mode 100644
index bf15871d2742..000000000000
--- a/dev-lang/polyml/files/polyml-5.6-ffi3.patch
+++ /dev/null
@@ -1,18 +0,0 @@
---- a/libpolyml/polyffi.cpp 2019-04-05 23:10:23.509729312 +0200
-+++ b/libpolyml/polyffi.cpp 2019-04-05 23:10:38.895485058 +0200
-@@ -89,7 +89,6 @@
- // Unfortunately the ABI entries are enums rather than #defines so we
- // can't test individual entries.
- #ifdef X86_WIN32
-- {"sysv", FFI_SYSV},
- {"stdcall", FFI_STDCALL},
- {"thiscall", FFI_THISCALL},
- {"fastcall", FFI_FASTCALL},
-@@ -97,7 +96,6 @@
- #elif defined(X86_WIN64)
- {"win64", FFI_WIN64},
- #elif defined(X86_ANY)
-- {"sysv", FFI_SYSV},
- {"unix64", FFI_UNIX64},
- #endif
- { "default", FFI_DEFAULT_ABI}
diff --git a/dev-lang/polyml/files/polyml-5.8.2-glibc234.patch b/dev-lang/polyml/files/polyml-5.8.2-glibc234.patch
deleted file mode 100644
index 9636cc61f245..000000000000
--- a/dev-lang/polyml/files/polyml-5.8.2-glibc234.patch
+++ /dev/null
@@ -1,30 +0,0 @@
-From 3e27444bea771e25102430bfa632edf8d106c91c Mon Sep 17 00:00:00 2001
-From: Jerry James <loganjerry@gmail.com>
-Date: Mon, 9 Aug 2021 15:37:39 -0600
-Subject: [PATCH] Adapt to nonconstant PTHREAD_STACK_MIN in glibc 2.34+
-
----
- libpolyml/sighandler.cpp | 10 +++++-----
- 1 file changed, 5 insertions(+), 5 deletions(-)
-
-diff --git a/libpolyml/sighandler.cpp b/libpolyml/sighandler.cpp
-index fd6f6e3e..5d22b000 100644
---- a/libpolyml/sighandler.cpp
-+++ b/libpolyml/sighandler.cpp
-@@ -547,11 +547,11 @@ void SigHandler::Init(void)
- pthread_attr_t attrs;
- pthread_attr_init(&attrs);
- #ifdef PTHREAD_STACK_MIN
--#if (PTHREAD_STACK_MIN < 4096)
-- pthread_attr_setstacksize(&attrs, 4096); // But not too small: FreeBSD makes it 2k
--#else
-- pthread_attr_setstacksize(&attrs, PTHREAD_STACK_MIN); // Only small stack.
--#endif
-+ // In glibc 2.34 and later, PTHREAD_STACK_MIN may expand to a function call
-+ size_t stacksize = PTHREAD_STACK_MIN; // Only small stack.
-+ if (stacksize < 4096U) // But not too small: FreeBSD makes it 2k
-+ stacksize = 4096U;
-+ pthread_attr_setstacksize(&attrs, stacksize);
- #endif
- threadRunning = pthread_create(&detectionThreadId, &attrs, SignalDetectionThread, 0) == 0;
- pthread_attr_destroy(&attrs);
diff --git a/dev-lang/polyml/polyml-5.8.2.ebuild b/dev-lang/polyml/polyml-5.8.2.ebuild
deleted file mode 100644
index 81e526fa0fbd..000000000000
--- a/dev-lang/polyml/polyml-5.8.2.ebuild
+++ /dev/null
@@ -1,56 +0,0 @@
-# Copyright 1999-2022 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 +gmp portable test"
-RESTRICT="!test? ( test )"
-
-RDEPEND="X? ( x11-libs/motif:0 )
- gmp? ( >=dev-libs/gmp-5 )
- dev-libs/libffi:="
-DEPEND="${RDEPEND}"
-
-PATCHES=(
- "${FILESDIR}"/${PN}-5.8.2-configure.patch
- "${FILESDIR}"/${PN}-5.8.2-glibc234.patch
-)
-
-src_prepare() {
- default
- eautoreconf
-}
-
-src_configure() {
- econf \
- --enable-shared \
- --disable-static \
- --with-pic=pic-only \
- $(use_with X x) \
- $(use_with gmp) \
- $(use_enable !portable native-codegeneration)
-}
-
-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.8.ebuild b/dev-lang/polyml/polyml-5.8.ebuild
deleted file mode 100644
index eb2c706f99a2..000000000000
--- a/dev-lang/polyml/polyml-5.8.ebuild
+++ /dev/null
@@ -1,59 +0,0 @@
-# Copyright 1999-2022 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 +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}"/${PN}-5.6-configure.patch
- "${FILESDIR}"/${PN}-5.6-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
-}