diff --git a/configure.in b/configure.in index e69581569f00cf14de9621a8f67de78134ff186c..2144a54b58164afe13af258597cb3b71a0c6c87c 100644 --- a/configure.in +++ b/configure.in @@ -883,7 +883,8 @@ if ($OCAMLOPT -shared -linkall -o test_dynlink.cmxs test_dynlink.ml) \ then AC_MSG_RESULT([native dynlink works fine. Great.]) else - AC_MSG_ERROR([native dynlink does not work.]) + AC_MSG_WARN([Native dynlink does not work, disabling native compilation.]) + OCAMLBEST=byte fi rm -f test_dynlink.*