# Copyright 1999-2023 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 "${FILESDIR}"/${P}-c++11.patch ) src_prepare() { default eautoreconf } src_configure() { local myconf=( --enable-shared --with-pic=pic-only $(use_enable !portable native-codegeneration) $(use_with X x) $(use_with gmp) ) econf "${myconf[@]}" } src_test() { emake tests } src_install() { default if [[ -f "${ED}"/usr/$(get_libdir)/libpolymain.la ]] ; then rm "${ED}"/usr/$(get_libdir)/libpolymain.la || die fi if [[ -f "${ED}"/usr/$(get_libdir)/libpolyml.la ]] ; then rm "${ED}"/usr/$(get_libdir)/libpolyml.la || die fi }