diff options
Diffstat (limited to 'dev-ml/zarith/zarith-1.12.ebuild')
| -rw-r--r-- | dev-ml/zarith/zarith-1.12.ebuild | 62 |
1 files changed, 0 insertions, 62 deletions
diff --git a/dev-ml/zarith/zarith-1.12.ebuild b/dev-ml/zarith/zarith-1.12.ebuild deleted file mode 100644 index 275b33c37e47..000000000000 --- a/dev-ml/zarith/zarith-1.12.ebuild +++ /dev/null @@ -1,62 +0,0 @@ -# Copyright 1999-2023 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 ) - -PATCHES=( "${FILESDIR}"/${P}-shuffle.patch ) - -S="${WORKDIR}/Zarith-release-${PV}" - -src_configure() { - tc-export CC AR - ./configure \ - -ocamllibdir /usr/$(get_libdir)/ocaml \ - $(usex mpir "-mpir" "-gmp") || die - sed -i \ - -e 's|$(INSTALLDIR)|$(DESTDIR)$(INSTALLDIR)|g' \ - project.mak || 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) \ - DESTDIR="${ED}" \ - install - - dosym zarith/libzarith.a /usr/$(get_libdir)/ocaml/libzarith.a - - use doc && HTML_DOCS=( html/* ) - einstalldocs -} |