[Pkg-ocaml-maint-commits] r5539 - in /trunk/packages/ergo/trunk/debian/patches: 00list 01_Makefile_clean_target.dpatch 01_better_Makefile.dpatch

[dogguy-guest at users.alioth.debian.org]

Author: dogguy-guest
Date: Mon Apr 21 13:17:42 2008
New Revision: 5539

URL: http://svn.debian.org/wsvn/pkg-ocaml-maint/?sc=1&rev=5539
Log:

- Lablgtk2 is not used yet in Alt-Ergo !
- Removing debug flag "-g"


Added:
    trunk/packages/ergo/trunk/debian/patches/01_better_Makefile.dpatch   (with props)
Removed:
    trunk/packages/ergo/trunk/debian/patches/01_Makefile_clean_target.dpatch
Modified:
    trunk/packages/ergo/trunk/debian/patches/00list

Modified: trunk/packages/ergo/trunk/debian/patches/00list
URL: http://svn.debian.org/wsvn/pkg-ocaml-maint/trunk/packages/ergo/trunk/debian/patches/00list?rev=5539&op=diff
==============================================================================
--- trunk/packages/ergo/trunk/debian/patches/00list (original)
+++ trunk/packages/ergo/trunk/debian/patches/00list Mon Apr 21 13:17:42 2008
@@ -1,1 +1,1 @@
-01_Makefile_clean_target
+01_better_Makefile

Added: trunk/packages/ergo/trunk/debian/patches/01_better_Makefile.dpatch
URL: http://svn.debian.org/wsvn/pkg-ocaml-maint/trunk/packages/ergo/trunk/debian/patches/01_better_Makefile.dpatch?rev=5539&op=file
==============================================================================
--- trunk/packages/ergo/trunk/debian/patches/01_better_Makefile.dpatch (added)
+++ trunk/packages/ergo/trunk/debian/patches/01_better_Makefile.dpatch Mon Apr 21 13:17:42 2008
@@ -1,0 +1,29 @@
+#! /bin/sh /usr/share/dpatch/dpatch-run
+## 02_better_Makefile.dpatch by  <dogguy at potassium.pps.jussieu.fr>
+##
+## All lines beginning with `## DP:' are a description of the patch.
+## DP: No description.
+
+ at DPATCH@
+diff -urNad trunk~/Makefile.in trunk/Makefile.in
+--- trunk~/Makefile.in	2008-03-06 19:21:45.000000000 +0100
++++ trunk/Makefile.in	2008-04-21 15:12:21.000000000 +0200
+@@ -49,8 +49,8 @@
+ 
+ INCLUDES = 
+ GTKFLAGS = @INCLUDEGTK2@
+-BFLAGS = -dtypes -g $(INCLUDES) $(GTKFLAGS)
+-OFLAGS = -dtypes $(INCLUDES) $(GTKFLAGS)
++BFLAGS = -dtypes $(INCLUDES) 
++OFLAGS = -dtypes $(INCLUDES) 
+ 
+ 
+ BIBBYTE=nums.cma unix.cma
+@@ -324,6 +324,7 @@
+ 
+ clean::
+ 	rm -f *.cm[iox] *.o *~
++	rm -f *.annot *.cmxa *.cma *.a
+ 	rm -f $(GENERATED) parser.output
+ 	rm -f $(NAME).byte $(NAME).opt
+ 	rm -f unittest/*.cm[iox] unittest/*.o unittest/*.annot

Propchange: trunk/packages/ergo/trunk/debian/patches/01_better_Makefile.dpatch
------------------------------------------------------------------------------
    svn:executable = *