[Pkg-ocaml-maint-commits] [SCM] apron packaging branch, master, updated. upstream/0.9.10-19-gbddc28a

[Samuel Mimram]

The following commit has been merged in the master branch:
commit bddc28a9ba64ff7661bb31520c503c171d61b36d
Author: Samuel Mimram <samuel.mimram at ens-lyon.org>
Date:   Sun Oct 25 17:03:28 2009 +0100

    Install mlgmpidl.

diff --git a/debian/rules b/debian/rules
index 34a7884..c32272b 100755
--- a/debian/rules
+++ b/debian/rules
@@ -33,6 +33,7 @@ override_dh_auto_clean:
 override_dh_auto_install:
 	$(MAKE) install
 	$(MAKE) -C apron install
+	$(MAKE) -C mlgmpidl install
 	chmod -x debian/tmp/usr/lib/*
 	for i in libapron.so libboxD.so libboxMPFR.so libboxMPQ.so liboctD.so liboctMPQ.so libpolkaMPQ.so libpolkaRll.so; do \
 	    mv debian/tmp/usr/lib/$$i debian/tmp/usr/lib/$$i.0; \

-- 
apron packaging