aboutsummaryrefslogtreecommitdiff
path: root/dev-ml
diff options
context:
space:
mode:
Diffstat (limited to 'dev-ml')
-rw-r--r--dev-ml/mlgmpidl/Manifest1
-rw-r--r--dev-ml/mlgmpidl/files/mlgmpidl-1.1-mpfr-3_compat.patch20
-rw-r--r--dev-ml/mlgmpidl/metadata.xml17
-rw-r--r--dev-ml/mlgmpidl/mlgmpidl-1.1.ebuild55
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
-}