[gentoo-commits] repo/gentoo:master commit in: dev-ml/bignum/

2017-04-12 Thread Alexis Ballier
commit: 21e13ef9cfdc420858c1379216f7d85397d3ba27
Author: Alexis Ballier  gentoo  org>
AuthorDate: Wed Apr 12 09:36:09 2017 +
Commit: Alexis Ballier  gentoo  org>
CommitDate: Wed Apr 12 09:36:09 2017 +
URL:https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=21e13ef9

dev-ml/bignum: Force "upgrade" to latest ppx, bug #615190

Package-Manager: Portage-2.3.5, Repoman-2.3.2

 dev-ml/bignum/bignum-0.9.0.ebuild | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/dev-ml/bignum/bignum-0.9.0.ebuild 
b/dev-ml/bignum/bignum-0.9.0.ebuild
index ea3309a76a5..a2a5971bed6 100644
--- a/dev-ml/bignum/bignum-0.9.0.ebuild
+++ b/dev-ml/bignum/bignum-0.9.0.ebuild
@@ -20,6 +20,8 @@ RDEPEND="
dev-ml/ppx_jane:=
dev-ml/typerep:=
dev-ml/zarith:=
+   

[gentoo-commits] repo/gentoo:master commit in: dev-ml/bignum/

2017-04-02 Thread Alexis Ballier
commit: 876b2efed9aee6143b6e2a81d7051cc89706be48
Author: Alexis Ballier  gentoo  org>
AuthorDate: Sat Apr  1 17:05:06 2017 +
Commit: Alexis Ballier  gentoo  org>
CommitDate: Sun Apr  2 08:38:01 2017 +
URL:https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=876b2efe

dev-ml/bignum: Bump to 0.9.0

Package-Manager: Portage-2.3.5, Repoman-2.3.2

 dev-ml/bignum/Manifest |  2 +-
 ...bignum-113.33.03.ebuild => bignum-0.9.0.ebuild} | 30 +-
 2 files changed, 7 insertions(+), 25 deletions(-)

diff --git a/dev-ml/bignum/Manifest b/dev-ml/bignum/Manifest
index 0884248f872..8edd4b68154 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
similarity index 52%
rename from dev-ml/bignum/bignum-113.33.03.ebuild
rename to dev-ml/bignum/bignum-0.9.0.ebuild
index c230293f69d..ea3309a76a5 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
 }



[gentoo-commits] repo/gentoo:master commit in: dev-ml/bignum/

2017-03-11 Thread Alexis Ballier
commit: 52f0366f80ee57647833380b5476d02a22bad05f
Author: Alexis Ballier  gentoo  org>
AuthorDate: Sat Mar 11 10:51:25 2017 +
Commit: Alexis Ballier  gentoo  org>
CommitDate: Sat Mar 11 10:52:44 2017 +
URL:https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=52f0366f

dev-ml/bignum: remove old

Package-Manager: Portage-2.3.4, Repoman-2.3.2

 dev-ml/bignum/Manifest|  1 -
 dev-ml/bignum/bignum-113.33.00.ebuild | 50 ---
 2 files changed, 51 deletions(-)

diff --git a/dev-ml/bignum/Manifest b/dev-ml/bignum/Manifest
index 4aa1025cde2..0884248f872 100644
--- a/dev-ml/bignum/Manifest
+++ b/dev-ml/bignum/Manifest
@@ -1,2 +1 @@
-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.00.ebuild 
b/dev-ml/bignum/bignum-113.33.00.ebuild
deleted file mode 100644
index 7747dcb5bd5..000
--- a/dev-ml/bignum/bignum-113.33.00.ebuild
+++ /dev/null
@@ -1,50 +0,0 @@
-# Copyright 1999-2014 Gentoo Foundation
-# Distributed under the terms of the GNU General Public License v2
-
-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
-}



[gentoo-commits] repo/gentoo:master commit in: dev-ml/bignum/

