diff options
| author |   Sam James <sam@gentoo.org> | 2021-03-16 18:36:53 +0000 |
|---|---|---|
| committer | Sam James <sam@gentoo.org> | 2021-03-16 19:22:29 +0000 |
| commit | 0e187461b581a476c56b3a4e5e844da3f72ec668 (patch) | |
| tree | 9ef762f17862ae0e9171e5417e57d732794be720 /dev-lang/polyml | |
| parent | dev-lang/jimtcl: drop 0.76 (diff) | |
| download | gentoo-0e187461b581a476c56b3a4e5e844da3f72ec668.tar.gz gentoo-0e187461b581a476c56b3a4e5e844da3f72ec668.tar.bz2 gentoo-0e187461b581a476c56b3a4e5e844da3f72ec668.zip | |
dev-lang/polyml: drop 5.6
Signed-off-by: Sam James <sam@gentoo.org>
Diffstat (limited to 'dev-lang/polyml')
| -rw-r--r-- | dev-lang/polyml/Manifest | 1 | ||||
| -rw-r--r-- | dev-lang/polyml/polyml-5.6.ebuild | 59 |
2 files changed, 0 insertions, 60 deletions
diff --git a/dev-lang/polyml/Manifest b/dev-lang/polyml/Manifest index 58d163f18bef..374920d949cf 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 8d2700996b92..000000000000 --- 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 -} |