From 0d68f2e1e1005478557ffa64b1a3eb95d0f2214b Mon Sep 17 00:00:00 2001
From: Andrei Paskevich <andrei@lri.fr>
Date: Tue, 30 Oct 2012 17:27:38 +0100
Subject: [PATCH] compile in native with -g

+ remove --enable-debug from ./configure
---
 Makefile.in  | 8 ++------
 configure.in | 8 --------
 2 files changed, 2 insertions(+), 14 deletions(-)

diff --git a/Makefile.in b/Makefile.in
index 129f044d3..3a70cc0de 100644
--- a/Makefile.in
+++ b/Makefile.in
@@ -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
diff --git a/configure.in b/configure.in
index 88e8203d6..0dc90fbdf 100644
--- a/configure.in
+++ b/configure.in
@@ -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"
-- 
GitLab