diff options
Diffstat (limited to 'dev-ml/core_extended')
-rw-r--r-- | dev-ml/core_extended/Manifest | 3 | ||||
-rw-r--r-- | dev-ml/core_extended/core_extended-0.9.0.ebuild | 38 | ||||
-rw-r--r-- | dev-ml/core_extended/metadata.xml | 11 |
3 files changed, 52 insertions, 0 deletions
diff --git a/dev-ml/core_extended/Manifest b/dev-ml/core_extended/Manifest new file mode 100644 index 000000000000..b5aebcd573d3 --- /dev/null +++ b/dev-ml/core_extended/Manifest @@ -0,0 +1,3 @@ +DIST core_extended-0.9.0.tar.gz 234944 BLAKE2B 9c6985b2c9a34ca3fd3bd6016240140d09ccfad2cdf264923e826d1399ead3d827674b5438c90e75dee9511ed4005d945d2e4b73bb5778475b55871c59231a50 SHA512 16e64ba2e3bbe31a6bde03c0ca65d238445f19d8f2aa1f11157efd4f4fab76adb28607329e853eafab04de549f303b033522cc46c3e179094ac68071ce797a5e +EBUILD core_extended-0.9.0.ebuild 875 BLAKE2B a23f1adf07cb937b216214aaa87ffb36b56c3969d9da01a28b121c49f3c9555873b36daa0c30739145840198eab10bc17d6b12cc40bc552ec6dc926404e1e642 SHA512 bed2b46dd4ac99c1fb0417d42422f61b0445d936c35ba69e161a079dafb8e4e6c57267452c3b181aae28d8acf0677461d3d80f9957640d48a9529f5235e7eee9 +MISC metadata.xml 336 BLAKE2B 582cbb070b12c0b383549eebe68eb5abbdd8b4b148a1859e8d9d03dac3737c58d8d0b07b41c181bdbc719f73b9890b2f53911888244e41b93b274f7c7712b197 SHA512 c546557c8b3d754d24f44230314064e1d221ccb0d3a7e2d7885fdcb1d93684c5e208d491d309197e7555a2a1883632f7d070071df17879e467cd001eeac9b6b4 diff --git a/dev-ml/core_extended/core_extended-0.9.0.ebuild b/dev-ml/core_extended/core_extended-0.9.0.ebuild new file mode 100644 index 000000000000..4f17a7f52f95 --- /dev/null +++ b/dev-ml/core_extended/core_extended-0.9.0.ebuild @@ -0,0 +1,38 @@ +# Copyright 1999-2017 Gentoo Foundation +# Distributed under the terms of the GNU General Public License v2 + +EAPI=6 + +DESCRIPTION="Jane Street's alternative to the standard library" +HOMEPAGE="https://github.com/janestreet/core_extended" +SRC_URI="https://github.com/janestreet/${PN}/archive/v${PV}.tar.gz -> ${P}.tar.gz" + +LICENSE="Apache-2.0" +SLOT="0/${PV}" +KEYWORDS="~amd64" +IUSE="" + +RDEPEND=" + dev-lang/ocaml:= + dev-ml/bin-prot:= + dev-ml/core:= + dev-ml/core_kernel:= + dev-ml/fieldslib:= + dev-ml/ppx_driver:= + dev-ml/ppx_jane:= + dev-ml/re2:= + dev-ml/sexplib:= + dev-ml/textutils:= + dev-ml/ocaml-migrate-parsetree:= + <dev-ml/ppx_jane-100 + <dev-ml/ppx_driver-100 + " +DEPEND="${RDEPEND} dev-ml/opam dev-ml/jbuilder" + +src_install() { + opam-installer -i \ + --prefix="${ED}/usr" \ + --libdir="${D}/$(ocamlc -where)" \ + --docdir="${ED}/usr/share/doc/${PF}" \ + ${PN}.install || die +} diff --git a/dev-ml/core_extended/metadata.xml b/dev-ml/core_extended/metadata.xml new file mode 100644 index 000000000000..66beb889dbaa --- /dev/null +++ b/dev-ml/core_extended/metadata.xml @@ -0,0 +1,11 @@ +<?xml version='1.0' encoding='UTF-8'?> +<!DOCTYPE pkgmetadata SYSTEM "http://www.gentoo.org/dtd/metadata.dtd"> +<pkgmetadata> + <maintainer type="project"> + <email>ml@gentoo.org</email> + <name>Gentoo ML Project</name> + </maintainer> + <upstream> + <remote-id type="github">janestreet/core_extended</remote-id> + </upstream> +</pkgmetadata> |