[Pkg-ocaml-maint-commits] [SCM] camomile packaging branch, master, updated. debian/0.7.2-2-17-gb2e6e45

[Stephane Glondu]

The following commit has been merged in the master branch:
commit be7cdbaab1d76e566a5497c52f7775de3f6e791a
Author: Stephane Glondu <steph at glondu.net>
Date:   Fri Jul 29 19:46:45 2011 +0200

    Install missing camomileLibrary.a

diff --git a/debian/patches/0002-Install-missing-camomileLibrary.a.patch b/debian/patches/0002-Install-missing-camomileLibrary.a.patch
new file mode 100644
index 0000000..23d300d
--- /dev/null
+++ b/debian/patches/0002-Install-missing-camomileLibrary.a.patch
@@ -0,0 +1,23 @@
+From: Stephane Glondu <steph at glondu.net>
+Date: Fri, 29 Jul 2011 19:46:45 +0200
+Subject: Install missing camomileLibrary.a
+
+Signed-off-by: Stephane Glondu <steph at glondu.net>
+---
+ Makefile.in |    2 +-
+ 1 files changed, 1 insertions(+), 1 deletions(-)
+
+diff --git a/Makefile.in b/Makefile.in
+index e1fc579..45dc0ac 100644
+--- a/Makefile.in
++++ b/Makefile.in
+@@ -406,7 +406,7 @@ install-with-ocamlfind:
+ 	files= &&\
+ 	if [ -f camomileLibrary.cmx ]; then files=camomileLibrary.cmx; fi && \
+ 	if [ -f camomileLibrary.cma ]; then files="camomileLibrary.cma $$files"; fi && \
+-	if [ -f camomileLibrary.cmxa ]; then files="camomileLibrary.cmxa $$files"; fi && \
++	if [ -f camomileLibrary.cmxa ]; then files="camomileLibrary.cmxa camomileLibrary.a $$files"; fi && \
+ 	if [ -f camomileLibraryDefault.cmx ]; then files="camomileLibraryDefault.cmx $$files"; fi && \
+ 	if [ -f camomileLibraryDyn.cmx ]; then files="camomileLibraryDyn.cmx $$files"; fi && \
+ 	if [ -f camomile.cma ]; then files="camomile.cma $$files"; fi&& \
+-- 
diff --git a/debian/patches/series b/debian/patches/series
index c1d1692..e5a8a8f 100644
--- a/debian/patches/series
+++ b/debian/patches/series
@@ -1 +1,2 @@
 0001-Makefile.patch
+0002-Install-missing-camomileLibrary.a.patch

-- 
camomile packaging