[gentoo-commits] proj/sci:master commit in: dev-ml/zarith/, dev-ml/zarith/files/

[Guillaume Horel]

commit:     23afff670e90583ba9206f37e7b7dfc772b585db
Author:     Guillaume Horel <guillaume.horel <AT> gmail <DOT> com>
AuthorDate: Fri Mar  2 05:55:32 2012 +0000
Commit:     Guillaume Horel <guillaume.horel <AT> gmail <DOT> com>
CommitDate: Fri Mar  2 06:01:21 2012 +0000
URL:        http://git.overlays.gentoo.org/gitweb/?p=proj/sci.git;a=commit;h=23afff67

[dev-ml/zarith] new ebuild

---
 dev-ml/zarith/ChangeLog                            |   11 ++++
 dev-ml/zarith/files/zarith-1.0-bytecode.patch      |   31 ++++++++++
 .../zarith/files/zarith-1.0-optnotrequired.patch   |   22 +++++++
 dev-ml/zarith/metadata.xml                         |   11 ++++
 dev-ml/zarith/zarith-1.0.ebuild                    |   62 ++++++++++++++++++++
 5 files changed, 137 insertions(+), 0 deletions(-)

diff --git a/dev-ml/zarith/ChangeLog b/dev-ml/zarith/ChangeLog
new file mode 100644
index 0000000..7c3b19f
--- /dev/null
+++ b/dev-ml/zarith/ChangeLog
@@ -0,0 +1,11 @@
+# ChangeLog for dev-ml/zarith
+# Copyright 1999-2012 Gentoo Foundation; Distributed under the GPL v2
+# $Header: $
+
+*zarith-1.0 (02 Mar 2012)
+
+  02 Mar 2012; Guillaume Horel <guillaume.horel@×××××.com> +zarith-1.0.ebuild,
+  +files/zarith-1.0-bytecode.patch, +files/zarith-1.0-optnotrequired.patch,
+  +metadata.xml:
+  initial import
+

diff --git a/dev-ml/zarith/files/zarith-1.0-bytecode.patch b/dev-ml/zarith/files/zarith-1.0-bytecode.patch
new file mode 100644
index 0000000..2de6772
--- /dev/null
+++ b/dev-ml/zarith/files/zarith-1.0-bytecode.patch
@@ -0,0 +1,31 @@
+--- project.mak.orig	2011-11-14 18:18:05.702705850 -0500
++++ project.mak	2011-11-14 18:18:58.142704311 -0500
+@@ -23,12 +23,14 @@
+ 
+ CMIOBJ = $(MLISRC:%.mli=%.cmi)
+ TOINSTALL = zarith.a zarith.cma zarith.cmxa zarith.cmxs libzarith.a $(MLISRC) $(CMIOBJ)
+-
++TOINSTALLbyte = zarith.cma libzarith.a $(MLISRC) $(CMIOBJ)
+ 
+ # build targets
+ ###############
+ 
+-all: $(TOINSTALL) test
++all: $(TOINSTALL)
++
++all-byte: $(TOINSTALLbyte)
+ 
+ zarith.cma: $(MLSRC:%.ml=%.cmo)
+ 	$(OCAMLMKLIB) -o zarith $+ $(LIBS)
+@@ -80,8 +82,9 @@
+ 
+ ifeq ($(INSTMETH),findlib)
+ install:
+-	$(OCAMLFIND) install -destdir $(INSTALLDIR) zarith META $(TOINSTALL) dllzarith.so
+-
++	$(OCAMLFIND) install zarith META $(TOINSTALL) dllzarith.so
++install-byte:
++	$(OCAMLFIND) install zarith META $(TOINSTALLbyte) dllzarith.so
+ uninstall:
+ 	$(OCAMLFIND) remove -destdir $(INSTALLDIR) zarith
+ endif

