diff options
Diffstat (limited to '')
-rw-r--r-- | dev-lang/polyml/polyml-5.3.ebuild | 29 |
1 files changed, 0 insertions, 29 deletions
diff --git a/dev-lang/polyml/polyml-5.3.ebuild b/dev-lang/polyml/polyml-5.3.ebuild deleted file mode 100644 index 3d646cd..0000000 --- a/dev-lang/polyml/polyml-5.3.ebuild +++ /dev/null @@ -1,29 +0,0 @@ -# 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 -} |