summaryrefslogtreecommitdiff
path: root/dev-ml
diff options
context:
space:
mode:
Diffstat (limited to 'dev-ml')
-rw-r--r--dev-ml/incremental/ChangeLog10
-rw-r--r--dev-ml/incremental/incremental-112.35.00.ebuild28
-rw-r--r--dev-ml/incremental/metadata.xml5
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>