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
-}