summaryrefslogtreecommitdiffstats
path: root/configure
diff options
context:
space:
mode:
Diffstat (limited to 'configure')
-rwxr-xr-xconfigure24
1 files changed, 0 insertions, 24 deletions
diff --git a/configure b/configure
index 1be4682a3..7f0128489 100755
--- a/configure
+++ b/configure
@@ -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