Commit 0d68f2e1 authored by Andrei Paskevich's avatar Andrei Paskevich

compile in native with -g

+ remove --enable-debug from ./configure
parent e4e2cc81
......@@ -61,16 +61,12 @@ HACHA = @HACHA@
#PSVIEWER = @PSVIEWER@
#PDFVIEWER = @PDFVIEWER@
OFLAGS = -w Aer-29 -dtypes -I lib/why3 $(INCLUDES)
OFLAGS = -w Aer-29 -dtypes -g -I lib/why3 $(INCLUDES)
BFLAGS = -w Aer-29 -dtypes -g -I lib/why3 $(INCLUDES)
OLINKFLAGS = -linkall $(EXTCMXA)
BLINKFLAGS = -linkall $(EXTCMA)
ifeq (@enable_debug@,yes)
OFLAGS += -g
endif
ifeq (@enable_profiling@,yes)
OFLAGS += -g -p
endif
......@@ -1282,7 +1278,7 @@ STDLIBS = algebra \
option \
real \
relations \
set
set
# function ? sum ? tptp ?
STDMODS = arith array hashtbl impset pqueue queue random ref stack string
......
......@@ -109,12 +109,6 @@ AC_ARG_ENABLE(doc,
[ --enable-doc build documentation],,
enable_doc=yes)
# debug symbols
AC_ARG_ENABLE(debug,
[ --enable-debug enable debugging symbols],,
enable_debug=no)
# profiling
AC_ARG_ENABLE(profiling,
......@@ -567,7 +561,6 @@ dnl AC_SUBST(FORPACK)
AC_SUBST(OCAMLGRAPHLIB)
dnl AC_SUBST(OCAMLWEB)
AC_SUBST(enable_debug)
AC_SUBST(enable_profiling)
AC_SUBST(CAMLP5O)
......@@ -653,7 +646,6 @@ if test "$enable_pvs_support" = "yes" ; then
fi
fi
echo "hypothesis selection : $enable_hypothesis_selection"
echo "debugging symbols : $enable_debug"
echo "profiling : $enable_profiling"
echo "relocatable install : $enable_relocation"
echo "localdir : $enable_local"
Markdown is supported
0%
or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment