aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorGuillaume Horel <guillaume.horel@gmail.com>2012-03-02 00:55:32 -0500
committerGuillaume Horel <guillaume.horel@gmail.com>2012-03-02 01:01:21 -0500
commit23afff670e90583ba9206f37e7b7dfc772b585db (patch)
treece9fb5a091cded32ada5d8340bed82e8b1b36e5b /dev-ml/zarith/files
parent[dev-ml/lacaml] version bump (diff)
downloadsci-23afff670e90583ba9206f37e7b7dfc772b585db.tar.gz
sci-23afff670e90583ba9206f37e7b7dfc772b585db.tar.bz2
sci-23afff670e90583ba9206f37e7b7dfc772b585db.zip
[dev-ml/zarith] new ebuild
Diffstat (limited to 'dev-ml/zarith/files')
-rw-r--r--dev-ml/zarith/files/zarith-1.0-bytecode.patch31
-rw-r--r--dev-ml/zarith/files/zarith-1.0-optnotrequired.patch22
2 files changed, 53 insertions, 0 deletions
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 000000000..2de677214
--- /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 000000000..2bd1b4df8
--- /dev/null
+++ b/dev-ml/zarith/files/zarith-1.0-optnotrequired.patch
@@ -0,0 +1,22 @@
+From: Mehdi Dogguy <mehdi@debian.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
+--