diff options
| author |   Sam James <sam@gentoo.org> | 2021-03-03 14:22:17 +0000 |
|---|---|---|
| committer | Sam James <sam@gentoo.org> | 2021-03-03 14:23:12 +0000 |
| commit | 91b9c6d4bacb75bc1d68fb92e384252683e9e678 (patch) | |
| tree | 8aa7a287e177a293cbbb9d93f5af0ab4a3076010 /dev-ml | |
| parent | net-misc/remmina: drop old (diff) | |
| download | gentoo-91b9c6d4bacb75bc1d68fb92e384252683e9e678.tar.gz gentoo-91b9c6d4bacb75bc1d68fb92e384252683e9e678.tar.bz2 gentoo-91b9c6d4bacb75bc1d68fb92e384252683e9e678.zip | |
dev-ml/zarith: bump to 1.12
Signed-off-by: Sam James <sam@gentoo.org>
Diffstat (limited to 'dev-ml')
| -rw-r--r-- | dev-ml/zarith/Manifest | 1 | ||||
| -rw-r--r-- | dev-ml/zarith/zarith-1.12.ebuild | 57 |
2 files changed, 58 insertions, 0 deletions
diff --git a/dev-ml/zarith/Manifest b/dev-ml/zarith/Manifest index ecd22ba5ccef..833337e66d13 100644 --- a/dev-ml/zarith/Manifest +++ b/dev-ml/zarith/Manifest @@ -1,4 +1,5 @@ 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 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 +} |