diff options
Diffstat (limited to 'configure')
-rwxr-xr-x | configure | 24 |
1 files changed, 0 insertions, 24 deletions
@@ -39,9 +39,6 @@ debugruntime=noruntimed with_sharedlibs=yes gcc_warnings="-Wall" partialld="ld -r" -with_debugger=ocamldebugger -with_ocamldoc=ocamldoc -with_ocamlbuild=ocamlbuild with_frame_pointers=false no_naked_pointers=false TOOLPREF="" @@ -139,12 +136,6 @@ while : ; do verbose=yes;; -with-debug-runtime|--with-debug-runtime) debugruntime=runtimed;; - -no-debugger|--no-debugger) - with_debugger="";; - -no-ocamldoc|--no-ocamldoc) - with_ocamldoc="";; - -no-ocamlbuild|--no-ocamlbuild) - with_ocamlbuild="";; -with-frame-pointers|--with-frame-pointers) with_frame_pointers=true;; -no-naked-pointers|--no-naked-pointers) @@ -1317,18 +1308,6 @@ if sh ./hasgot nice; then echo "#define HAS_NICE" >> s.h fi -# Determine if the debugger is supported - -if test -n "$with_debugger"; then - if test "$has_sockets" = "yes"; then - inf "Replay debugger supported." - with_debugger="ocamldebugger" - else - inf "No replay debugger (missing system calls)" - with_debugger="" - fi -fi - # Determine if system stack overflows can be detected case "$arch,$system" in @@ -1706,9 +1685,6 @@ echo "MKEXEDEBUGFLAG=$mkexedebugflag" >> Makefile echo "MKDLL=$mksharedlib" >> Makefile echo "MKMAINDLL=$mkmaindll" >> Makefile echo "RUNTIMED=${debugruntime}" >>Makefile -echo "WITH_DEBUGGER=${with_debugger}" >>Makefile -echo "WITH_OCAMLDOC=${with_ocamldoc}" >>Makefile -echo "WITH_OCAMLBUILD=${with_ocamlbuild}" >>Makefile echo "ASM_CFI_SUPPORTED=$asm_cfi_supported" >> Makefile echo "WITH_FRAME_POINTERS=$with_frame_pointers" >> Makefile echo "TARGET=$target" >> Makefile |