[Pkg-ocaml-maint-commits] [alt-ergo] 03/15: refresh patch 0001-No-need-to-activate-debug-flag.patch

[Ralf Treinen]

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

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

commit 99bea101141cfe00d00ea3bbc0afec34d1b42bd8
Author: Ralf Treinen <treinen at pps.univ-paris-diderot.fr>
Date:   Tue Nov 5 14:17:24 2013 +0100

    refresh patch 0001-No-need-to-activate-debug-flag.patch
---
 debian/changelog                                     |    5 +++--
 .../0001-No-need-to-activate-debug-flag.patch        |   18 +++++++-----------
 2 files changed, 10 insertions(+), 13 deletions(-)

diff --git a/debian/changelog b/debian/changelog
index c38cc3f..afc4ccb 100644
--- a/debian/changelog
+++ b/debian/changelog
@@ -1,8 +1,9 @@
-alt-ergo (0.95.1-4) UNRELEASED; urgency=low
+alt-ergo (0.95.2-1) UNRELEASED; urgency=low
 
   * update debian/watch, now points to ocamlpro site.
+  * refresh patch 0001-No-need-to-activate-debug-flag.patch
 
- -- Ralf Treinen <treinen at debian.org>  Tue, 05 Nov 2013 08:45:44 +0100
+ -- Ralf Treinen <treinen at debian.org>  Tue, 05 Nov 2013 14:16:57 +0100
 
 alt-ergo (0.95.1-3) unstable; urgency=low
 
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 dc67acc..b991e2b 100644
--- a/debian/patches/0001-No-need-to-activate-debug-flag.patch
+++ b/debian/patches/0001-No-need-to-activate-debug-flag.patch
@@ -2,20 +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 files changed, 1 insertions(+), 1 deletions(-)
-
 Index: alt-ergo/Makefile.in
 ===================================================================
---- alt-ergo.orig/Makefile.in	2013-04-03 16:59:33.165535699 +0200
-+++ alt-ergo/Makefile.in	2013-04-03 16:59:46.605606302 +0200
-@@ -56,7 +56,7 @@
- 
- INCLUDES = @OCAMLGRAPHLIB@ @LABLGTK2LIB@
+--- alt-ergo.orig/Makefile.in	2013-11-05 14:08:57.000000000 +0100
++++ alt-ergo/Makefile.in	2013-11-05 14:14:57.000000000 +0100
+@@ -55,7 +55,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 $(INCLUDES) -for-pack AltErgo
+ OFLAGS = -annot -inline 1000 $(INCLUDES) -for-pack AltErgo
  
- BIBBYTE = nums.cma graph.cma unix.cma
+ 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