[Pkg-ocaml-maint-commits] [SCM] pcre-ocaml packaging branch, master, updated. debian/6.2.3-1-7-gd4edfcf

[Stephane Glondu]

The following commit has been merged in the master branch:
commit b2c1dec8fb70b9a725eec49238934d584934ecc9
Author: Stephane Glondu <steph at glondu.net>
Date:   Sun Jan 1 16:11:14 2012 +0100

    Compile with debugging symbols (Closes: #649863)

diff --git a/debian/patches/0003-Compile-with-debugging-symbols.patch b/debian/patches/0003-Compile-with-debugging-symbols.patch
new file mode 100644
index 0000000..945b197
--- /dev/null
+++ b/debian/patches/0003-Compile-with-debugging-symbols.patch
@@ -0,0 +1,28 @@
+From: Stephane Glondu <steph at glondu.net>
+Date: Sun, 1 Jan 2012 16:09:28 +0100
+Subject: Compile with debugging symbols
+
+Bug-Debian: http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=649863
+---
+ Makefile |    4 ++--
+ 1 files changed, 2 insertions(+), 2 deletions(-)
+
+diff --git a/Makefile b/Makefile
+index a3c84ed..a66ec71 100644
+--- a/Makefile
++++ b/Makefile
+@@ -4,11 +4,11 @@ EXAMPLES = $(filter-out examples/OMakefile examples/CVS, $(wildcard examples/*))
+ 
+ .PHONY: all
+ all:
+-	@cd lib && $(MAKE) byte-code-library
++	@cd lib && $(MAKE) debug-code-library
+ 
+ .PHONY: opt
+ opt:
+-	@cd lib && $(MAKE) byte-code-library native-code-library
++	@cd lib && $(MAKE) debug-code-library debug-native-code-library
+ 
+ 
+ .PHONY:	examples
+-- 
diff --git a/debian/patches/series b/debian/patches/series
index fff5e9e..43bc890 100644
--- a/debian/patches/series
+++ b/debian/patches/series
@@ -1,2 +1,3 @@
 0001-enable-byte-only-build.patch
 0002-build-PIC-shared-objects.patch
+0003-Compile-with-debugging-symbols.patch

-- 
pcre-ocaml packaging