2017-01-30 Thread Alexis Ballier
commit: 74eccfdc0401b76db4c3ec66bef7e3273e29b281
Author: Alexis Ballier  gentoo  org>
AuthorDate: Mon Jan 30 22:33:03 2017 +
Commit: Alexis Ballier  gentoo  org>
CommitDate: Mon Jan 30 22:33:03 2017 +
URL:https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=74eccfdc

dev-ml/bignum: bump to 113.33.03

Package-Manager: Portage-2.3.3, Repoman-2.3.1

 dev-ml/bignum/Manifest|  1 +
 dev-ml/bignum/bignum-113.33.03.ebuild | 51 +++
 2 files changed, 52 insertions(+)

diff --git a/dev-ml/bignum/Manifest b/dev-ml/bignum/Manifest
index 7967ed7..4aa1025 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 ..4a3d7e0
--- /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
+}



[gentoo-commits] repo/gentoo:master commit in: dev-ml/bignum/

2017-01-24 Thread Alexis Ballier
commit: aa96f2187e794dc526341e6f27b79457605bedb9
Author: Alexis Ballier  gentoo  org>
AuthorDate: Tue Jan 24 10:49:23 2017 +
Commit: Alexis Ballier  gentoo  org>
CommitDate: Tue Jan 24 10:49:23 2017 +
URL:https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=aa96f218

dev-ml/bignum: remove old

Package-Manager: Portage-2.3.3, Repoman-2.3.1

 dev-ml/bignum/Manifest|  1 -
 dev-ml/bignum/bignum-113.24.00.ebuild | 51 ---
 2 files changed, 52 deletions(-)

diff --git a/dev-ml/bignum/Manifest b/dev-ml/bignum/Manifest
index fba7b98..7967ed7 100644
--- a/dev-ml/bignum/Manifest
+++ b/dev-ml/bignum/Manifest
@@ -1,2 +1 @@
-DIST bignum-113.24.00.tar.gz 74888 SHA256 
a156393144090418e2192fa5659b9479aac463678d704bae2c67cae1a727fa78 SHA512 
81ff037bbbcdc5a225f6814fa62e9667ec514313bcb95d42419a66740f8572b4d9da8181ff5c0e5991fe3f2fc19c9132a43edc077313e33473acb05a82430947
 WHIRLPOOL 
fd562c2df460794eed1660b81309b621421870711667eae97899295e6035bc917b30d99320f1d895d90bfe728b313ed93b254527c714a28d07c954d388ba68f4
 DIST bignum-113.33.00.tar.gz 75498 SHA256 
7d214fe9f4cc233d8070915a750978d68ca24393cfe280f7d88c9793878829ab SHA512 
eb5a8e5230177209a882a8c3dfed58952598bc2586ae41bb191bdcb00cab67034ea26b8a146a58b5d05f50db2ba0cd39706445dd09510126384c8d2884cfb1f0
 WHIRLPOOL 
4e4217010eaf64e0e3e6c121d8ba86d193a7ed1dbf1b0591926b5abb0015b2a79bdf4f91b65bf129f5f238731dfdd28e432489444053d6c78759406dbd5ac6f6

diff --git a/dev-ml/bignum/bignum-113.24.00.ebuild 
b/dev-ml/bignum/bignum-113.24.00.ebuild
deleted file mode 100644
index 9032ee9..
--- a/dev-ml/bignum/bignum-113.24.00.ebuild
+++ /dev/null
@@ -1,51 +0,0 @@
-# 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
-}



[gentoo-commits] repo/gentoo:master commit in: dev-ml/bignum/

2016-03-22 Thread Alexis Ballier
commit: 903b3c27f20893031d77e3bb9c9d4d2b2d4dd29e
Author: Alexis Ballier  gentoo  org>
AuthorDate: Tue Mar 22 10:58:17 2016 +
Commit: Alexis Ballier  gentoo  org>
CommitDate: Tue Mar 22 11:02:55 2016 +
URL:https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=903b3c27

