Gentoo Archives: gentoo-commits

From: Alexis Ballier <aballier@g.o>
To: gentoo-commits@l.g.o
Subject: [gentoo-commits] repo/gentoo:master commit in: dev-ml/bignum/
Date: Sun, 02 Apr 2017 08:38:55
Message-Id: 1491122281.876b2efed9aee6143b6e2a81d7051cc89706be48.aballier@gentoo
1 commit: 876b2efed9aee6143b6e2a81d7051cc89706be48
2 Author: Alexis Ballier <aballier <AT> gentoo <DOT> org>
3 AuthorDate: Sat Apr 1 17:05:06 2017 +0000
4 Commit: Alexis Ballier <aballier <AT> gentoo <DOT> org>
5 CommitDate: Sun Apr 2 08:38:01 2017 +0000
6 URL: https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=876b2efe
7
8 dev-ml/bignum: Bump to 0.9.0
9
10 Package-Manager: Portage-2.3.5, Repoman-2.3.2
11
12 dev-ml/bignum/Manifest | 2 +-
13 ...bignum-113.33.03.ebuild => bignum-0.9.0.ebuild} | 30 +++++-----------------
14 2 files changed, 7 insertions(+), 25 deletions(-)
15
16 diff --git a/dev-ml/bignum/Manifest b/dev-ml/bignum/Manifest
17 index 0884248f872..8edd4b68154 100644
18 --- a/dev-ml/bignum/Manifest
19 +++ b/dev-ml/bignum/Manifest
20 @@ -1 +1 @@
21 -DIST bignum-113.33.03.tar.gz 73961 SHA256 0837e52a6241fd1d7639b5f14f8bed6c9e19e4a1e118d7ec3cf4a510c08918d3 SHA512 a14a2ef059372882a5e58bd03eedbd22b9a4ea642ec15d0519a37b8bda873e061457c03160e99ccf3cc329d88452d214fdda7f92b8cc77fc504c8d4b03318ca6 WHIRLPOOL 0903f0a05839cf3bf6ff26ba68e34db03215c04f0edcdc291059c8e53ab9be6d9179bee802174318997d7f9dea8f386850cbee5c84d8d6dcc5b45ec343542dbd
22 +DIST bignum-0.9.0.tar.gz 28060 SHA256 ff49985bf84136510ebae7bc302a462053b56322d94cd82a34bcb7da3d48b15e SHA512 ac80a9303cd177819db74ee6e3aaada76c4c97f9d654b902b99708b0123989b043e9c8db5f05e6d4bdf0453975b3826bed6fc18deff7e7c7ff194a7de908a5c5 WHIRLPOOL 4277d7533ee68bb09ea4867fadb49bdf1f31f02baa25e8aef1268e29b3002fb0af9314ecee2cf32c5cf34f4a2652cdc4f2cd834caae477bfc79b077a3976320b
23
24 diff --git a/dev-ml/bignum/bignum-113.33.03.ebuild b/dev-ml/bignum/bignum-0.9.0.ebuild
25 similarity index 52%
26 rename from dev-ml/bignum/bignum-113.33.03.ebuild
27 rename to dev-ml/bignum/bignum-0.9.0.ebuild
28 index c230293f69d..ea3309a76a5 100644
29 --- a/dev-ml/bignum/bignum-113.33.03.ebuild
30 +++ b/dev-ml/bignum/bignum-0.9.0.ebuild
31 @@ -1,13 +1,11 @@
32 # Copyright 1999-2017 Gentoo Foundation
33 # Distributed under the terms of the GNU General Public License v2
34
35 -EAPI="5"
36 -
37 -inherit oasis
38 +EAPI=6
39
40 DESCRIPTION="Core-flavoured wrapper around zarith's arbitrary-precision rationals"
41 -HOMEPAGE="http://janestreet.github.io/"
42 -SRC_URI="http://ocaml.janestreet.com/ocaml-core/${PV%.*}/files/${P}.tar.gz"
43 +HOMEPAGE="https://github.com/janestreet/bignum"
44 +SRC_URI="https://github.com/janestreet/${PN}/archive/v${PV}.tar.gz -> ${P}.tar.gz"
45
46 LICENSE="Apache-2.0"
47 SLOT="0/${PV}"
48 @@ -15,30 +13,15 @@ KEYWORDS="~amd64"
49 IUSE=""
50
51 RDEPEND="
52 - dev-ml/bin-prot:=
53 + dev-lang/ocaml:=
54 + dev-ml/core_kernel:=
55 dev-ml/core_kernel:=
56 - dev-ml/fieldslib:=
57 - dev-ml/ppx_assert:=
58 - dev-ml/ppx_bench:=
59 dev-ml/ppx_driver:=
60 - dev-ml/ppx_expect:=
61 - dev-ml/ppx_inline_test:=
62 dev-ml/ppx_jane:=
63 - dev-ml/sexplib:=
64 dev-ml/typerep:=
65 - dev-ml/variantslib:=
66 dev-ml/zarith:=
67 "
68 -DEPEND="${RDEPEND} dev-ml/opam"
69 -
70 -src_configure() {
71 - emake setup.exe
72 - OASIS_SETUP_COMMAND="./setup.exe" oasis_src_configure
73 -}
74 -
75 -src_compile() {
76 - emake
77 -}
78 +DEPEND="${RDEPEND} dev-ml/opam dev-ml/jbuilder"
79
80 src_install() {
81 opam-installer -i \
82 @@ -46,5 +29,4 @@ src_install() {
83 --libdir="${D}/$(ocamlc -where)" \
84 --docdir="${ED}/usr/share/doc/${PF}" \
85 ${PN}.install || die
86 - dodoc CHANGES.md
87 }