[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 56b79de30b990ad8013db2dd47d5386300b47539
Author: Samuel Mimram <samuel.mimram at ens-lyon.org>
Date:   Sun Jan 17 14:46:34 2010 +0100

    Fix nonopt patch to build gmp.cmxa.

diff --git a/debian/changelog b/debian/changelog
index 9cb1cbc..55d27c9 100644
--- a/debian/changelog
+++ b/debian/changelog
@@ -6,8 +6,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.
 
- -- Samuel Mimram <smimram at debian.org>  Wed, 02 Dec 2009 16:32:57 +0100
+ -- Samuel Mimram <smimram at debian.org>  Sun, 17 Jan 2010 14:34:03 +0100
 
 apron (0.9.10-3) unstable; urgency=low
 
diff --git a/debian/patches/nonopt.diff b/debian/patches/nonopt.diff
index e791051..f0b8a13 100644
--- a/debian/patches/nonopt.diff
+++ b/debian/patches/nonopt.diff
@@ -9,7 +9,7 @@ Index: apron/mlgmpidl/Makefile
 -all: $(MLSRC) $(MLINT) $(MLOBJ) $(MLOBJx) gmp.cma gmp.cmxa libgmp_caml.a
 +all: $(MLSRC) $(MLINT) $(MLOBJ) gmp.cma libgmp_caml.a
 +
-+ifeq ($(OCAML_BEST),"opt")
++ifeq ($(OCAML_BEST),opt)
 +all: $(MLOBJx) gmp.cmxa
 +endif
  

-- 
apron packaging