dev-ml/bignum: bump to 113.33.00

Package-Manager: portage-2.2.28
Signed-off-by: Alexis Ballier  gentoo.org>

 dev-ml/bignum/Manifest|  1 +
 dev-ml/bignum/bignum-113.33.00.ebuild | 51 +++
 2 files changed, 52 insertions(+)

diff --git a/dev-ml/bignum/Manifest b/dev-ml/bignum/Manifest
index 214ee8e..fba7b98 100644
--- a/dev-ml/bignum/Manifest
+++ b/dev-ml/bignum/Manifest
@@ -1 +1,2 @@
 DIST bignum-113.24.00.tar.gz 74888 SHA256 
a156393144090418e2192fa5659b9479aac463678d704bae2c67cae1a727fa78 SHA512 
81ff037bbbcdc5a225f6814fa62e9667ec514313bcb95d42419a66740f8572b4d9da8181ff5c0e5991fe3f2fc19c9132a43edc077313e33473acb05a82430947
 WHIRLPOOL 
fd562c2df460794eed1660b81309b621421870711667eae97899295e6035bc917b30d99320f1d895d90bfe728b313ed93b254527c714a28d07c954d388ba68f4
+DIST bignum-113.33.00.tar.gz 75498 SHA256 
7d214fe9f4cc233d8070915a750978d68ca24393cfe280f7d88c9793878829ab SHA512 
eb5a8e5230177209a882a8c3dfed58952598bc2586ae41bb191bdcb00cab67034ea26b8a146a58b5d05f50db2ba0cd39706445dd09510126384c8d2884cfb1f0
 WHIRLPOOL 
4e4217010eaf64e0e3e6c121d8ba86d193a7ed1dbf1b0591926b5abb0015b2a79bdf4f91b65bf129f5f238731dfdd28e432489444053d6c78759406dbd5ac6f6

diff --git a/dev-ml/bignum/bignum-113.33.00.ebuild 
b/dev-ml/bignum/bignum-113.33.00.ebuild
new file mode 100644
index 000..9032ee9
--- /dev/null
+++ b/dev-ml/bignum/bignum-113.33.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
+}



[gentoo-commits] repo/gentoo:master commit in: dev-ml/bignum/

2016-02-05 Thread Alexis Ballier
commit: 34569003d10d3732b88e2e1e4bfa2f557ca75cd6
Author: Alexis Ballier  gentoo  org>
AuthorDate: Fri Feb  5 19:52:48 2016 +
Commit: Alexis Ballier  gentoo  org>
CommitDate: Fri Feb  5 20:59:02 2016 +
URL:https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=34569003

dev-ml/bignum: remove old

Package-Manager: portage-2.2.27
Signed-off-by: Alexis Ballier  gentoo.org>

 dev-ml/bignum/Manifest|  1 -
 dev-ml/bignum/bignum-113.00.00.ebuild | 29 -
 2 files changed, 30 deletions(-)

diff --git a/dev-ml/bignum/Manifest b/dev-ml/bignum/Manifest
index c598106..214ee8e 100644
--- a/dev-ml/bignum/Manifest
+++ b/dev-ml/bignum/Manifest
@@ -1,2 +1 @@
-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.00.00.ebuild 
b/dev-ml/bignum/bignum-113.00.00.ebuild
deleted file mode 100644
index ba15ba5..000
--- a/dev-ml/bignum/bignum-113.00.00.ebuild
+++ /dev/null
@@ -1,29 +0,0 @@
-# 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=""
-
-DEPEND="
-   dev-ml/bin-prot:=
-   dev-ml/comparelib:=
-   dev-ml/core_kernel:=
-   dev-ml/pa_bench:=
-   dev-ml/pa_test:=
-   dev-ml/pa_ounit:=
-   dev-ml/sexplib:=
-   dev-ml/typerep:=
-   dev-ml/zarith:=
-"
-RDEPEND="${DEPEND}"