diff --git a/dev-ml/zarith/files/zarith-1.0-optnotrequired.patch b/dev-ml/zarith/files/zarith-1.0-optnotrequired.patch
new file mode 100644
index 0000000..2bd1b4d
--- /dev/null
+++ b/dev-ml/zarith/files/zarith-1.0-optnotrequired.patch
@@ -0,0 +1,22 @@
+From: Mehdi Dogguy <mehdi@××××××.org>
+Date: Sun, 2 Oct 2011 11:53:22 +0200
+Subject: [PATCH] ocamlopt is not really required
+
+---
+ configure |    2 +-
+ 1 files changed, 1 insertions(+), 1 deletions(-)
+
+diff --git a/configure b/configure
+index 5bd80d3..980aedd 100755
+--- a/configure
++++ b/configure
+@@ -186,7 +186,7 @@ checkcc()
+ 
+ searchbinreq $ocaml
+ searchbinreq $ocamlc
+-searchbinreq $ocamlopt
++searchbin    $ocamlopt
+ searchbinreq $ocamldep
+ searchbinreq $ocamlmklib
+ searchbinreq $ocamldoc
+-- 

diff --git a/dev-ml/zarith/metadata.xml b/dev-ml/zarith/metadata.xml
new file mode 100644
index 0000000..a87c2ac
--- /dev/null
+++ b/dev-ml/zarith/metadata.xml
@@ -0,0 +1,11 @@
+<?xml version="1.0" encoding="UTF-8"?>
+<!DOCTYPE pkgmetadata SYSTEM "http://www.gentoo.org/dtd/metadata.dtd">
+<pkgmetadata>
+<herd>sci</herd>
+<longdescription lang='en'>
+Arithmetic and logic operations over arbitrary-precision integers in Ocaml
+</longdescription>
+<use>
+<flag name='mpir'>Use mpir library instead of gmp</flag>
+</use>
+</pkgmetadata>

diff --git a/dev-ml/zarith/zarith-1.0.ebuild b/dev-ml/zarith/zarith-1.0.ebuild
new file mode 100644
index 0000000..49a1b3c
--- /dev/null
+++ b/dev-ml/zarith/zarith-1.0.ebuild
@@ -0,0 +1,62 @@
+# Copyright 1999-2012 Gentoo Foundation
+# Distributed under the terms of the GNU General Public License v2
+# $Header: $
+
+EAPI="4"
+
+inherit findlib eutils
+
+DESCRIPTION="Arithmetic and logic operations over arbitrary-precision integers"
+HOMEPAGE="https://forge.ocamlcore.org/projects/zarith/"
+SRC_URI="http://forge.ocamlcore.org/frs/download.php/683/${P}.tgz"
+
+LICENSE="LGPL-2.1-linking-exception"
+SLOT="0"
+KEYWORDS="~amd64 ~x86"
+IUSE="debug doc mpir +ocamlopt"
+
+RDEPEND=">=dev-lang/ocaml-3.12.1[ocamlopt?]
+!mpir? ( dev-libs/gmp )
+mpir? ( sci-libs/mpir )"
+
+DEPEND="${DEPEND}
+dev-lang/perl"
+
+src_prepare() {
+	epatch "${FILESDIR}/${P}-optnotrequired.patch"
+	epatch "${FILESDIR}/${P}-bytecode.patch"
+}
+
+src_configure() {
+	MY_OPTS="-ocamllibdir /usr/$(get_libdir) -installdir ${D}"
+	use mpir && MY_OPTS="${MY_OPTS} -mpir"
+	./configure ${MY_OPTS}|| die
+}
+
+src_compile() {
+	if use ocamlopt; then
+		emake all
+	else
+		emake all-byte
+	fi
+	use doc && emake doc
+}
+
+src_test() {
+	if use ocamlopt; then
+		emake test;LD_LIBRARY_PATH="." ./test || die
+	else
+		emake test.b;LD_LIBRARY_PATH="." ./test.b || die
+	fi
+}
+
+src_install() {
+	findlib_src_preinst
+	if use ocamlopt; then
+		emake install
+	else
+		emake install-byte
+	fi
+	dodoc README
+	use doc && dodoc -r html/
+}