Commit 7b002aa8 authored by Francois Bobot's avatar Francois Bobot

Add option for profiling configuration with .opt

parent 017deebd
......@@ -62,6 +62,11 @@ CAMLP5O = @CAMLP5O@
BFLAGS = -w Ae -dtypes -g -I src $(INCLUDES)
OFLAGS = -w Ae -dtypes -I src $(INCLUDES)
ifeq (@ENABLE_PROFILING@,yes)
OFLAGS += -g -p
STRIP = true
endif
# external libraries common to all binaries
ifeq (@enable_plugins@,yes)
......
......@@ -89,6 +89,12 @@ AC_ARG_ENABLE(hypothesis-selection,
[ --enable-hypothesis-selection enable hypothesis selection support],,
enable_hypothesis_selection=yes)
# profiling
ENABLE_PROFILING=yes
AC_ARG_ENABLE(profiling,
[ --enable-profiling enable profiling],,
ENABLE_PROFILING=no)
# Check for arch/OS
AC_MSG_CHECKING(executable suffix)
......@@ -308,6 +314,7 @@ AC_SUBST(OCAMLDOC)
AC_SUBST(OCAMLBEST)
AC_SUBST(OCAMLVERSION)
AC_SUBST(OCAMLLIB)
AC_SUBST(ENABLE_PROFILING)
dnl AC_SUBST(OCAMLV)
dnl AC_SUBST(FORPACK)
dnl AC_SUBST(OCAMLGRAPHLIB)
......@@ -359,3 +366,4 @@ if test "$enable_coq_support" = "yes" ; then
fi
echo "tptp2why support : $enable_tptp2why_support"
echo "hypothesis selection : $enable_hypothesis_selection"
echo "profiling : $ENABLE_PROFILING"
\ No newline at end of file
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