Commit f40a93ad authored by Andrei Paskevich's avatar Andrei Paskevich
Browse files

--enable-debug in configure

parent 45b47429
......@@ -74,6 +74,11 @@ BFLAGS = -w Aer-29 -dtypes -g -I src $(INCLUDES)
OLINKFLAGS = -linkall $(EXTCMXA)
BLINKFLAGS = -linkall $(EXTCMA)
ifeq (@enable_debug@,yes)
OFLAGS += -g
STRIP = true
endif
ifeq (@enable_profiling@,yes)
OFLAGS += -g -p
STRIP = true
......
......@@ -105,6 +105,12 @@ 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,
......@@ -489,6 +495,7 @@ dnl AC_SUBST(FORPACK)
AC_SUBST(OCAMLGRAPHLIB)
dnl AC_SUBST(OCAMLWEB)
AC_SUBST(enable_debug)
AC_SUBST(enable_profiling)
AC_SUBST(CAMLP5O)
......@@ -555,5 +562,6 @@ if test "$enable_coq_support" = "yes" ; then
fi
fi
echo "hypothesis selection : $enable_hypothesis_selection"
echo "debugging symbols : $enable_debug"
echo "profiling : $enable_profiling"
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