[Pkg-ocaml-maint-commits] [alt-ergo] 06/11: update patch 0001-No-need-to-activate-debug-flag

[Ralf Treinen]

This is an automated email from the git hooks/post-receive script.

treinen pushed a commit to branch experimental/master
in repository alt-ergo.

commit adafe159ad33887906cfd0d0a9fd682f0784c645
Author: Ralf Treinen <treinen at free.fr>
Date:   Tue Dec 30 18:31:35 2014 +0100

    update patch 0001-No-need-to-activate-debug-flag
---
 debian/changelog                                   |  4 +++-
 .../0001-No-need-to-activate-debug-flag.patch      | 23 +++++++++-------------
 2 files changed, 12 insertions(+), 15 deletions(-)

diff --git a/debian/changelog b/debian/changelog
index 49b3664..1ba440c 100644
--- a/debian/changelog
+++ b/debian/changelog
@@ -4,8 +4,10 @@ alt-ergo (0.99.1+dfsg1-1) unstable; urgency=medium
   * debian/copyright: add Files-Excluded: nonfree
   * debian/rules override for dh_auto_clean target: call "make clean" only
     when config.status present.
+  * update debian patch 0001-No-need-to-activate-debug-flag which now applies
+    to the file Makefile.users
 
- -- Ralf Treinen <treinen at debian.org>  Tue, 30 Dec 2014 18:22:06 +0100
+ -- Ralf Treinen <treinen at debian.org>  Tue, 30 Dec 2014 18:31:16 +0100
 
 alt-ergo (0.95.2-3) sid; urgency=medium
 
diff --git a/debian/patches/0001-No-need-to-activate-debug-flag.patch b/debian/patches/0001-No-need-to-activate-debug-flag.patch
index da2dec0..62404f2 100644
--- a/debian/patches/0001-No-need-to-activate-debug-flag.patch
+++ b/debian/patches/0001-No-need-to-activate-debug-flag.patch
@@ -2,21 +2,16 @@ From: Mehdi Dogguy <mehdi at debian.org>
 Date: Tue, 1 Jun 2010 20:41:04 +0200
 Subject: No need to activate debug flag
 
----
- Makefile.in |    2 +-
- 1 file changed, 1 insertion(+), 1 deletion(-)
-
-diff --git a/Makefile.in b/Makefile.in
-index abe08ee..6da1c3f 100644
---- a/Makefile.in
-+++ b/Makefile.in
-@@ -55,7 +55,7 @@ LOCAL_INC = -I src/util -I src/structures -I src/theories -I src/instances -I sr
- INCLUDES = @ZARITHLIB@ @OCAMLGRAPHLIB@ @LABLGTK2LIB@ $(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"
+Index: alt-ergo/Makefile.users
+===================================================================
+--- alt-ergo.orig/Makefile.users	2014-12-30 18:27:36.311316118 +0100
++++ alt-ergo/Makefile.users	2014-12-30 18:28:37.207317103 +0100
+@@ -9,7 +9,7 @@
+ INCLUDES = $(ZARITHLIB) $(OCAMLGRAPHLIB) $(LABLGTK2LIB) $(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 -g $(INCLUDES)
 +BFLAGS = -annot $(INCLUDES)
- OFLAGS = -annot -inline 1000 $(INCLUDES) -for-pack AltErgo
+ OFLAGS = -annot -inline 100 $(INCLUDES)
+ # -for-pack AltErgo
  
- BIBBYTE = zarith.cma nums.cma graph.cma unix.cma
--- 

-- 
Alioth's /usr/local/bin/git-commit-notice on /srv/git.debian.org/git/pkg-ocaml-maint/packages/alt-ergo.git