The following commit has been merged in the master branch: commit b2c1dec8fb70b9a725eec49238934d584934ecc9 Author: Stephane Glondu <st...@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 <st...@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 _______________________________________________ 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