diff options
| author | René 'Necoro' Neumann <necoro@necoro.net> | 2010-03-02 02:00:36 +0100 |
|---|---|---|
| committer | René 'Necoro' Neumann <necoro@necoro.net> | 2010-03-02 02:00:36 +0100 |
| commit | b9a237c62c9f786eb5264b37f38fdde30be21fba (patch) | |
| tree | 935f27d75298842caab6702a28d91960c20e9178 | |
| parent | 83f584caca7358fb182924ba91267bf17cb2bce5 (diff) | |
| download | overlay-b9a237c62c9f786eb5264b37f38fdde30be21fba.tar.gz overlay-b9a237c62c9f786eb5264b37f38fdde30be21fba.tar.bz2 overlay-b9a237c62c9f786eb5264b37f38fdde30be21fba.zip | |
Added newer PolyML version for Isabelle
| -rw-r--r-- | dev-lang/polyml/Manifest | 2 | ||||
| -rw-r--r-- | dev-lang/polyml/polyml-5.3.ebuild | 29 |
2 files changed, 31 insertions, 0 deletions
diff --git a/dev-lang/polyml/Manifest b/dev-lang/polyml/Manifest new file mode 100644 index 0000000..78cb3b8 --- /dev/null +++ b/dev-lang/polyml/Manifest @@ -0,0 +1,2 @@ +DIST polyml.5.3.tar.gz 5289077 RMD160 d9a806945437c147cc41407bd596b2c435ecc21e SHA1 a037cd8cf4ce4a43b685b0e0d80f3f1e20d7c9fa SHA256 154e836f4e65b5c72f8190d3c02e5ed237921cef716cb49add1e0e1e35fb2af4 +EBUILD polyml-5.3.ebuild 636 RMD160 9a876f19f152223c3318440dc26c3ad30e785551 SHA1 ea4839f80b4bf052a4513b17138e62bbf5a3c846 SHA256 89a6e0d8d40037bbc9f72c07316262766778ad2b516a0fa1aeb53364ecfda25b 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 +} |