[gentoo-commits] repo/gentoo:master commit in: dev-ml/bignum/

2016-02-05 Thread Alexis Ballier
commit: e6aeb16bf873502318df323cfd2a3450bd265153
Author: Alexis Ballier  gentoo  org>
AuthorDate: Fri Feb  5 19:47:23 2016 +
Commit: Alexis Ballier  gentoo  org>
CommitDate: Fri Feb  5 20:59:02 2016 +
URL:https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=e6aeb16b

dev-ml/bignum: bump to 113.24.00

Package-Manager: portage-2.2.27
Signed-off-by: Alexis Ballier  gentoo.org>

 dev-ml/bignum/Manifest|  1 +
 dev-ml/bignum/bignum-113.24.00.ebuild | 51 +++
 2 files changed, 52 insertions(+)

diff --git a/dev-ml/bignum/Manifest b/dev-ml/bignum/Manifest
index fbd2876..c598106 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 000..9032ee9
--- /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
+}



[gentoo-commits] repo/gentoo:master commit in: dev-ml/bignum/

2015-09-19 Thread Alexis Ballier
commit: 3494f063e767770338d90d87a2c7af0348323381
Author: Alexis Ballier  gentoo  org>
AuthorDate: Sat Sep 19 13:44:49 2015 +
Commit: Alexis Ballier  gentoo  org>
CommitDate: Sat Sep 19 14:03:10 2015 +
URL:https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=3494f063

dev-ml/bignum: initial import, ebuild by me.

Package-Manager: portage-2.2.20.1

 dev-ml/bignum/Manifest|  1 +
 dev-ml/bignum/bignum-113.00.00.ebuild | 29 +
 dev-ml/bignum/metadata.xml|  5 +
 3 files changed, 35 insertions(+)

diff --git a/dev-ml/bignum/Manifest b/dev-ml/bignum/Manifest
new file mode 100644
index 000..fbd2876
--- /dev/null
+++ b/dev-ml/bignum/Manifest
@@ -0,0 +1 @@
+DIST bignum-113.00.00.tar.gz 66062 SHA256 
7253924c79f79d6b2c846ae18cdade0c3b5a5a9a0909b2a0fb2f9938040973bb SHA512 
a588cc58c258b8f1aa748a292032cb452d913e19a0952e11673a557d1de8a043457a7e5a52bac071fca7b711513da8d90dcd6b6d765b5d8064a7ad289b02b43f
 WHIRLPOOL 
8215de6aa4696c39ec4107b703f99b36f3f68809436520209dbe9eb70286b00d0fc2ad0787a55cbd5bdcd3f485e8373915b7d1355fb714e7ff95c1f087b3be7a

diff --git a/dev-ml/bignum/bignum-113.00.00.ebuild 
b/dev-ml/bignum/bignum-113.00.00.ebuild
new file mode 100644
index 000..ba15ba5
--- /dev/null
+++ b/dev-ml/bignum/bignum-113.00.00.ebuild
@@ -0,0 +1,29 @@
+# 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=""
+
+DEPEND="
+   dev-ml/bin-prot:=
+   dev-ml/comparelib:=
+   dev-ml/core_kernel:=
+   dev-ml/pa_bench:=
+   dev-ml/pa_test:=
+   dev-ml/pa_ounit:=
+   dev-ml/sexplib:=
+   dev-ml/typerep:=
+   dev-ml/zarith:=
+"
+RDEPEND="${DEPEND}"

diff --git a/dev-ml/bignum/metadata.xml b/dev-ml/bignum/metadata.xml
new file mode 100644
index 000..849ed8e
--- /dev/null
+++ b/dev-ml/bignum/metadata.xml
@@ -0,0 +1,5 @@
+
+http://www.gentoo.org/dtd/metadata.dtd;>
+
+  ml
+