diff options
Diffstat (limited to 'dev-ml')
-rw-r--r-- | dev-ml/incremental/ChangeLog | 10 | ||||
-rw-r--r-- | dev-ml/incremental/incremental-112.35.00.ebuild | 28 | ||||
-rw-r--r-- | dev-ml/incremental/metadata.xml | 5 |
3 files changed, 43 insertions, 0 deletions
diff --git a/dev-ml/incremental/ChangeLog b/dev-ml/incremental/ChangeLog new file mode 100644 index 000000000000..998415328c81 --- /dev/null +++ b/dev-ml/incremental/ChangeLog @@ -0,0 +1,10 @@ +# ChangeLog for dev-ml/incremental +# Copyright 1999-2015 Gentoo Foundation; Distributed under the GPL v2 +# $Header: /var/cvsroot/gentoo-x86/dev-ml/incremental/ChangeLog,v 1.1 2015/07/13 18:34:05 aballier Exp $ + +*incremental-112.35.00 (13 Jul 2015) + + 13 Jul 2015; Alexis Ballier <aballier@gentoo.org> + +incremental-112.35.00.ebuild, +metadata.xml: + initial import, ebuild by me + diff --git a/dev-ml/incremental/incremental-112.35.00.ebuild b/dev-ml/incremental/incremental-112.35.00.ebuild new file mode 100644 index 000000000000..ba711a7da2a2 --- /dev/null +++ b/dev-ml/incremental/incremental-112.35.00.ebuild @@ -0,0 +1,28 @@ +# Copyright 1999-2015 Gentoo Foundation +# Distributed under the terms of the GNU General Public License v2 +# $Header: /var/cvsroot/gentoo-x86/dev-ml/incremental/incremental-112.35.00.ebuild,v 1.1 2015/07/13 18:34:05 aballier Exp $ + +EAPI="5" + +inherit oasis + +MY_P=${PN/-/_}-${PV} +DESCRIPTION="Library for incremental computations" +HOMEPAGE="http://www.janestreet.com/ocaml" +SRC_URI="http://ocaml.janestreet.com/ocaml-core/${PV%.*}/files/${MY_P}.tar.gz" + +LICENSE="Apache-2.0" +SLOT="0/${PV}" +KEYWORDS="~amd64" +IUSE="" + +DEPEND=" + dev-ml/core:= + dev-ml/fieldslib:= + dev-ml/pa_ounit:= + dev-ml/pa_test:= + dev-ml/sexplib:= +" +RDEPEND="${DEPEND}" + +S="${WORKDIR}/${MY_P}" diff --git a/dev-ml/incremental/metadata.xml b/dev-ml/incremental/metadata.xml new file mode 100644 index 000000000000..2193d772e351 --- /dev/null +++ b/dev-ml/incremental/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> |