diff options
Diffstat (limited to 'math/why3/files/patch-configure')
| -rw-r--r-- | math/why3/files/patch-configure | 11 |
1 files changed, 0 insertions, 11 deletions
diff --git a/math/why3/files/patch-configure b/math/why3/files/patch-configure deleted file mode 100644 index a77a48d32137..000000000000 --- a/math/why3/files/patch-configure +++ /dev/null @@ -1,11 +0,0 @@ ---- configure.orig 2014-03-14 15:01:05 UTC -+++ configure -@@ -3427,7 +3427,7 @@ fi - - #if ocamlfind is used it gives the install path for ocaml library - if test "$USEOCAMLFIND" = yes; then -- OCAMLINSTALLLIB=$(ocamlfind printconf destdir) -+ OCAMLINSTALLLIB=$(ocamlfind printconf destdir | sed 's/:.*//') - else - OCAMLINSTALLLIB=$OCAMLLIB - fi |