diff options
| author |   Alfredo Tupone <tupone@gentoo.org> | 2020-10-26 08:12:52 +0100 |
|---|---|---|
| committer | Alfredo Tupone <tupone@gentoo.org> | 2020-10-26 08:12:52 +0100 |
| commit | 5d0f42b07ad9f67f83f810c327605c21a47abf49 (patch) | |
| tree | f4a16c8b7c1f38d1ce7718e90fbd54909678b892 /dev-ml/zarith | |
| parent | dev-ml/camlpdf: remove old (diff) | |
| download | gentoo-5d0f42b07ad9f67f83f810c327605c21a47abf49.tar.gz gentoo-5d0f42b07ad9f67f83f810c327605c21a47abf49.tar.bz2 gentoo-5d0f42b07ad9f67f83f810c327605c21a47abf49.zip | |
dev-ml/zarith: version bump to 1.10
Closes: https://bugs.gentoo.org/749699
Package-Manager: Portage-3.0.8, Repoman-3.0.2
Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
Diffstat (limited to 'dev-ml/zarith')
| -rw-r--r-- | dev-ml/zarith/Manifest | 1 | ||||
| -rw-r--r-- | dev-ml/zarith/zarith-1.10.ebuild | 58 |
2 files changed, 59 insertions, 0 deletions
diff --git a/dev-ml/zarith/Manifest b/dev-ml/zarith/Manifest index a4e56a3007b3..e8e4215241c2 100644 --- a/dev-ml/zarith/Manifest +++ b/dev-ml/zarith/Manifest @@ -1,2 +1,3 @@ +DIST zarith-1.10.tar.gz 95543 BLAKE2B 4effafb5a4f90fe48282feb6a3deb07cde4e465c52149d663b1185f82c20ad7e72a02e5965cc3d589ea873f82c33f69dcb47299bbd6a9fa7a6fd686ce14ad61d SHA512 94958feccd3be863b4bcc7887f5108099962402ab6eddbae42420cd04323aafe930dac75c6f1f3d50d8f57cdd2108f1b25546999bac3f03a0a682127d5b67612 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.10.ebuild b/dev-ml/zarith/zarith-1.10.ebuild new file mode 100644 index 000000000000..6ae953c8daea --- /dev/null +++ b/dev-ml/zarith/zarith-1.10.ebuild @@ -0,0 +1,58 @@ +# Copyright 1999-2020 Gentoo Authors +# Distributed under the terms of the GNU General Public License v2 + +EAPI=7 + +inherit findlib multilib + +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" + +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 ) + +PATCHES=( + "${FILESDIR}"/${PN}-1.9.1-ar.patch +) + +S="${WORKDIR}/Zarith-release-${PV}" + +src_configure() { + tc-export CC AR + ./configure -host "${CHOST}" \ + -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() { + 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 + dosym zarith/libzarith.a /usr/$(get_libdir)/ocaml/libzarith.a + use doc && HTML_DOCS=( html/* ) + einstalldocs +} |