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