diff options
| -rw-r--r-- | Makefile.in | 2 | ||||
| -rwxr-xr-x | configure | 2 |
2 files changed, 2 insertions, 2 deletions
diff --git a/Makefile.in b/Makefile.in index fe01d9ac..a6b85662 100644 --- a/Makefile.in +++ b/Makefile.in @@ -38,7 +38,7 @@ CFG_STDLIB :=$(call CFG_LIB_NAME,std) ifdef CFG_OCAMLC_OPT $(info cfg: have ocaml native compiler) OPT=.opt -else +else ifdef CFG_OCAMLC $(info cfg: have only ocaml bytecode compiler) endif @@ -186,13 +186,13 @@ putvar CFG_CONFIGURE_ARGS step_msg "looking for build programs" probe_need CFG_GCC gcc probe_need CFG_GIT git -probe_need CFG_OCAMLC ocamlc probe_need CFG_PERL perl probe_need CFG_PYTHON python probe_need CFG_CURL curl probe CFG_LLVM_CONFIG llvm-config probe CFG_VALGRIND valgrind +probe CFG_OCAMLC ocamlc probe CFG_OCAMLOPT ocamlopt probe CFG_OCAMLC_OPT ocamlc.opt probe CFG_OCAMLOPT_OPT ocamlopt.opt |