diff options
| -rw-r--r-- | dev-ml/mlgmpidl/Manifest | 1 | ||||
| -rw-r--r-- | dev-ml/mlgmpidl/files/mlgmpidl-1.1-mpfr-3_compat.patch | 20 | ||||
| -rw-r--r-- | dev-ml/mlgmpidl/metadata.xml | 17 | ||||
| -rw-r--r-- | dev-ml/mlgmpidl/mlgmpidl-1.1.ebuild | 55 |
4 files changed, 0 insertions, 93 deletions
diff --git a/dev-ml/mlgmpidl/Manifest b/dev-ml/mlgmpidl/Manifest deleted file mode 100644 index 79725485c..000000000 --- a/dev-ml/mlgmpidl/Manifest +++ /dev/null @@ -1 +0,0 @@ -DIST mlgmpidl-1.1.tgz 194002 BLAKE2B 1fc5b7ef9f6046de7c7357316b37bda5495df22a95b89ba33a7f457e32766218d43d528793b7f2a8fb4dab3cc56354370377670bb21ba496c3b665dd19346e68 SHA512 f7fe74e0e337c2ea33464c49bc1313a3c6a71fee89572d4c23dc26913d8fe1fb41907bfe327d085c39786b63267174be4445b31a5d29acf3e57974ac8b871d2e diff --git a/dev-ml/mlgmpidl/files/mlgmpidl-1.1-mpfr-3_compat.patch b/dev-ml/mlgmpidl/files/mlgmpidl-1.1-mpfr-3_compat.patch deleted file mode 100644 index efb07559d..000000000 --- a/dev-ml/mlgmpidl/files/mlgmpidl-1.1-mpfr-3_compat.patch +++ /dev/null @@ -1,20 +0,0 @@ -diff -Naurp mlgmpidl/gmp_caml.h mlgmpidl2/gmp_caml.h ---- mlgmpidl/gmp_caml.h 2007-07-11 13:29:31.000000000 +0000 -+++ mlgmpidl2/gmp_caml.h 2010-07-03 16:09:33.000000000 +0000 -@@ -14,6 +14,16 @@ - #if defined(HAS_MPFR) - #if HAS_MPFR!=0 - #include "mpfr.h" -+#ifndef GMP_RND_MAX -+#define GMP_RND_MAX (MPFR_RNDNA - 1) -+#define mpfr_random(x) \ -+ {\ -+ gmp_randstate_t s;\ -+ gmp_randinit_default(s);\ -+ mpfr_urandomb(x,s);\ -+ gmp_randclear(s);\ -+ } -+#endif - #endif - #endif - #include "caml/mlvalues.h" diff --git a/dev-ml/mlgmpidl/metadata.xml b/dev-ml/mlgmpidl/metadata.xml deleted file mode 100644 index 8c51f92e4..000000000 --- a/dev-ml/mlgmpidl/metadata.xml +++ /dev/null @@ -1,17 +0,0 @@ -<?xml version="1.0" encoding="UTF-8"?> -<!DOCTYPE pkgmetadata SYSTEM "http://www.gentoo.org/dtd/metadata.dtd"> -<pkgmetadata> - <maintainer type="project"> - <email>sci-mathematics@gentoo.org</email> - <name>Gentoo Mathematics Project</name> - </maintainer> - <longdescription> -MLGMPIDL is a package offering an interface to the GMP and MPFR -libraries for OCaml version 3.07 or higher. The interface offers access -to almost all the functions of the library, and is decomposed into 7 -submodules. -</longdescription> - <use> - <flag name="mpfr">Add support for <pkg>dev-libs/mpfr</pkg></flag> - </use> -</pkgmetadata> diff --git a/dev-ml/mlgmpidl/mlgmpidl-1.1.ebuild b/dev-ml/mlgmpidl/mlgmpidl-1.1.ebuild deleted file mode 100644 index 90bc71a8e..000000000 --- a/dev-ml/mlgmpidl/mlgmpidl-1.1.ebuild +++ /dev/null @@ -1,55 +0,0 @@ -# Copyright 1999-2015 Gentoo Foundation -# Distributed under the terms of the GNU General Public License v2 - -EAPI=5 - -inherit eutils toolchain-funcs - -DESCRIPTION="OCaml interface to the GMP and MPFR libraries" -HOMEPAGE="http://www.inrialpes.fr/pop-art/people/bjeannet/mlxxxidl-forge/mlgmpidl/" -SRC_URI="https://gforge.inria.fr/frs/download.php/20228/${PN}-${PV}.tgz" - -LICENSE="LGPL-2" -SLOT="0" -KEYWORDS="~amd64 ~x86" -IUSE="doc +mpfr" - -RDEPEND=" - >=dev-lang/ocaml-3.09 - dev-ml/camlidl - dev-libs/gmp:0 - mpfr? ( dev-libs/mpfr:0 )" -DEPEND="${RDEPEND} - doc? ( - app-text/texlive - app-text/ghostscript-gpl - )" - -S="${WORKDIR}/${PN}" - -src_prepare() { - rm -R html mlgmpidl.pdf || die - mv Makefile.config.model Makefile.config || die - sed \ - -e "s/FLAGS = \\\/FLAGS += \\\/g" \ - -e "s/-O3 -UNDEBUG/-DUDEBUG/g" \ - -e "s/MLGMPIDL_PREFIX = /MLGMPIDL_PREFIX = \$(DESTDIR)\/usr/g" \ - -i Makefile.config || die - - if use !mpfr; then - sed -i -e "s/HAS_MPFR=1/#HAS_MPFR=0/g" Makefile.config || die - fi - - epatch "${FILESDIR}"/${P}-mpfr-3_compat.patch -} - -src_compile() { - emake -j1 all gmprun gmptop - - use doc && emake html mlgmpidl.pdf -} - -src_install(){ - use doc && DOCS+=( mlgmpidl.pdf ) - default -} |