summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorAlexis Ballier <aballier@gentoo.org>2017-01-30 13:49:05 +0100
committerAlexis Ballier <aballier@gentoo.org>2017-01-30 23:21:58 +0100
commit14e3924a28e28ee0afb1c5f9dec11156e879b044 (patch)
tree3c81ab4cd443c6b208741807dc2f03864afc4781 /dev-ml/typerep_extended
parentdev-ml/ppx_driver: bump to 113.33.04 (diff)
downloadgentoo-14e3924a28e28ee0afb1c5f9dec11156e879b044.tar.gz
gentoo-14e3924a28e28ee0afb1c5f9dec11156e879b044.tar.bz2
gentoo-14e3924a28e28ee0afb1c5f9dec11156e879b044.zip
dev-ml/typerep_extended: Bump to 113.33.03
Package-Manager: Portage-2.3.3, Repoman-2.3.1
Diffstat (limited to 'dev-ml/typerep_extended')
-rw-r--r--dev-ml/typerep_extended/Manifest1
-rw-r--r--dev-ml/typerep_extended/typerep_extended-113.33.03.ebuild50
2 files changed, 51 insertions, 0 deletions
diff --git a/dev-ml/typerep_extended/Manifest b/dev-ml/typerep_extended/Manifest
index 3960cd5c798b..4922ce90bd14 100644
--- a/dev-ml/typerep_extended/Manifest
+++ b/dev-ml/typerep_extended/Manifest
@@ -1 +1,2 @@
DIST typerep_extended-113.33.00.tar.gz 117924 SHA256 b104deabc7a387ba4ccf38b5d702a1bfe70b75a9d04218f159c74a76ef3fe74d SHA512 9f7bfc0a5c085ca8537ce9d55ec37f6aec0f657b5b5b43b15378a51f748c36ec39dfeba8cec129ce2658b667f6e05d75b395462058dc5af41f6de387a19aa91a WHIRLPOOL 4cafb60ec3119bb2d30d436ff131af58188be242bbc401b7f896c4f583bd009276345aa1d12c4d1491c9f560e11deb18617d45d4070d713d5e91ce40e77e301b
+DIST typerep_extended-113.33.03.tar.gz 116149 SHA256 0ab01c109432917bc5a39b7b7b228ffbff3e80e6d707b15c16867a80d9be88c1 SHA512 1cf84ac41c0bec32c20c2a8aced1966f6aa8eec2a51f12d9cf52a10c01e4ce66685af83e5996bd3d01d09fb8300aae7960ac1dfb6590ef97826e87e9f7d76e1a WHIRLPOOL c257235c701449f8366024ee95165b699113a860b4023267c98223e450870b0f96fcdee5c64f365f255c71f835ee639d2176b6676b7171a5661802c9cae73da9
diff --git a/dev-ml/typerep_extended/typerep_extended-113.33.03.ebuild b/dev-ml/typerep_extended/typerep_extended-113.33.03.ebuild
new file mode 100644
index 000000000000..32bd80cc11d5
--- /dev/null
+++ b/dev-ml/typerep_extended/typerep_extended-113.33.03.ebuild
@@ -0,0 +1,50 @@
+# Copyright 1999-2017 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
+}