diff options
| author | V3n3RiX <venerix@redcorelinux.org> | 2017-10-09 18:53:29 +0100 |
|---|---|---|
| committer | V3n3RiX <venerix@redcorelinux.org> | 2017-10-09 18:53:29 +0100 |
| commit | 4f2d7949f03e1c198bc888f2d05f421d35c57e21 (patch) | |
| tree | ba5f07bf3f9d22d82e54a462313f5d244036c768 /dev-ml/bignum | |
reinit the tree, so we can have metadata
Diffstat (limited to 'dev-ml/bignum')
| -rw-r--r-- | dev-ml/bignum/Manifest | 4 | ||||
| -rw-r--r-- | dev-ml/bignum/bignum-0.9.0.ebuild | 34 | ||||
| -rw-r--r-- | dev-ml/bignum/metadata.xml | 11 |
3 files changed, 49 insertions, 0 deletions
diff --git a/dev-ml/bignum/Manifest b/dev-ml/bignum/Manifest new file mode 100644 index 000000000000..7203c1031c2d --- /dev/null +++ b/dev-ml/bignum/Manifest @@ -0,0 +1,4 @@ +DIST bignum-0.9.0.tar.gz 28060 SHA256 ff49985bf84136510ebae7bc302a462053b56322d94cd82a34bcb7da3d48b15e SHA512 ac80a9303cd177819db74ee6e3aaada76c4c97f9d654b902b99708b0123989b043e9c8db5f05e6d4bdf0453975b3826bed6fc18deff7e7c7ff194a7de908a5c5 WHIRLPOOL 4277d7533ee68bb09ea4867fadb49bdf1f31f02baa25e8aef1268e29b3002fb0af9314ecee2cf32c5cf34f4a2652cdc4f2cd834caae477bfc79b077a3976320b +EBUILD bignum-0.9.0.ebuild 803 SHA256 aad215c938db1655f3620243116298432367ee095adc0e6557ace0c9f6f998a0 SHA512 01019345f819530ae490322ce7b6930fd414fb2c2017a9fe91bcc828ef3aa07f18294d0d1626579282a86421901899744125fc545597d0b00282d8b44bb9b6c5 WHIRLPOOL ec91608446115bfb98e6007ffba559c18185f52fd26fcea6bd1ad192b686c2927cd81003b4614856bb47b5fb99994e0c52a9c0df12aafdd1f3fafabf52526e2c +MISC ChangeLog 1331 SHA256 8c32e2fa158197d625834b0e3b43cf46ad07db8f0413867ebba5be44e485dab3 SHA512 6df72bcbcaa5b96c4bec67a617436cecaefb78997e272653b316bda88e9044be6ec92d2ef0c56426dfc0671f9ab1bf105b7124e968bcb19320ba644fc1716ffc WHIRLPOOL 79a2658b4cb9805be0ef63e7fe09d94f5f61254e8a1a15535437e423d32e3e895a8c6892ed994c0f3684e621c88aa1bd3f9de6da657e0724de92e8f3e2827d89 +MISC metadata.xml 339 SHA256 d95ff30dc4fc675d42f9d05a20038e37f92e94d301dda882279366117eb7c504 SHA512 baa1e6d6c8d0efcd5607311e7286527095f0c880384d1ad807bcce1e44ca46f9346753e3b4b70ecac3d4544ce64a838590bfaaa0d7c914f43374913d51ed5adc WHIRLPOOL 40c7322339135b563398d2a53c8efb3b4e61bbd77a4305b27575f5c5c85746bae07148e81f6355d50af69482d681fccb8022083b840e120ffa4c74f61b9bcdaa diff --git a/dev-ml/bignum/bignum-0.9.0.ebuild b/dev-ml/bignum/bignum-0.9.0.ebuild new file mode 100644 index 000000000000..a2a5971bed66 --- /dev/null +++ b/dev-ml/bignum/bignum-0.9.0.ebuild @@ -0,0 +1,34 @@ +# Copyright 1999-2017 Gentoo Foundation +# Distributed under the terms of the GNU General Public License v2 + +EAPI=6 + +DESCRIPTION="Core-flavoured wrapper around zarith's arbitrary-precision rationals" +HOMEPAGE="https://github.com/janestreet/bignum" +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/core_kernel:= + dev-ml/core_kernel:= + dev-ml/ppx_driver:= + dev-ml/ppx_jane:= + dev-ml/typerep:= + dev-ml/zarith:= + <dev-ml/ppx_driver-100 + <dev-ml/ppx_jane-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/bignum/metadata.xml b/dev-ml/bignum/metadata.xml new file mode 100644 index 000000000000..bf7e34454b29 --- /dev/null +++ b/dev-ml/bignum/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/bignum</remote-id> + </upstream> +</pkgmetadata> |