1 files changed, 1 insertions, 0 deletions
diff --git a/configure b/configure
index 049155a383..1771756c85 100755
--- a/configure
+++ b/configure
@@ -890,6 +890,7 @@ sed -e "s|LOCALINSTALLATION|$local|" \
     -e "s|EXECUTEEXTENSION|$EXE|" \
     -e "s|BYTECAMLC|$bytecamlc|" \
     -e "s|NATIVECAMLC|$nativecamlc|" \
+    -e "s|OCAMLEXEC|$ocamlexec|" \
     -e "s|OCAMLDEPEXEC|$ocamldepexec|" \
     -e "s|OCAMLDOCEXEC|$ocamldocexec|" \
     -e "s|OCAMLLEXEXEC|$ocamllexexec|" \