From: Mehdi Dogguy <mehdi@debian.org>
Date: Tue, 1 Jun 2010 20:41:04 +0200
Subject: No need to activate debug flag

Index: alt-ergo/Makefile.users
===================================================================
--- alt-ergo.orig/Makefile.users	2019-02-13 16:46:56.499585886 +0100
+++ alt-ergo/Makefile.users	2019-02-13 16:47:28.211441067 +0100
@@ -11,8 +11,8 @@
 INCLUDES = $(ZARITHLIB) $(LABLGTK2LIB)  $(CAMLZIPLIB) $(OCPLIBSIMPLEXLIB) $(LOCAL_INC)
 #for coverage # -I /usr/local/lib/ocaml/3.12.1/bisect -pp "camlp4o str.cma /usr/local/lib/ocaml/3.12.1/bisect/bisect_pp.cmo"
 
-BFLAGS = -annot -absname -bin-annot -short-paths -strict-sequence -g $(INCLUDES)
-OFLAGS = -annot -absname -bin-annot -short-paths -strict-sequence -g -inline 100 $(INCLUDES) -for-pack AltErgo
+BFLAGS = -annot -absname -bin-annot -short-paths -strict-sequence $(INCLUDES)
+OFLAGS = -annot -absname -bin-annot -short-paths -strict-sequence -inline 100 $(INCLUDES) -for-pack AltErgo
 
 BIBBYTE = zarith.cma nums.cma unix.cma dynlink.cma str.cma zip.cma ocplibSimplex.cma
 # for coverage bisect.cma 
