summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
Diffstat (limited to 'dev-ml/faillib')
-rw-r--r--dev-ml/faillib/Manifest2
-rw-r--r--dev-ml/faillib/faillib-109.60.00.ebuild24
-rw-r--r--dev-ml/faillib/faillib-111.17.00.ebuild25
-rw-r--r--dev-ml/faillib/metadata.xml5
4 files changed, 56 insertions, 0 deletions
diff --git a/dev-ml/faillib/Manifest b/dev-ml/faillib/Manifest
new file mode 100644
index 000000000000..9a0340946afa
--- /dev/null
+++ b/dev-ml/faillib/Manifest
@@ -0,0 +1,2 @@
+DIST faillib-109.60.00.tar.gz 47376 SHA256 f90e56a2fd47aa6e644c9e87da101a2f644e65c012889c6d566211b4e7d43370 SHA512 950ef8550d97576870ced3afbf28efcaa043f234dc160c40c7d6ddd80d31518cf2fce9cb8f741d71fb39c852415b9975f4b7e7eec8bbdaf5eaba79581d02abc9 WHIRLPOOL 92a5449cb6eb1282d7f6e32ff1168ffde230c4262b46f40b97f2b32b29e71154ca9e5c31a8f1faece2ef93b6df60c5341476466aea7c12f4c9f32c83e17709e6
+DIST faillib-111.17.00.tar.gz 48691 SHA256 3bd1e32555d706d18e4163648cae818fd2136c989e35b5f6fffeb8576757bb89 SHA512 318f0123835f46354d3b798f3480847942b8201b6edc578fcd2b504b3f8cd473a9d5b83f02a7255f4e3031c45ff3b65a43f4ccf1f63c9fe0ecf70bb02036d2e6 WHIRLPOOL 8863f597eac5be72c37926c600ba15eff05c02ed74a31a6235bb24ba22a98a1cfd7f336974395d33fd4b1101be07de26bd939b37bc11fe75174d7d51a69b82cd
diff --git a/dev-ml/faillib/faillib-109.60.00.ebuild b/dev-ml/faillib/faillib-109.60.00.ebuild
new file mode 100644
index 000000000000..e9db312b10a9
--- /dev/null
+++ b/dev-ml/faillib/faillib-109.60.00.ebuild
@@ -0,0 +1,24 @@
+# Copyright 1999-2014 Gentoo Foundation
+# Distributed under the terms of the GNU General Public License v2
+# $Id$
+
+EAPI="5"
+
+inherit oasis
+
+MY_P=${PN/-/_}-${PV}
+DESCRIPTION="Syntax extension for inserting the current location"
+HOMEPAGE="http://www.janestreet.com/ocaml"
+SRC_URI="http://ocaml.janestreet.com/ocaml-core/${PV%.*}.00/individual/${MY_P}.tar.gz"
+
+LICENSE="LGPL-2.1-with-linking-exception"
+SLOT="0/${PV}"
+KEYWORDS="~amd64"
+IUSE=""
+
+DEPEND="
+ dev-ml/herelib:=
+ "
+RDEPEND="${DEPEND}"
+
+S="${WORKDIR}/${MY_P}"
diff --git a/dev-ml/faillib/faillib-111.17.00.ebuild b/dev-ml/faillib/faillib-111.17.00.ebuild
new file mode 100644
index 000000000000..7e642068fc60
--- /dev/null
+++ b/dev-ml/faillib/faillib-111.17.00.ebuild
@@ -0,0 +1,25 @@
+# Copyright 1999-2014 Gentoo Foundation
+# Distributed under the terms of the GNU General Public License v2
+# $Id$
+
+EAPI="5"
+
+inherit oasis
+
+MY_P=${PN/-/_}-${PV}
+DESCRIPTION="Syntax extension for inserting the current location"
+HOMEPAGE="http://www.janestreet.com/ocaml"
+SRC_URI="http://ocaml.janestreet.com/ocaml-core/${PV%.*}.00/individual/${MY_P}.tar.gz"
+
+LICENSE="LGPL-2.1-with-linking-exception"
+SLOT="0/${PV}"
+KEYWORDS="~amd64"
+IUSE=""
+
+DEPEND="
+ dev-ml/herelib:=
+ || ( dev-ml/camlp4:= <dev-lang/ocaml-4.02.0 )
+ "
+RDEPEND="${DEPEND}"
+
+S="${WORKDIR}/${MY_P}"
diff --git a/dev-ml/faillib/metadata.xml b/dev-ml/faillib/metadata.xml
new file mode 100644
index 000000000000..2193d772e351
--- /dev/null
+++ b/dev-ml/faillib/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>