[Pkg-ocaml-maint-commits] [SCM] why packaging branch, master, updated. debian/2.23+dfsg-1-10-g3de1ee2

[Mehdi Dogguy]

The following commit has been merged in the master branch:
commit 95f67bcba861f4b13ad039f760f8e71bc5261053
Author: Mehdi Dogguy <mehdi at debian.org>
Date:   Sun Jan 24 18:13:13 2010 +0100

    Don't install the Jessie library

diff --git a/debian/changelog b/debian/changelog
index abc00a4..4fce70c 100644
--- a/debian/changelog
+++ b/debian/changelog
@@ -13,7 +13,8 @@ why (2.23+dfsg-1) unstable; urgency=low
   * Fix debhelper-but-no-misc-depends
   * Fix out-of-date-standards-version
   * Set filter-pristine-tar to True in debian/gbp.conf
-  * Remove libjessie-ocaml-dev which is no longer user by Frama-C
+  * Remove libjessie-ocaml-dev which is no longer user by Frama-C and
+    don't install the Jessie library.
   * Update copyright file
   * Add camlidl to Build-depends: needed to enable Arpon support
 
diff --git a/debian/rules b/debian/rules
index c555ead..dd9a4e7 100755
--- a/debian/rules
+++ b/debian/rules
@@ -36,6 +36,10 @@ override_dh_auto_install:
 		COQLIB=$(CURDIR)/debian/libwhy-coq/$(COQ_STDLIB_DIR)
 	#Used to remove /usr/share/coq/jessie_why.v which is alone and installed by libwhy-coq
 	-$(RM) -rf $(WHYDIR)/usr/share/coq/
+	#There is no program using the Jessie library.
+	-$(RM) -rf $(WHYDIR)/usr/share/jessie/
+	#Jessie.cma is installed, no need for this extra file
+	-$(RM) -f $(FRAMADIR)/Jessie.cmo
 	echo 'F:CoqABI=$(COQ_ABI)' >> debian/libwhy-coq.substvars
 
 override_dh_compress:

-- 
why packaging