The following commit has been merged in the master branch: commit 45faa86fc14a094567a74b878153a314b5c487ec Author: Mehdi Dogguy <[EMAIL PROTECTED]> 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 _______________________________________________ Pkg-ocaml-maint-commits mailing list Pkg-ocaml-maint-commits@lists.alioth.debian.org http://lists.alioth.debian.org/mailman/listinfo/pkg-ocaml-maint-commits