diff options
Diffstat (limited to 'dev-lang/polyml/polyml-5.3.ebuild')
-rw-r--r-- | dev-lang/polyml/polyml-5.3.ebuild | 29 |
1 files changed, 29 insertions, 0 deletions
diff --git a/dev-lang/polyml/polyml-5.3.ebuild b/dev-lang/polyml/polyml-5.3.ebuild new file mode 100644 index 0000000..3d646cd --- /dev/null +++ b/dev-lang/polyml/polyml-5.3.ebuild @@ -0,0 +1,29 @@ +# Copyright 1999-2009 Gentoo Foundation +# Distributed under the terms of the GNU General Public License v2 +# $Header: /var/cvsroot/gentoo-x86/dev-lang/polyml/polyml-5.2.1.ebuild,v 1.3 2009/01/11 19:16:52 maekke Exp $ + +MY_P=${PN}.${PV} + +DESCRIPTION="Poly/ML is a full implementation of Standard ML" +HOMEPAGE="http://www.polyml.org" +SRC_URI="mirror://sourceforge/${PN}/${MY_P}.tar.gz" + +LICENSE="LGPL-2.1" +SLOT="0" +KEYWORDS="~amd64 ~x86" +IUSE="X" + +RDEPEND="X? ( x11-libs/openmotif )" +DEPEND="${RDEPEND}" + +S=${WORKDIR}/${MY_P} + +src_compile() { + econf $(use_with X x) + + emake || die +} + +src_install() { + emake DESTDIR="${D}" install || die +} |