diff options
| author | John Marino <marino@FreeBSD.org> | 2017-01-29 23:39:24 +0000 |
|---|---|---|
| committer | John Marino <marino@FreeBSD.org> | 2017-01-29 23:39:24 +0000 |
| commit | ca546db10d64dbda13ec37069e75365c31594598 (patch) | |
| tree | 21f40b50a129d0a727458b9b20ee7653a6237cc5 /math/why3/files/patch-configure | |
| parent | This library provides GObject bindings for libudev. (diff) | |
math/why3: Unbreak after ocaml-findlib change
Use the same technique madpilot used on x11-toolkits/ocaml-lablgtk2
to restore the build after the (unexpected) changed to the output
of ocamlfindlib during its update to 1.7.1
While here, document previously unknown ocamlfind requirement.
Diffstat (limited to 'math/why3/files/patch-configure')
| -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 |