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 | |
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')
-rw-r--r-- | dev-lang/polyml/ChangeLog | 12 | ||||
-rw-r--r-- | dev-lang/polyml/metadata.xml | 5 | ||||
-rw-r--r-- | dev-lang/polyml/polyml-5.2.1.ebuild | 29 |
3 files changed, 46 insertions, 0 deletions
diff --git a/dev-lang/polyml/ChangeLog b/dev-lang/polyml/ChangeLog new file mode 100644 index 000000000000..cb084bfe762a --- /dev/null +++ b/dev-lang/polyml/ChangeLog @@ -0,0 +1,12 @@ +# ChangeLog for dev-lang/polyml +# Copyright 1999-2008 Gentoo Foundation; Distributed under the GPL v2 +# $Header: /var/cvsroot/gentoo-x86/dev-lang/polyml/ChangeLog,v 1.1 2008/12/30 01:14:58 hkbst Exp $ + +*polyml-5.2.1 (30 Dec 2008) + + 30 Dec 2008; Marijn Schouten <hkBst@gentoo.org> +metadata.xml, + +polyml-5.2.1.ebuild: + 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> + diff --git a/dev-lang/polyml/metadata.xml b/dev-lang/polyml/metadata.xml new file mode 100644 index 000000000000..2193d772e351 --- /dev/null +++ b/dev-lang/polyml/metadata.xml @@ -0,0 +1,5 @@ +<?xml version="1.0" encoding="UTF-8"?> +<!DOCTYPE pkgmetadata SYSTEM "http://www.gentoo.org/dtd/metadata.dtd"> +<pkgmetadata> +<herd>ml</herd> +</pkgmetadata> 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 +} |