diff options
Diffstat (limited to 'configure')
| -rwxr-xr-x | configure | 8 |
1 files changed, 0 insertions, 8 deletions
@@ -39,7 +39,6 @@ debugruntime=noruntimed with_sharedlibs=yes gcc_warnings="-Wall" partialld="ld -r" -with_camlp4=camlp4 with_debugger=ocamldebugger with_ocamldoc=ocamldoc with_ocamlbuild=ocamlbuild @@ -143,8 +142,6 @@ while : ; do verbose=yes;; -with-debug-runtime|--with-debug-runtime) debugruntime=runtimed;; - -no-camlp4|--no-camlp4) - with_camlp4="";; -no-debugger|--no-debugger) with_debugger="";; -no-ocamldoc|--no-ocamldoc) @@ -185,10 +182,6 @@ case "$mandir" in *) err 'The -mandir directory must be absolute or relative to $(PREFIX).';; esac -if test -n "$with_camlp4" -a -z "$with_ocamlbuild"; then - err "Camlp4 is enabled but not ocamlbuild; building camlp4 is not possible without building ocamlbuild." -fi - # Generate the files cd config/auto-aux @@ -1708,7 +1701,6 @@ echo "MKEXEDEBUGFLAG=$mkexedebugflag" >> Makefile echo "MKDLL=$mksharedlib" >> Makefile echo "MKMAINDLL=$mkmaindll" >> Makefile echo "RUNTIMED=${debugruntime}" >>Makefile -echo "WITH_CAMLP4=${with_camlp4}" >>Makefile echo "WITH_DEBUGGER=${with_debugger}" >>Makefile echo "WITH_OCAMLDOC=${with_ocamldoc}" >>Makefile echo "WITH_OCAMLBUILD=${with_ocamlbuild}" >>Makefile |