aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorAisha Tammy <gentoo@aisha.cc>2020-09-24 21:46:39 +0000
committerAisha Tammy <gentoo@aisha.cc>2020-09-24 21:47:05 +0000
commit54e2936975c47ef952f551c489917392a70e657f (patch)
tree961dab3a817d4163f04b5483b233a755d7968a2c /dev-ml/mlgmpidl/mlgmpidl-1.1.ebuild
parentdev-lua/lua-md5, sci-biology/genometools: drop dead packages (diff)
downloadsci-54e2936975c47ef952f551c489917392a70e657f.tar.gz
sci-54e2936975c47ef952f551c489917392a70e657f.tar.bz2
sci-54e2936975c47ef952f551c489917392a70e657f.zip
dev-ml/mlgmpidl: drop dead package
Package-Manager: Portage-3.0.8, Repoman-3.0.1 Signed-off-by: Aisha Tammy <gentoo@aisha.cc>
Diffstat (limited to 'dev-ml/mlgmpidl/mlgmpidl-1.1.ebuild')
-rw-r--r--dev-ml/mlgmpidl/mlgmpidl-1.1.ebuild55
1 files changed, 0 insertions, 55 deletions
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
-}