diff options
Diffstat (limited to 'math/why3/files')
| -rw-r--r-- | math/why3/files/patch-configure | 11 |
1 files changed, 11 insertions, 0 deletions
diff --git a/math/why3/files/patch-configure b/math/why3/files/patch-configure new file mode 100644 index 000000000000..a77a48d32137 --- /dev/null +++ b/math/why3/files/patch-configure @@ -0,0 +1,11 @@ +--- 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 |