[Pkg-ocaml-maint-commits] [SCM] apron packaging branch, master, updated. debian/0.9.10-3-6-g51e4283

[Samuel Mimram]

The following commit has been merged in the master branch:
commit 51e4283f3e0302164c00065e1b952231f9525132
Author: Samuel Mimram <samuel.mimram at ens-lyon.org>
Date:   Sun Jan 17 14:47:29 2010 +0100

    Added oct_static patch in order to install oct*.a.

diff --git a/debian/changelog b/debian/changelog
index 55d27c9..fc783ad 100644
--- a/debian/changelog
+++ b/debian/changelog
@@ -7,8 +7,9 @@ apron (0.9.10-4) UNRELEASED; urgency=low
   [ Samuel Mimram ]
   * Added link patch in order to resolve symbols, closes: #558838.
   * Fix nonopt patch to build gmp.cmxa.
+  * Added oct_static patch in order to install oct*.a.
 
- -- Samuel Mimram <smimram at debian.org>  Sun, 17 Jan 2010 14:34:03 +0100
+ -- Samuel Mimram <smimram at debian.org>  Sun, 17 Jan 2010 14:46:55 +0100
 
 apron (0.9.10-3) unstable; urgency=low
 
diff --git a/debian/patches/oct_static b/debian/patches/oct_static
new file mode 100644
index 0000000..05c7deb
--- /dev/null
+++ b/debian/patches/oct_static
@@ -0,0 +1,13 @@
+Index: apron/apron/octagons/Makefile
+===================================================================
+--- apron.orig/apron/octagons/Makefile	2010-01-17 14:45:44.000000000 +0100
++++ apron/apron/octagons/Makefile	2010-01-17 14:45:53.000000000 +0100
+@@ -138,7 +138,7 @@
+ 	for i in octtest?? octtop?? octrun??; do \
+ 		if test -f $$i; then $(INSTALL) $$i $(BINDIR); fi; \
+ 	done
+-	for i in oct.mli oct.cmi oct.cmx oct*.cma oct*.cmxa oct.a; do \
++	for i in oct.mli oct.cmi oct.cmx oct*.cma oct*.cmxa oct*.a; do \
+ 		if test -f $$i; then $(INSTALL) $$i $(LIBDIR); fi; \
+ 	done
+ 
diff --git a/debian/patches/series b/debian/patches/series
index 2d6d665..97f4831 100644
--- a/debian/patches/series
+++ b/debian/patches/series
@@ -2,3 +2,4 @@ rpath.diff
 soname.diff
 nonopt.diff
 link
+oct_static

-- 
apron packaging