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/zarith-1.0-optnotrequired.patch
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/zarith-1.0-optnotrequired.patch')
-rw-r--r--dev-ml/zarith/files/zarith-1.0-optnotrequired.patch22
1 files changed, 22 insertions, 0 deletions
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
+--