diff options
Diffstat (limited to 'tools/configure.ac')
| -rw-r--r-- | tools/configure.ac | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/tools/configure.ac b/tools/configure.ac index 2bd71b6adc..de5d085974 100644 --- a/tools/configure.ac +++ b/tools/configure.ac @@ -86,7 +86,8 @@ AS_IF([test "x$xapi" = "xy"], [ ]) AS_IF([test "x$ocamltools" = "xy"], [ AC_PROG_OCAML - AS_IF([test "x$OCAMLC" = "xno"], [ + AC_PROG_FINDLIB + AS_IF([test "x$OCAMLC" = "xno" || test "x$OCAMLFIND" = "xno"], [ AS_IF([test "x$enable_ocamltools" = "xyes"], [ AC_MSG_ERROR([Ocaml tools enabled, but unable to find Ocaml])]) ocamltools="n" |