diff options
Diffstat (limited to 'configure')
| -rwxr-xr-x | configure | 16 |
1 files changed, 16 insertions, 0 deletions
@@ -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" |