summaryrefslogtreecommitdiff
path: root/dev-ml/zarith
diff options
context:
space:
mode:
authorV3n3RiX <venerix@redcorelinux.org>2017-10-17 17:51:45 +0100
committerV3n3RiX <venerix@redcorelinux.org>2017-10-17 17:51:45 +0100
commit420eeee727d39d869d864caddb04a80dafda7160 (patch)
tree87f15d7467082dd92fce78a6cc2f56fa8d0774af /dev-ml/zarith
parent0fdd4074ff3dc0c507a9867380a4f91250a0b610 (diff)
gentoo resync : 17.10.2017
Diffstat (limited to 'dev-ml/zarith')
-rw-r--r--dev-ml/zarith/Manifest2
-rw-r--r--dev-ml/zarith/zarith-1.7.ebuild52
2 files changed, 54 insertions, 0 deletions
diff --git a/dev-ml/zarith/Manifest b/dev-ml/zarith/Manifest
index 9e7cd69d07b3..64576dd3163b 100644
--- a/dev-ml/zarith/Manifest
+++ b/dev-ml/zarith/Manifest
@@ -1,8 +1,10 @@
DIST zarith-1.4.1.tgz 88831 SHA256 23b6c140aad25385bb0b862b9b9fe8a5c6e6f608d0fac7a688aaede5ea876650 SHA512 ef6717e3b6c19ef94fb0e02eb33b1d9f2b2103a9fe0334cb89b01b344ee953fbeeaed8a75b17daa32760faaf93d582e6778ae50e59e9cf878663f2ecba1d5659 WHIRLPOOL 51fc093160ccd5b26282dc1e4f0da223cf0de49c357d560c45bf839ae1dadc53968b117f6ecb96da722fcda2c669ececbd6ca3fab61c71059f37764bfc602888
DIST zarith-1.5.tar.gz 89211 SHA256 b1d7b7394267a40c933d387131004cf0bc0dbdaea7a981fce865e1ae5d12e40b SHA512 4e616b8cc81cd83f51696926e598be3bcda0bb5999db3cf42dd627cf537320a0216c74eb14c57e57fc21c909df8ef3fb3fa602a7ad633c115d2ee61af5a9fdcd WHIRLPOOL 5f99fc525cd54167f8a6188adf8398003e8728ea9fc04b338dd69a2b0c5cbc943b79b9a5dccc41f7e24a62b00ed9900843a8eca124ab652f6c99240d6620bbdb
DIST zarith-1.6.tar.gz 89353 SHA256 0ad52b7e8d3791d401a5d64d6f85333d096b32d3ebb9f92e2496fbe64574078e SHA512 a12eacfaa809885f2b0f09ed0fc56d90ebaf9a3d8685db8a41dcaaaa2a9d2410ec96529d8bee653343ea8d51304861dbcf12daba06206a6cf07753ad3b09780d WHIRLPOOL 61f963dadeac8cc1eaef4f783957a34fa6a3507f108c26690fb7ac2aee02744f58b2e2457222d1db937f7d79eca13cbb1cdebfd795f7e3868021c737979e93f1
+DIST zarith-1.7.tar.gz 89617 SHA256 d641bb66d04461111b75f2fc37ad1eec764dcf326d98a51ac078695baea2ab3a SHA512 812b5f9b24ce7a24d3370b8728ff6eeb56e3280fa1573e694fe54e781668c29bf8ff95e94aeff59df948adc85b8acd6b4efe117fb50a124f19b4227bee78e753 WHIRLPOOL 9369fbcc235779b7902e580df03c2b3ee8dec23a3278a8e1034c31580f4380671169fd397cad812add97b65ed4a577c20ec03040706e6f8ba4d88001d5623965
EBUILD zarith-1.4.1.ebuild 1193 SHA256 1b2449a238fe468f77800584f7b4621c08117ca57fe09d2de9687f4362c10008 SHA512 60bfc326aaea319952c69a3ae2b05339d743009d7c0e783355ed07b410c8b94ec5c5e4cb7b4c423929efaf41b82c21b630fb12b2ef9a2f024560054818e68f99 WHIRLPOOL c7df0824908ec2a2f43d9480a5a7f055fb3651d5f320285fb33345e11409fe9069483157d88c3f5a9a5e62046d1fa2919d227255d93c354912c8033bf7b1a22c
EBUILD zarith-1.5.ebuild 1325 SHA256 995b6a0226647f0418645001378eda0c0c878edbb100a22822e5375ad8207f49 SHA512 b83b61d3e2caf9fda5cb4abe42882d817af171ccbbdb526e161b0a62997aa37d5876626fbcba3e5df17fc1a0f07a5c0fb48943b8549b6a0351e195ac1b604385 WHIRLPOOL acf36f0c8f6fbba9fe164b1c9a05413b2088488514970febbaff14db3752ca15ef7ef44ebf24c8d23026cbeb28a83e1dbad2e60fcf73b677ca5e3f9c6e19f233
EBUILD zarith-1.6.ebuild 1325 SHA256 995b6a0226647f0418645001378eda0c0c878edbb100a22822e5375ad8207f49 SHA512 b83b61d3e2caf9fda5cb4abe42882d817af171ccbbdb526e161b0a62997aa37d5876626fbcba3e5df17fc1a0f07a5c0fb48943b8549b6a0351e195ac1b604385 WHIRLPOOL acf36f0c8f6fbba9fe164b1c9a05413b2088488514970febbaff14db3752ca15ef7ef44ebf24c8d23026cbeb28a83e1dbad2e60fcf73b677ca5e3f9c6e19f233
+EBUILD zarith-1.7.ebuild 1325 SHA256 995b6a0226647f0418645001378eda0c0c878edbb100a22822e5375ad8207f49 SHA512 b83b61d3e2caf9fda5cb4abe42882d817af171ccbbdb526e161b0a62997aa37d5876626fbcba3e5df17fc1a0f07a5c0fb48943b8549b6a0351e195ac1b604385 WHIRLPOOL acf36f0c8f6fbba9fe164b1c9a05413b2088488514970febbaff14db3752ca15ef7ef44ebf24c8d23026cbeb28a83e1dbad2e60fcf73b677ca5e3f9c6e19f233
MISC ChangeLog 1507 SHA256 5b528523cee002ea1131c6059eb04ed45c73a5bdd031fa64558c2b5894f9bf86 SHA512 6264a48f4908b2986c482e6854b3c1b384a94433bd6858176696795f0e3abb7ed4c7b26423ac4743efce941dd9f0cd5acfd4f27358ff2f61cb719060e532bf66 WHIRLPOOL 862c0b678a6e89d183274ad670682cb02e731bb1dbbf4ab06b0dbcc6b61350b9f78850dcf2448dca5b90edec1bd8468dc5ea993b8e0d717c7b2f831eb40bd96b
MISC metadata.xml 409 SHA256 3788f02a1a848d23a0038d1d67d1dc1bbde54b67d30084f54aafc0230d69e38f SHA512 c409892c2c6af12afd09078ef5f5419523ae45a99369673ac48d1bb4bd3f5be535d1ec614f8340ec6b43e3789f46610618e255e50adac21d6b71aeae1827ad5b WHIRLPOOL ae6efceab43da8f32668c743fc98cf43d70e9b341cbd2fb80e85f6ac25e7c391899b7da707e14031cf1c5a699ff667472efa11b717d02257258b28af3cfaa562
diff --git a/dev-ml/zarith/zarith-1.7.ebuild b/dev-ml/zarith/zarith-1.7.ebuild
new file mode 100644
index 000000000000..857c5026e9d6
--- /dev/null
+++ b/dev-ml/zarith/zarith-1.7.ebuild
@@ -0,0 +1,52 @@
+# Copyright 1999-2017 Gentoo Foundation
+# Distributed under the terms of the GNU General Public License v2
+
+EAPI=5
+
+inherit findlib eutils toolchain-funcs
+
+DESCRIPTION="Arithmetic and logic operations over arbitrary-precision integers"
+HOMEPAGE="https://github.com/ocaml/Zarith"
+SRC_URI="https://github.com/ocaml/Zarith/archive/release-${PV}.tar.gz -> ${P}.tar.gz"
+
+LICENSE="LGPL-2.1-with-linking-exception"
+SLOT="0/${PV}"
+KEYWORDS="~amd64 ~ppc ~x86"
+IUSE="doc mpir +ocamlopt"
+
+RDEPEND="
+ >=dev-lang/ocaml-4:=[ocamlopt?]
+ !mpir? ( dev-libs/gmp:0= )
+ mpir? ( sci-libs/mpir )"
+
+DEPEND="${RDEPEND} dev-lang/perl"
+
+S="${WORKDIR}/Zarith-release-${PV}"
+
+src_configure() {
+ tc-export CC
+ ./configure -host "${CHOST}" \
+ -ocamllibdir "/usr/$(get_libdir)" \
+ -installdir "${ED}/usr/$(get_libdir)/ocaml" \
+ $(usex mpir "-mpir" "-gmp") || die
+}
+
+src_compile() {
+ emake HASOCAMLOPT=$(usex ocamlopt yes no) HASDYNLINK=$(usex ocamlopt yes no) all
+ use doc && emake doc
+}
+
+src_test() {
+ if use ocamlopt ; then
+ emake HASOCAMLOPT=$(usex ocamlopt yes no) HASDYNLINK=$(usex ocamlopt yes no) tests
+ else
+ ewarn "Tests require USE=ocamlopt. Skipping them."
+ fi
+}
+
+src_install() {
+ findlib_src_preinst
+ emake HASOCAMLOPT=$(usex ocamlopt yes no) HASDYNLINK=$(usex ocamlopt yes no) install
+ dodoc Changes README.md
+ use doc && dohtml html/*
+}