diff options
| author |   Guillaume Horel <guillaume.horel@gmail.com> | 2012-03-02 00:55:32 -0500 |
|---|---|---|
| committer | Guillaume Horel <guillaume.horel@gmail.com> | 2012-03-02 01:01:21 -0500 |
| commit | 23afff670e90583ba9206f37e7b7dfc772b585db (patch) | |
| tree | ce9fb5a091cded32ada5d8340bed82e8b1b36e5b /dev-ml/zarith/files/zarith-1.0-optnotrequired.patch | |
| parent | [dev-ml/lacaml] version bump (diff) | |
| download | sci-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.patch | 22 |
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 +-- |