diff options
Diffstat (limited to 'dev-ml/zarith/zarith-1.12.ebuild')
-rw-r--r-- | dev-ml/zarith/zarith-1.12.ebuild | 57 |
1 files changed, 57 insertions, 0 deletions
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 +} |