summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
Diffstat (limited to 'dev-ml/faillib/faillib-111.17.00.ebuild')
-rw-r--r--dev-ml/faillib/faillib-111.17.00.ebuild25
1 files changed, 25 insertions, 0 deletions
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}"