diff options
Diffstat (limited to 'config')
-rw-r--r-- | config/Makefile.template | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/config/Makefile.template b/config/Makefile.template index fc8af173f..a48bbceb9 100644 --- a/config/Makefile.template +++ b/config/Makefile.template @@ -58,6 +58,7 @@ COQIDEINCLUDES=LABLGTKINCLUDES # Objective-Caml compile command OCAML="OCAMLEXEC" OCAMLC="BYTECAMLC" +OCAMLMKLIB="OCAMLMKLIBEXEC" OCAMLOPT="NATIVECAMLC" OCAMLDEP="OCAMLDEPEXEC" OCAMLDOC="OCAMLDOCEXEC" |