summaryrefslogtreecommitdiff
path: root/metadata/md5-cache/dev-lang/polyml-5.5.0
blob: 7665ebc29a41f04dcf504e40c8f83de214803f09 (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
DEFINED_PHASES=compile configure install prepare test unpack
DEPEND=X? ( x11-libs/motif:0 ) gmp? ( >=dev-libs/gmp-5 ) elibc_glibc? ( threads? ( >=sys-libs/glibc-2.13 ) ) virtual/libffi >=app-portage/elt-patches-20170422 !<sys-devel/gettext-0.18.1.1-r3 || ( >=sys-devel/automake-1.16.1:1.16 >=sys-devel/automake-1.15.1:1.15 ) >=sys-devel/autoconf-2.69 >=sys-devel/libtool-2.4
DESCRIPTION=Poly/ML is a full implementation of Standard ML
EAPI=5
HOMEPAGE=https://www.polyml.org
IUSE=X elibc_glibc +gmp portable test +threads
KEYWORDS=~amd64 ~x86
LICENSE=LGPL-2.1
RDEPEND=X? ( x11-libs/motif:0 ) gmp? ( >=dev-libs/gmp-5 ) elibc_glibc? ( threads? ( >=sys-libs/glibc-2.13 ) ) virtual/libffi
SLOT=0/5.5.0
SRC_URI=mirror://sourceforge/polyml/polyml.5.5.tar.gz
_eclasses_=autotools	d0e5375d47f4c809f406eb892e531513	base	983774947da124fb7d542ce25a218bb1	desktop	b1d22ac8bdd4679ab79c71aca235009d	epatch	9a5f039771f143195164a15a4faa41a1	estack	43ddf5aaffa7a8d0482df54d25a66a1f	eutils	b43d08fe0771faf2f5e7be19c2789d33	libtool	0081a71a261724730ec4c248494f044d	ltprune	607e058da37aa6dabfa408b7d61da72e	multilib	97f470f374f2e94ccab04a2fb21d811e	preserve-libs	ef207dc62baddfddfd39a164d9797648	toolchain-funcs	1e35303c63cd707f6c3422b4493d5607	vcs-clean	2a0f74a496fa2b1552c4f3398258b7bf	versionator	26ca8a8bd95d6a74122c08ba98a4ee72
_md5_=7ff3d0ab45e01850fc71f6c7ccd2eeb7