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 f05caeff9..9432a8843 100644 --- a/config/Makefile.template +++ b/config/Makefile.template @@ -45,6 +45,7 @@ CAMLHLIB=CAMLLIBDIRECTORY/caml # Camlp4 library directory (avoid CAMLP4LIB used on Windows) CAMLP4O=CAMLP4TOOL +CAMLP4COMPAT=CAMLP4COMPATFLAGS MYCAMLP4LIB=CAMLP4LIBDIRECTORY # Objective-Caml compile command |