[Pkg-ocaml-maint-commits] [SCM] coq packaging branch, master, updated. debian/8.1.pl3+dfsg-1-26-gcd46e5d

[Stephane Glondu]

The following commit has been merged in the master branch:
commit 10a7bc14dc87b57b022facbbbf3b31d74a4445e5
Author: Stephane Glondu <steph at glondu.net>
Date:   Mon Jul 28 16:02:00 2008 +0200

    Add install-stamp
    
    ...so that install is not invoked twice when binary-indep and
    binary-arch are invoked separately

diff --git a/debian/rules b/debian/rules
index 44dac55..a9bd3b6 100755
--- a/debian/rules
+++ b/debian/rules
@@ -57,7 +57,7 @@ build-stamp: patch-stamp configure-stamp
 clean: unpatch
 	dh_testdir
 	dh_testroot
-	rm -f build-stamp configure-stamp opt-stamp
+	rm -f build-stamp configure-stamp opt-stamp install-stamp
 
 	[ ! -f config/Makefile ] || $(MAKE) clean
 	[ ! -f config/Makefile ] || $(MAKE) archclean
@@ -72,7 +72,8 @@ clean: unpatch
 
 	dh_clean
 
-install: build
+install: install-stamp
+install-stamp: build-stamp
 	dh_testdir
 	dh_testroot
 	dh_clean -k
@@ -115,6 +116,7 @@ install: build
 	rm -f $(COQPREF)/usr/lib/coq/ide/utf8.v $(COQPREF)/usr/lib/coq/ide/FAQ
 
 	dh_install --sourcedir=$(COQPREF) --list-missing
+	touch install-stamp
 
 binary-common:
 	dh_testdir

-- 
coq packaging