diff options
author | Alexis Ballier <aballier@gentoo.org> | 2017-01-30 23:33:03 +0100 |
---|---|---|
committer | Alexis Ballier <aballier@gentoo.org> | 2017-01-30 23:33:03 +0100 |
commit | 74eccfdc0401b76db4c3ec66bef7e3273e29b281 (patch) | |
tree | 173add6129655e64d8e0ee517eaa844c3fa4c959 /dev-ml/bignum | |
parent | dev-ml/core_profiler: bump to 113.33.03 (diff) | |
download | gentoo-74eccfdc0401b76db4c3ec66bef7e3273e29b281.tar.gz gentoo-74eccfdc0401b76db4c3ec66bef7e3273e29b281.tar.bz2 gentoo-74eccfdc0401b76db4c3ec66bef7e3273e29b281.zip |
dev-ml/bignum: bump to 113.33.03
Package-Manager: Portage-2.3.3, Repoman-2.3.1
Diffstat (limited to 'dev-ml/bignum')
-rw-r--r-- | dev-ml/bignum/Manifest | 1 | ||||
-rw-r--r-- | dev-ml/bignum/bignum-113.33.03.ebuild | 51 |
2 files changed, 52 insertions, 0 deletions
diff --git a/dev-ml/bignum/Manifest b/dev-ml/bignum/Manifest index 7967ed7949d6..4aa1025cde25 100644 --- a/dev-ml/bignum/Manifest +++ b/dev-ml/bignum/Manifest @@ -1 +1,2 @@ DIST bignum-113.33.00.tar.gz 75498 SHA256 7d214fe9f4cc233d8070915a750978d68ca24393cfe280f7d88c9793878829ab SHA512 eb5a8e5230177209a882a8c3dfed58952598bc2586ae41bb191bdcb00cab67034ea26b8a146a58b5d05f50db2ba0cd39706445dd09510126384c8d2884cfb1f0 WHIRLPOOL 4e4217010eaf64e0e3e6c121d8ba86d193a7ed1dbf1b0591926b5abb0015b2a79bdf4f91b65bf129f5f238731dfdd28e432489444053d6c78759406dbd5ac6f6 +DIST bignum-113.33.03.tar.gz 73961 SHA256 0837e52a6241fd1d7639b5f14f8bed6c9e19e4a1e118d7ec3cf4a510c08918d3 SHA512 a14a2ef059372882a5e58bd03eedbd22b9a4ea642ec15d0519a37b8bda873e061457c03160e99ccf3cc329d88452d214fdda7f92b8cc77fc504c8d4b03318ca6 WHIRLPOOL 0903f0a05839cf3bf6ff26ba68e34db03215c04f0edcdc291059c8e53ab9be6d9179bee802174318997d7f9dea8f386850cbee5c84d8d6dcc5b45ec343542dbd diff --git a/dev-ml/bignum/bignum-113.33.03.ebuild b/dev-ml/bignum/bignum-113.33.03.ebuild new file mode 100644 index 000000000000..4a3d7e0f7369 --- /dev/null +++ b/dev-ml/bignum/bignum-113.33.03.ebuild @@ -0,0 +1,51 @@ +# Copyright 1999-2017 Gentoo Foundation +# Distributed under the terms of the GNU General Public License v2 +# $Id$ + +EAPI="5" + +inherit oasis + +DESCRIPTION="Core-flavoured wrapper around zarith's arbitrary-precision rationals" +HOMEPAGE="http://janestreet.github.io/" +SRC_URI="http://ocaml.janestreet.com/ocaml-core/${PV%.*}/files/${P}.tar.gz" + +LICENSE="Apache-2.0" +SLOT="0/${PV}" +KEYWORDS="~amd64" +IUSE="" + +RDEPEND=" + dev-ml/bin-prot:= + dev-ml/core_kernel:= + dev-ml/fieldslib:= + dev-ml/ppx_assert:= + dev-ml/ppx_bench:= + dev-ml/ppx_driver:= + dev-ml/ppx_expect:= + dev-ml/ppx_inline_test:= + dev-ml/ppx_jane:= + dev-ml/sexplib:= + dev-ml/typerep:= + dev-ml/variantslib:= + dev-ml/zarith:= +" +DEPEND="${RDEPEND} dev-ml/opam" + +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 +} |