[Pkg-ocaml-maint-commits] r2563 - in trunk/packages/facile/trunk/debian: . patches

[Steffen Joeris]

Author: white-guest
Date: 2006-02-09 11:54:10 +0000 (Thu, 09 Feb 2006)
New Revision: 2563

Modified:
   trunk/packages/facile/trunk/debian/changelog
   trunk/packages/facile/trunk/debian/patches/20-Makefile.dpatch
Log:
* make sure that the *.mli files are installed
 before the *cmi files


Modified: trunk/packages/facile/trunk/debian/changelog
===================================================================
--- trunk/packages/facile/trunk/debian/changelog	2006-02-07 23:14:58 UTC (rev 2562)
+++ trunk/packages/facile/trunk/debian/changelog	2006-02-09 11:54:10 UTC (rev 2563)
@@ -1,3 +1,10 @@
+facile (1.1-4) unstable; urgency=low
+
+  * Make sure that the *.mli files are installed before
+    the *.cmi files (Closes: #352008)
+
+ -- Steffen Joeris <steffen.joeris at skolelinux.de>  Thu,  9 Feb 2006 12:52:11 +0100
+
 facile (1.1-3) unstable; urgency=low
 
   * Rebuild with OCaml 3.09.1

Modified: trunk/packages/facile/trunk/debian/patches/20-Makefile.dpatch
===================================================================
--- trunk/packages/facile/trunk/debian/patches/20-Makefile.dpatch	2006-02-07 23:14:58 UTC (rev 2562)
+++ trunk/packages/facile/trunk/debian/patches/20-Makefile.dpatch	2006-02-09 11:54:10 UTC (rev 2563)
@@ -34,6 +34,7 @@
 -	chmod a+r $(FACILEDIR)/facile.cma
 -	chmod a+r $(FACILEDIR)/facile.cmxa
 -	chmod a+r $(FACILEDIR)/facile.a
++	install -m 644 src/*.mli $(FACILEDIR)
 +	if [ -e src/facile.cmi ] ; then cp src/facile.cmi $(FACILEDIR) ; fi
 +	if [ -e src/facile.cma ] ; then cp src/facile.cma $(FACILEDIR) ; fi
 +	if [ -e src/facile.a ] ; then cp src/facile.a $(FACILEDIR) ; fi
@@ -42,7 +43,6 @@
 +	if [ -e $(FACILEDIR)/facile.cma ] ; then chmod a+r $(FACILEDIR)/facile.cma ; fi
 +	if [ -e $(FACILEDIR)/facile.cmxa ] ; then chmod a+r $(FACILEDIR)/facile.cmxa ; fi
 +	if [ -e $(FACILEDIR)/facile.a ] ; then chmod a+r $(FACILEDIR)/facile.a ; fi
-+	install -m 644 src/*.mli $(FACILEDIR)
  
  clean:
  	cd src; make clean