summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rw-r--r--dev-ml/typerep_extended/Manifest1
-rw-r--r--dev-ml/typerep_extended/typerep_extended-113.24.00.ebuild50
2 files changed, 51 insertions, 0 deletions
diff --git a/dev-ml/typerep_extended/Manifest b/dev-ml/typerep_extended/Manifest
index 5b3cc607c6b2..dce6504b7f8b 100644
--- a/dev-ml/typerep_extended/Manifest
+++ b/dev-ml/typerep_extended/Manifest
@@ -1,2 +1,3 @@
DIST typerep_extended-112.17.00.tar.gz 71755 SHA256 f511d7f697d516b63584b910bf30c06367769be2a1190446ea58a4be4866f0e3 SHA512 ab1f31b95324aad47fabc19f752640d1f4a606906c47f8c98c2820233109a5a59c7094ca46c06453b4afe0befb8da1de04ea03d0b44ff0c3062d94c47c84eb40 WHIRLPOOL a57bd43d35ee7899dba27eefbe2a1ef98ebba930abf01c33fe4b0c129258ce13a7db8f4b0febdbb25d9cef3628b85e35fe2c2ac0c8c560c748f3ed37e5348f76
DIST typerep_extended-113.00.00.tar.gz 71746 SHA256 fc8e446a7ac86cd5f3db6956cb9326e48d4081d5f6c7415127e1e478c7e834cf SHA512 948e9e520a2a1802aa0ee7dbb4ced3a2d6c9d55f3c788d942ac40f5017e16ecbb078542faca8e34bac1a87e53e2b1104aab20753b9e837e1429c31d4635cd0b9 WHIRLPOOL 2355e1234b6fdf4ec60f59c7f69d5c053007b4a3cea9584ec079c1fe2c9e0d92d0a6d199e6c37658516ddbc8f8aae0448fc8b16992927b8998de30f244c1b1f4
+DIST typerep_extended-113.24.00.tar.gz 117421 SHA256 7c0246e7af1c147b1f00d5a612091bb62e060dc8903f70b8957d5eb2f77b01b8 SHA512 97747967fd3747603ed9fe58b3ddefe0e164dae9237c31d1f9ef719de1b4244afed73f7c29924d24e38d1d0a68fc014f0a87f59910831b6c9fa251dbbd709501 WHIRLPOOL 7734bca0fc1e4591f6e06abd66c05aa5d5f7fd59bd71454f9a2a6ef67888cf65d612aa2297ae25caf7a6e8ad8296f3ac56f5ac827d932cf912bac4f6762dae20
diff --git a/dev-ml/typerep_extended/typerep_extended-113.24.00.ebuild b/dev-ml/typerep_extended/typerep_extended-113.24.00.ebuild
new file mode 100644
index 000000000000..c2e7488f0cbb
--- /dev/null
+++ b/dev-ml/typerep_extended/typerep_extended-113.24.00.ebuild
@@ -0,0 +1,50 @@
+# Copyright 1999-2015 Gentoo Foundation
+# Distributed under the terms of the GNU General Public License v2
+# $Id$
+
+EAPI="5"
+
+inherit oasis
+
+MY_P=${PN/-/_}-${PV}
+DESCRIPTION="Runtime types for OCaml (Extended)"
+HOMEPAGE="http://www.janestreet.com/ocaml"
+SRC_URI="http://ocaml.janestreet.com/ocaml-core/${PV%.*}/files/${MY_P}.tar.gz"
+
+LICENSE="LGPL-2.1-with-linking-exception"
+SLOT="0/${PV}"
+KEYWORDS="~amd64"
+IUSE=""
+
+DEPEND="
+ >=dev-ml/typerep-112.17.00:=
+ dev-ml/sexplib:=
+ dev-ml/bin-prot:=
+ dev-ml/core_kernel:=
+ dev-ml/ppx_bin_prot:=
+ dev-ml/ppx_driver:=
+ dev-ml/ppx_sexp_conv:=
+ dev-ml/ppx_type_conv:=
+ dev-ml/ppx_typerep_conv:="
+RDEPEND="${DEPEND}"
+DEPEND="${DEPEND} dev-ml/opam"
+
+S="${WORKDIR}/${MY_P}"
+
+src_configure() {
+ emake setup.exe
+ OASIS_SETUP_COMMAND="./setup.exe" oasis_src_configure
+}
+
+src_compile() {
+ emake
+}
+
+src_install() {
+ opam-installer -i \
+ --prefix="${ED}/usr" \
+ --libdir="${D}/$(ocamlc -where)" \
+ --docdir="${ED}/usr/share/doc/${PF}" \
+ ${PN}.install || die
+ dodoc CHANGES.md
+}