diff options
| author |   Alexis Ballier <aballier@gentoo.org> | 2016-02-05 20:47:23 +0100 |
|---|---|---|
| committer | Alexis Ballier <aballier@gentoo.org> | 2016-02-05 21:59:02 +0100 |
| commit | e6aeb16bf873502318df323cfd2a3450bd265153 (patch) | |
| tree | 0a7212bac82c5935bd85751ed72092e1e97a3269 /dev-ml/bignum | |
| parent | dev-ml/core_bench: bump to 113.24.00 (diff) | |
| download | gentoo-e6aeb16bf873502318df323cfd2a3450bd265153.tar.gz gentoo-e6aeb16bf873502318df323cfd2a3450bd265153.tar.bz2 gentoo-e6aeb16bf873502318df323cfd2a3450bd265153.zip | |
dev-ml/bignum: bump to 113.24.00
Package-Manager: portage-2.2.27
Signed-off-by: Alexis Ballier <aballier@gentoo.org>
Diffstat (limited to 'dev-ml/bignum')
| -rw-r--r-- | dev-ml/bignum/Manifest | 1 | ||||
| -rw-r--r-- | dev-ml/bignum/bignum-113.24.00.ebuild | 51 |
2 files changed, 52 insertions, 0 deletions
diff --git a/dev-ml/bignum/Manifest b/dev-ml/bignum/Manifest index fbd28767baa7..c598106b438f 100644 --- a/dev-ml/bignum/Manifest +++ b/dev-ml/bignum/Manifest @@ -1 +1,2 @@ DIST bignum-113.00.00.tar.gz 66062 SHA256 7253924c79f79d6b2c846ae18cdade0c3b5a5a9a0909b2a0fb2f9938040973bb SHA512 a588cc58c258b8f1aa748a292032cb452d913e19a0952e11673a557d1de8a043457a7e5a52bac071fca7b711513da8d90dcd6b6d765b5d8064a7ad289b02b43f WHIRLPOOL 8215de6aa4696c39ec4107b703f99b36f3f68809436520209dbe9eb70286b00d0fc2ad0787a55cbd5bdcd3f485e8373915b7d1355fb714e7ff95c1f087b3be7a +DIST bignum-113.24.00.tar.gz 74888 SHA256 a156393144090418e2192fa5659b9479aac463678d704bae2c67cae1a727fa78 SHA512 81ff037bbbcdc5a225f6814fa62e9667ec514313bcb95d42419a66740f8572b4d9da8181ff5c0e5991fe3f2fc19c9132a43edc077313e33473acb05a82430947 WHIRLPOOL fd562c2df460794eed1660b81309b621421870711667eae97899295e6035bc917b30d99320f1d895d90bfe728b313ed93b254527c714a28d07c954d388ba68f4 diff --git a/dev-ml/bignum/bignum-113.24.00.ebuild b/dev-ml/bignum/bignum-113.24.00.ebuild new file mode 100644 index 000000000000..9032ee90e5ea --- /dev/null +++ b/dev-ml/bignum/bignum-113.24.00.ebuild @@ -0,0 +1,51 @@ +# Copyright 1999-2014 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 +} |