diff options
author | 2016-02-05 19:42:14 +0100 | |
---|---|---|
committer | 2016-02-05 21:59:02 +0100 | |
commit | 7fd3edffff3608ef1bed6c478b00c030d2cb400a (patch) | |
tree | 8d6cdbf80c10fd4726c19f88a5f0d55508aa5bd0 /dev-ml/typerep_extended | |
parent | dev-ml/core_kernel: bump to 113.24.00 (diff) | |
download | gentoo-7fd3edffff3608ef1bed6c478b00c030d2cb400a.tar.gz gentoo-7fd3edffff3608ef1bed6c478b00c030d2cb400a.tar.bz2 gentoo-7fd3edffff3608ef1bed6c478b00c030d2cb400a.zip |
dev-ml/typerep_extended: bump to 113.24.00
Package-Manager: portage-2.2.27
Signed-off-by: Alexis Ballier <aballier@gentoo.org>
Diffstat (limited to 'dev-ml/typerep_extended')
-rw-r--r-- | dev-ml/typerep_extended/Manifest | 1 | ||||
-rw-r--r-- | dev-ml/typerep_extended/typerep_extended-113.24.00.ebuild | 50 |
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 +} |