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 <trei...@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 <trei...@debian.org> Tue, 30 Dec 2014 18:22:06 +0100 + -- Ralf Treinen <trei...@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 <me...@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 _______________________________________________ Pkg-ocaml-maint-commits mailing list Pkg-ocaml-maint-commits@lists.alioth.debian.org http://lists.alioth.debian.org/cgi-bin/mailman/listinfo/pkg-ocaml-maint-commits