Files
gentoo/metadata/md5-cache/dev-lang/polyml-5.9.1
Repository mirror & CI 2ba24bc8ca 2026-09-04 16:31:32 UTC
2026-09-04 16:31:33 +00:00

16 lines
941 B
Groff

BDEPEND=sys-devel/gnuconfig >=app-portage/elt-patches-20250306 || ( >=dev-build/automake-1.18.1:1.18 ) || ( >=dev-build/autoconf-2.73:2.73 >=dev-build/autoconf-2.72-r1:2.72 ) >=dev-build/libtool-2.4.7-r3
DEFINED_PHASES=configure install prepare test
DEPEND=dev-libs/libffi:= X? ( x11-libs/motif:0 ) gmp? ( >=dev-libs/gmp-5:= )
DESCRIPTION=Poly/ML is a full implementation of Standard ML
EAPI=8
HOMEPAGE=https://www.polyml.org/ https://github.com/polyml/polyml/
INHERIT=autotools
IUSE=X +gmp portable
KEYWORDS=~amd64 ~x86
LICENSE=LGPL-2.1
RDEPEND=dev-libs/libffi:= X? ( x11-libs/motif:0 ) gmp? ( >=dev-libs/gmp-5:= )
SLOT=0/5.9.1
SRC_URI=https://github.com/polyml/polyml/archive/v5.9.1.tar.gz -> polyml-5.9.1.tar.gz
_eclasses_=gnuconfig b4fa4889c6f586d6b069215a86dd9e53 toolchain-funcs 58a918e3a42d0156f010dcfd43725be5 libtool 6a96cd90e5da8c7c615015479f46f1a4 autotools 0698802996fcfe9a604eac3c1f6e7112
_md5_=4b51322d2861eca63833eb1cc1d81ce7