diff options
author | Marijn Schouten <hkbst@gentoo.org> | 2008-12-30 01:14:58 +0000 |
---|---|---|
committer | Marijn Schouten <hkbst@gentoo.org> | 2008-12-30 01:14:58 +0000 |
commit | 573ab5d995fccb6208ec60bac1065ef3180ae407 (patch) | |
tree | bb0e809a832eb097b93edd9914314a7bd12d2e8a /dev-lang/polyml/polyml-5.2.1.ebuild | |
parent | Clarifying package description, fixes bug 252191. (diff) | |
download | gentoo-2-573ab5d995fccb6208ec60bac1065ef3180ae407.tar.gz gentoo-2-573ab5d995fccb6208ec60bac1065ef3180ae407.tar.bz2 gentoo-2-573ab5d995fccb6208ec60bac1065ef3180ae407.zip |
Initial entry (bug 35548) thanks to Paulo Jorge de Oliveira Cantante de Matos <pocmatos@gmail.com>, Martin von Gagern <Martin.vGagern@gmx.net> and Unknown <chkno@chkno.net>
(Portage version: 2.1.6.2/cvs/Linux 2.6.26-gentoo-r1 x86_64)
Diffstat (limited to 'dev-lang/polyml/polyml-5.2.1.ebuild')
-rw-r--r-- | dev-lang/polyml/polyml-5.2.1.ebuild | 29 |
1 files changed, 29 insertions, 0 deletions
diff --git a/dev-lang/polyml/polyml-5.2.1.ebuild b/dev-lang/polyml/polyml-5.2.1.ebuild new file mode 100644 index 000000000000..c75bd7ff5a83 --- /dev/null +++ b/dev-lang/polyml/polyml-5.2.1.ebuild @@ -0,0 +1,29 @@ +# Copyright 1999-2008 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.1 2008/12/30 01:14:58 hkbst 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" +IUSE="X" + +DEPEND="" +RDEPEND="" + +S=${WORKDIR}/${MY_P} + +src_compile() { + econf $(use_with X) + + emake || die +} + +src_install() { + emake DESTDIR="${D}" install || die +} |