summaryrefslogtreecommitdiff
path: root/dev-ml/zarith
diff options
context:
space:
mode:
authorV3n3RiX <venerix@redcorelinux.org>2021-03-05 09:25:57 +0000
committerV3n3RiX <venerix@redcorelinux.org>2021-03-05 09:25:57 +0000
commit6d691ad5b6239929063441bbd14c489e92e7396e (patch)
treee294f87b1ce66397fee1273bd6c7131aeb586f51 /dev-ml/zarith
parentd99093fb4bb5652015c06274d64083daa2439e4f (diff)
gentoo resync : 05.03.2021
Diffstat (limited to 'dev-ml/zarith')
-rw-r--r--dev-ml/zarith/Manifest2
-rw-r--r--dev-ml/zarith/zarith-1.12.ebuild57
2 files changed, 59 insertions, 0 deletions
diff --git a/dev-ml/zarith/Manifest b/dev-ml/zarith/Manifest
index 9160d918e64c..150e7b8ad651 100644
--- a/dev-ml/zarith/Manifest
+++ b/dev-ml/zarith/Manifest
@@ -1,10 +1,12 @@
AUX zarith-1.9.1-ar.patch 221 BLAKE2B 6772e1a5c30a5b9dd6e170860b82e82bd2e5dc5b145d69f20354bcc9fff037098ad03c8365347663dc49499ec72da15f098e186e5b1721f8acb65b7875253155 SHA512 34a5e88ea485ba12b37c7e0fdcd6e21ad64453802fcc48fca39042d52d7b21997888c3c9e76754fe0ceb326dfb2a9a443ba3794b9628ec78f94aa5ea791ffeb2
DIST zarith-1.10.tar.gz 95543 BLAKE2B 4effafb5a4f90fe48282feb6a3deb07cde4e465c52149d663b1185f82c20ad7e72a02e5965cc3d589ea873f82c33f69dcb47299bbd6a9fa7a6fd686ce14ad61d SHA512 94958feccd3be863b4bcc7887f5108099962402ab6eddbae42420cd04323aafe930dac75c6f1f3d50d8f57cdd2108f1b25546999bac3f03a0a682127d5b67612
DIST zarith-1.11.tar.gz 98909 BLAKE2B 01deed333dc79dfdb5748c835ef80403c7892e36e461a1c65e5bb97f147b32df2e6cbe8f4e9b916aabc3bd2479bd97439a68d9cdb123d15b7c9ed0e3e7f784f3 SHA512 7c0645d63511d42b763cd0a33b3fb139c26d23ae0cf59cd651388644cb8e7c43a83265d55d69ff3320d8c4586c4f8dbd9c3412197bab2e110c38e6e7dac88b83
+DIST zarith-1.12.tar.gz 93695 BLAKE2B b9622e2f397887d08fb8a8520419cf459e99906c05a897af91258b17d92d3fbbd2314a0a4be8a56a07074dcb0a0d04c896b3b5e69526a6c81a8a07b657d1bfec SHA512 8075573ae65579a2606b37dd1b213032a07d220d28c733f9288ae80d36f8a2cc4d91632806df2503c130ea9658dc207ee3a64347c21aa53969050a208f5b2bb4
DIST zarith-1.7.tar.gz 89617 BLAKE2B ee8a272a7421d9e723af8aa6207da8fe046585804e669058b6dec8fb47cab80e438d0520c1b61ed6c79bc279d162a7a1043fa40e74c50342b7e4d553ca8e8f5b SHA512 812b5f9b24ce7a24d3370b8728ff6eeb56e3280fa1573e694fe54e781668c29bf8ff95e94aeff59df948adc85b8acd6b4efe117fb50a124f19b4227bee78e753
DIST zarith-1.9.1.tar.gz 92321 BLAKE2B d61def81600cb5f3ae931eabebcdf081b6025dd24b1deae46a55f5db4f2c67d44b38b9cb9d73fc7fd9bd76c81545294373e3df5969da217209079a2912a8e285 SHA512 e77620c66a59d35811acfc45c7ef3f0d50d3042194654b1f5b652a2ed5fb9d5f88e9173222e5ced286c61854434da05a4d96668089faa66ff2917afa677fc32f
EBUILD zarith-1.10.ebuild 1470 BLAKE2B b582fe34fbdf05490c4f9b78da27d72030a612793331899339d3a5668a4ba1e87d614449598545b36ed33f142f8e0667f3784c341cfb927cf8332643e1b127fd SHA512 00feec6fbb015cbf954a8af57673984c4d50a664b0bbebc6a72dbc627053bbcc8f4997a5ff3bf347cc0d741e14f657a8b3c21a9d79152386d170db168650bc98
EBUILD zarith-1.11.ebuild 1349 BLAKE2B 94ba51ff6528da6c29e75920680d596852c403c957755633999f17cbb218ce8af091ff18efec885e6378a1dbcb170001deb82ad1bc955eb738865e3b9bbfd9f0 SHA512 72384da49f4aed3f07e4c86560cef28b40a308a76b3ff7acea064b432f0f2d1f50dc9bfe9bae04215e21359e5569d75b156a62ae4cffc6bfe863dc2d6d9c05ff
+EBUILD zarith-1.12.ebuild 1331 BLAKE2B e5c30054936820f77f807d9d82ff048217a7add76c052a266a5e8e99d0bb3fa18761c632d3e4c12d71c3d8756e86610be56b43c2fe168fcb6d60a331f01de3de SHA512 ae8ae01e1f96f4fa95b2df41a07e01ee112ea20cfc9a75e7e2ae8081b07b47b0eb21a23ee28d6695cca03dc24041a863c11c8fe9fa0c694c8b9ba90e40ffe670
EBUILD zarith-1.7.ebuild 1324 BLAKE2B 25281d39a44be1b345fab0ba5ff4bd34c1355a2f9bd5a80ffbe8d3d7685bec4ced72865c29a56f69b9db4555a35eac0c752b6752d0083c3d2a018ad50d8e47ba SHA512 33c9759c47aef05c74514d71077b2ab791f83b4d8b46bc32b12b75ddc7032dc4fe5b04ed7690e6a251f54994b5793d0c1c4a5eeb06f53f5eacb5ec5ff18267bf
EBUILD zarith-1.9.1.ebuild 1460 BLAKE2B ae8dd8e3eb7d55a6ace369189c77dde72d156c830fafa37f74218d0ed4f96ba40867ddf9f6ec7d2ac3ace0c2a62d8e7137f6e63705de28b3ba8f3b3e9fe1d342 SHA512 5abcc22e0cb2a954a24dc0b4fb517c72dd09631b7ba89f64609dbe2c648dbd5cec79ac7f93973d9448f9d081189541e74e17adaae8043031a9ae73e536d8f528
MISC metadata.xml 384 BLAKE2B 2476ec65036f286fe12f1b64916114abb08792a1c8840be05fe48ba075c9beeeeef5d01ea1a920ca91144fda6d946c86c045c8a853b698bd08d0c02ff93c9bba SHA512 4e0f0e30d6b928341d9610efb0d42717476bb76a897ab3b350782b101cf7a4d3fa5b31d61499552073c987eac1ceb8bc0c9bd9103115f50ee9b52939301ff1ed
diff --git a/dev-ml/zarith/zarith-1.12.ebuild b/dev-ml/zarith/zarith-1.12.ebuild
new file mode 100644
index 000000000000..baeb795af4c2
--- /dev/null
+++ b/dev-ml/zarith/zarith-1.12.ebuild
@@ -0,0 +1,57 @@
+# Copyright 1999-2021 Gentoo Authors
+# Distributed under the terms of the GNU General Public License v2
+
+EAPI=7
+
+inherit findlib 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 ~arm ~arm64 ~ppc ~x86"
+IUSE="doc mpir +ocamlopt"
+RESTRICT="!ocamlopt? ( test )"
+
+RDEPEND="
+ >=dev-lang/ocaml-4.05:=[ocamlopt=]
+ !mpir? ( dev-libs/gmp:0= )
+ mpir? ( sci-libs/mpir:= )"
+
+DEPEND="${RDEPEND} dev-lang/perl"
+DOCS=( README.md Changes )
+
+S="${WORKDIR}/Zarith-release-${PV}"
+
+src_configure() {
+ tc-export CC AR
+ ./configure \
+ -ocamllibdir /usr/$(get_libdir)/ocaml \
+ -installdir "${ED}"/usr/$(get_libdir)/ocaml \
+ $(usex mpir "-mpir" "-gmp") || die
+}
+
+src_compile() {
+ emake -j 1 HASOCAMLOPT=$(usex ocamlopt yes no) HASDYNLINK=$(usex ocamlopt yes no) all
+ use doc && emake doc
+}
+
+src_test() {
+ emake HASOCAMLOPT=yes HASDYNLINK=yes tests
+}
+
+src_install() {
+ findlib_src_preinst
+
+ emake \
+ HASOCAMLOPT=$(usex ocamlopt yes no) \
+ HASDYNLINK=$(usex ocamlopt yes no) \
+ install
+
+ dosym zarith/libzarith.a /usr/$(get_libdir)/ocaml/libzarith.a
+
+ use doc && HTML_DOCS=( html/* )
+ einstalldocs
+}