From 3cfcd1911515742c50cb7484984f99451dcfaeda Mon Sep 17 00:00:00 2001
From: Andre Maroneze <andre.oliveiramaroneze@cea.fr>
Date: Wed, 30 Aug 2017 17:26:54 +0200
Subject: [PATCH] [configure] allow bytecode compilation when native dynlink
 does not work

---
 configure.in | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/configure.in b/configure.in
index e69581569f0..2144a54b581 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.*
 
-- 
GitLab