Add -with-frame-pointers to ./configurewith-frame-pointers

git-svn-id: http://caml.inria.fr/svn/ocaml/branches/with-frame-pointers@13729 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02

1 files changed, 16 insertions, 0 deletions

diff --git a/configure b/configure
index e89076d69d..599d855ada 100755
--- a/configure
+++ b/configure
@@ -43,6 +43,7 @@ withsharedlibs=yes
 gcc_warnings="-Wall"
 partialld="ld -r"
 withcamlp4=camlp4
+with_frame_pointers=false
 
 # Try to turn internationalization off, can cause config.guess to malfunction!
 unset LANG
@@ -115,6 +116,8 @@ while : ; do
         debugruntime=runtimed;;
     -no-camlp4|--no-camlp4)
         withcamlp4="";;
+    -with-frame-pointers|--with-frame-pointers)
+        with_frame_pointers=true;;
     *) echo "Unknown option \"$1\"." 1>&2; exit 2;;
   esac
   shift
@@ -1577,6 +1580,13 @@ else
   echo "Assembler does not support CFI"
 fi
 
+if test "$with_frame_pointers" = "true"; then
+  nativecccompopts="$nativecccompopts -g"
+  nativecclinkopts="$nativecclinkopts -g"
+  echo "#define WITH_FRAME_POINTERS" >> m.h
+fi
+
+
 # Final twiddling of compiler options to work around known bugs
 
 nativeccprofopts="$nativecccompopts"
@@ -1650,6 +1660,7 @@ echo "MKMAINDLL=$mkmaindll" >> Makefile
 echo "RUNTIMED=${debugruntime}" >>Makefile
 echo "CAMLP4=${withcamlp4}" >>Makefile
 echo "ASM_CFI_SUPPORTED=$asm_cfi_supported" >> Makefile
+echo "WITH_FRAME_POINTERS=$with_frame_pointers" >> Makefile
 if [ "$ostype" = Cygwin ]; then
   echo "DIFF=diff -q --strip-trailing-cr" >>Makefile
 fi
@@ -1703,6 +1714,11 @@ else
   else
   echo "        assembler supports CFI ... no"
   fi
+  if test "$with_frame_pointers" = "true"; then
+  echo "        with frame pointers....... yes"
+  else
+  echo "        with frame pointers....... no"
+  fi
   echo "        native dynlink ........... $natdynlink"
   if test "$profiling" = "prof"; then
   echo "        profiling with gprof ..... supported"