summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorAlexis Ballier <aballier@gentoo.org>2017-04-01 19:05:06 +0200
committerAlexis Ballier <aballier@gentoo.org>2017-04-02 10:38:01 +0200
commit876b2efed9aee6143b6e2a81d7051cc89706be48 (patch)
tree22c6dad80809bcb4334f0d3116d413ab532603d3
parentdev-ml/async_ssl: initial import (diff)
downloadgentoo-876b2efed9aee6143b6e2a81d7051cc89706be48.tar.gz
gentoo-876b2efed9aee6143b6e2a81d7051cc89706be48.tar.bz2
gentoo-876b2efed9aee6143b6e2a81d7051cc89706be48.zip
dev-ml/bignum: Bump to 0.9.0
Package-Manager: Portage-2.3.5, Repoman-2.3.2
-rw-r--r--dev-ml/bignum/Manifest2
-rw-r--r--dev-ml/bignum/bignum-0.9.0.ebuild (renamed from dev-ml/bignum/bignum-113.33.03.ebuild)30
2 files changed, 7 insertions, 25 deletions
diff --git a/dev-ml/bignum/Manifest b/dev-ml/bignum/Manifest
index 0884248f872b..8edd4b68154a 100644
--- a/dev-ml/bignum/Manifest
+++ b/dev-ml/bignum/Manifest
@@ -1 +1 @@
-DIST bignum-113.33.03.tar.gz 73961 SHA256 0837e52a6241fd1d7639b5f14f8bed6c9e19e4a1e118d7ec3cf4a510c08918d3 SHA512 a14a2ef059372882a5e58bd03eedbd22b9a4ea642ec15d0519a37b8bda873e061457c03160e99ccf3cc329d88452d214fdda7f92b8cc77fc504c8d4b03318ca6 WHIRLPOOL 0903f0a05839cf3bf6ff26ba68e34db03215c04f0edcdc291059c8e53ab9be6d9179bee802174318997d7f9dea8f386850cbee5c84d8d6dcc5b45ec343542dbd
+DIST bignum-0.9.0.tar.gz 28060 SHA256 ff49985bf84136510ebae7bc302a462053b56322d94cd82a34bcb7da3d48b15e SHA512 ac80a9303cd177819db74ee6e3aaada76c4c97f9d654b902b99708b0123989b043e9c8db5f05e6d4bdf0453975b3826bed6fc18deff7e7c7ff194a7de908a5c5 WHIRLPOOL 4277d7533ee68bb09ea4867fadb49bdf1f31f02baa25e8aef1268e29b3002fb0af9314ecee2cf32c5cf34f4a2652cdc4f2cd834caae477bfc79b077a3976320b
diff --git a/dev-ml/bignum/bignum-113.33.03.ebuild b/dev-ml/bignum/bignum-0.9.0.ebuild
index c230293f69d9..ea3309a76a5b 100644
--- a/dev-ml/bignum/bignum-113.33.03.ebuild
+++ b/dev-ml/bignum/bignum-0.9.0.ebuild
@@ -1,13 +1,11 @@
# Copyright 1999-2017 Gentoo Foundation
# Distributed under the terms of the GNU General Public License v2
-EAPI="5"
-
-inherit oasis
+EAPI=6
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"
+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}"
@@ -15,30 +13,15 @@ KEYWORDS="~amd64"
IUSE=""
RDEPEND="
- dev-ml/bin-prot:=
+ dev-lang/ocaml:=
+ dev-ml/core_kernel:=
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
-}
+DEPEND="${RDEPEND} dev-ml/opam dev-ml/jbuilder"
src_install() {
opam-installer -i \
@@ -46,5 +29,4 @@ src_install() {
--libdir="${D}/$(ocamlc -where)" \
--docdir="${ED}/usr/share/doc/${PF}" \
${PN}.install || die
- dodoc CHANGES.md
}