[Pkg-ocaml-maint-commits] [SCM] why packaging branch, master, updated. debian/2.13-1-33-g45faa86

[Mehdi Dogguy]

The following commit has been merged in the master branch:
commit 45faa86fc14a094567a74b878153a314b5c487ec
Author: Mehdi Dogguy <dogguy at pps.jussieu.fr>
Date:   Mon Nov 10 12:47:43 2008 +0100

    Clean and complete cleaning in debian/rules

diff --git a/debian/clean b/debian/clean
index f3a8568..b2e7907 100644
--- a/debian/clean
+++ b/debian/clean
@@ -1,4 +1,5 @@
 Makefile
+Makefile.debian
 a.out
 bin/gwhy.opt
 bin/krakatoa.opt
@@ -22,4 +23,4 @@ lib/why/prelude_why.v
 mix/mix_parser.output
 regtest.opt
 tools/simplify_parser.output
-tools/toolstat_pars.output
\ No newline at end of file
+tools/toolstat_pars.output
diff --git a/debian/rules b/debian/rules
index ab2a575..b2162c2 100755
--- a/debian/rules
+++ b/debian/rules
@@ -34,6 +34,7 @@ config.status: configure
 	    --mandir=\$${prefix}/share/man \
 	    --infodir=\$${prefix}/share/info CFLAGS="$(CFLAGS)" \
 	    LDFLAGS="-Wl,-z,defs"
+	cp .depend .depend.debian
 
 build: patch-stamp build-stamp
 build-stamp: config.status
@@ -44,7 +45,10 @@ build-stamp: config.status
 clean: unpatch
 	dh_testdir
 	dh_testroot
-	[ ! -f Makefile ] || $(MAKE) clean
+	[ ! -f Makefile ] || sed -e 's/include .depend.*//g' Makefile > Makefile.debian
+	[ ! -f Makefile.debian ] || $(MAKE) -f Makefile.debian clean
+	-cp lib/coq/WhyCoq8.v lib/coq/WhyCoqCompat.v
+	[ ! -f .depend.debian ]  || mv .depend.debian .depend
 	dh_clean
 
 install: build

-- 
why packaging