diff options
| author |   Guillaume Horel <guillaume.horel@gmail.com> | 2012-03-29 20:22:09 -0400 |
|---|---|---|
| committer | Guillaume Horel <guillaume.horel@gmail.com> | 2012-03-29 20:22:09 -0400 |
| commit | dc1b6e10978996452db9080b986ba482a5822bd7 (patch) | |
| tree | a3635ceabafdbe5ac00532a703f570abe631a82c /dev-ml/zarith/files/zarith-1.0-optnotrequired.patch | |
| parent | [dev-ml/lacaml] moved to new oasis eclass (diff) | |
| download | sci-dc1b6e10978996452db9080b986ba482a5822bd7.tar.gz sci-dc1b6e10978996452db9080b986ba482a5822bd7.tar.bz2 sci-dc1b6e10978996452db9080b986ba482a5822bd7.zip | |
[dev-ml/zarith] version bump
Diffstat (limited to 'dev-ml/zarith/files/zarith-1.0-optnotrequired.patch')
| -rw-r--r-- | dev-ml/zarith/files/zarith-1.0-optnotrequired.patch | 22 |
1 files changed, 0 insertions, 22 deletions
diff --git a/dev-ml/zarith/files/zarith-1.0-optnotrequired.patch b/dev-ml/zarith/files/zarith-1.0-optnotrequired.patch deleted file mode 100644 index 2bd1b4df8..000000000 --- a/dev-ml/zarith/files/zarith-1.0-optnotrequired.patch +++ /dev/null @@ -1,22 +0,0 @@ -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 --- |