diff options
Diffstat (limited to 'dev-ml/mlgmpidl')
-rw-r--r-- | dev-ml/mlgmpidl/Manifest | 2 | ||||
-rw-r--r-- | dev-ml/mlgmpidl/mlgmpidl-1.1.ebuild | 57 |
2 files changed, 59 insertions, 0 deletions
diff --git a/dev-ml/mlgmpidl/Manifest b/dev-ml/mlgmpidl/Manifest new file mode 100644 index 000000000..1f3a46d51 --- /dev/null +++ b/dev-ml/mlgmpidl/Manifest @@ -0,0 +1,2 @@ +DIST mlgmpidl-1.1.tgz 194002 RMD160 752c865e5355b40f9b3c9babf0c9c378cb3b4009 SHA1 ef26eaa215ccedbfc20c00614f702a06d3a70420 SHA256 8990a56f4c1ff701bb922bacf7f23b40539d123216ac5f9fe0f35967735d6fc9 +EBUILD mlgmpidl-1.1.ebuild 1347 RMD160 5eff2fd937a758d0ac8df13473465551a6b35f73 SHA1 a3135dfdb622b46b1fc086ff8d88901219cbd0a3 SHA256 98f8d303dafc13b7ca0aaa41bd284da84e7d6117adf9d7856238e0d962a38c24 diff --git a/dev-ml/mlgmpidl/mlgmpidl-1.1.ebuild b/dev-ml/mlgmpidl/mlgmpidl-1.1.ebuild new file mode 100644 index 000000000..4bc14d0d1 --- /dev/null +++ b/dev-ml/mlgmpidl/mlgmpidl-1.1.ebuild @@ -0,0 +1,57 @@ +# Copyright 1999-2009 Gentoo Foundation +# Distributed under the terms of the GNU General Public License v2 +# $Header: Exp $ + +inherit eutils toolchain-funcs + +DESCRIPTION="MLGMPIDL is a package offering an interface to the GMP and MPFR libraries for OCaml version 3.07 or higher." +HOMEPAGE="http://www.inrialpes.fr/pop-art/people/bjeannet/mlxxxidl-forge/mlgmpidl/" +SRC_URI="http://gforge.inria.fr/frs/download.php/20228/${PN}-${PV}.tgz" + +LICENSE="LGPL-2" +SLOT="0" +KEYWORDS="~amd64 ~ppc ~sparc ~x86" +IUSE="doc +mpfr" + +RDEPEND="dev-libs/gmp + mpfr? ( dev-libs/mpfr ) + >=dev-lang/ocaml-3.09 + dev-ml/camlidl" +DEPEND="${RDEPEND} + doc? ( app-text/texlive + app-text/ghostscript-gpl )" + +src_unpack() { + unpack ${A} + mv ${PN} ${PN}-${PV} + cd ${S} + + rm -R html mlgmpidl.pdf + mv Makefile.config.model Makefile.config + sed -i Makefile.config \ + -e "s/FLAGS = \\\/FLAGS += \\\/g" \ + -e "s/-O3 -UNDEBUG/-DUDEBUG/g" \ + -e "s/MLGMPIDL_PREFIX = /MLGMPIDL_PREFIX = \${DESTDIR}\/usr/g" + + if use !mpfr; then + sed -i -e "s/HAS_MPFR=1/#HAS_MPFR=0/g" Makefile.config + fi +} + +src_compile() { + emake all gmprun gmptop -j1 || die "emake failed" + + if use doc; then + make html mlgmpidl.pdf || die "emake doc failed" + fi +} + +src_install(){ + emake install DESTDIR="${D}" || die "emake install failed" + dodoc COPYING README + + if use doc; then + dodoc mlgmpidl.pdf + fi +} + |