diff options
| author |   Maciej Barć <xgqt@gentoo.org> | 2021-12-03 13:38:52 +0100 |
|---|---|---|
| committer | Maciej Barć <xgqt@gentoo.org> | 2021-12-03 13:55:51 +0100 |
| commit | 56540ed6e56e81b97c55e31a0c674e85eccda012 (patch) | |
| tree | c9327147955c8c29bd33bcf4e8be3b0a0571d5e2 /dev-lang | |
| parent | dev-lang/polyml: add to the Gentoo ML Project (diff) | |
| download | gentoo-56540ed6e56e81b97c55e31a0c674e85eccda012.tar.gz gentoo-56540ed6e56e81b97c55e31a0c674e85eccda012.tar.bz2 gentoo-56540ed6e56e81b97c55e31a0c674e85eccda012.zip | |
dev-lang/polyml: bump to 5.9
Package-Manager: Portage-3.0.28, Repoman-3.0.3
Signed-off-by: Maciej Barć <xgqt@gentoo.org>
Diffstat (limited to 'dev-lang')
| -rw-r--r-- | dev-lang/polyml/Manifest | 1 | ||||
| -rw-r--r-- | dev-lang/polyml/polyml-5.9.ebuild | 47 |
2 files changed, 48 insertions, 0 deletions
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 +} |