diff options
| -rw-r--r-- | math/why3/Makefile | 1 | ||||
| -rw-r--r-- | math/why3/files/patch-configure | 11 |
2 files changed, 12 insertions, 0 deletions
diff --git a/math/why3/Makefile b/math/why3/Makefile index b3df4aada4cb..85d953f594cb 100644 --- a/math/why3/Makefile +++ b/math/why3/Makefile @@ -27,6 +27,7 @@ INSTALL_TARGET= install-all USES= gmake USE_OCAML= yes +USE_OCAML_FINDLIB= yes FEDORA= ${DISTNAME}${EXTRACT_SUFX}/35f99e5f64939e50ea57f641ba2073ec ALL_TARGET= all byte 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 |