diff options
Diffstat (limited to 'dev-lang/polyml/polyml-5.9.ebuild')
-rw-r--r-- | dev-lang/polyml/polyml-5.9.ebuild | 47 |
1 files changed, 47 insertions, 0 deletions
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 +} |