commit: 54e2936975c47ef952f551c489917392a70e657f
Author: Aisha Tammy <gentoo <AT> aisha <DOT> cc>
AuthorDate: Thu Sep 24 21:46:39 2020 +0000
Commit: Aisha Tammy <gentoo <AT> aisha <DOT> cc>
CommitDate: Thu Sep 24 21:47:05 2020 +0000
URL: https://gitweb.gentoo.org/proj/sci.git/commit/?id=54e29369
dev-ml/mlgmpidl: drop dead package
Package-Manager: Portage-3.0.8, Repoman-3.0.1
Signed-off-by: Aisha Tammy <gentoo <AT> aisha.cc>
.../files/mlgmpidl-1.1-mpfr-3_compat.patch | 20 --------
dev-ml/mlgmpidl/metadata.xml | 17 -------
dev-ml/mlgmpidl/mlgmpidl-1.1.ebuild | 55 ----------------------
3 files changed, 92 deletions(-)
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-mathemat...@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
-}
