From ce34c0a91eb0e3e90270f820967081247a4ef012 Mon Sep 17 00:00:00 2001 From: Samuel Mimram Date: Mon, 23 Aug 2004 08:29:37 +0000 Subject: Patched for OCaml 3.08.1 + other minor things. --- debian/rules | 8 ++++---- 1 file changed, 4 insertions(+), 4 deletions(-) (limited to 'debian/rules') diff --git a/debian/rules b/debian/rules index 9f88bf6d..b48761d8 100755 --- a/debian/rules +++ b/debian/rules @@ -1,6 +1,8 @@ #!/usr/bin/make -f # debian/rules for coq +include /usr/share/dpatch/dpatch.make + COQPREF=$(CURDIR)/debian/tmp ADDPREF=COQINSTALLPREFIX=$(COQPREF) @@ -18,10 +20,9 @@ configure-stamp: fi touch configure-stamp -build: configure-stamp build-stamp +build: patch-stamp configure-stamp build-stamp build-stamp: dh_testdir - touch test-suite/success/debian.v8 if grep -q BEST=opt config/Makefile; \ then \ ($(MAKE) check \ @@ -38,7 +39,7 @@ build-stamp: fi touch build-stamp -clean: +clean: unpatch dh_testdir dh_testroot rm -f build-stamp configure-stamp opt-stamp @@ -72,7 +73,6 @@ install: build dh_install --sourcedir=$(COQPREF) - #TODO: change lib_ide to /usr/share/coqide cp ide/index_urls.txt debian/coqide/usr/lib/coq/ide/index_urls.txt if [ -e opt-stamp ]; then \ cp debian/coq/usr/share/man/man1/coq-interface.1 debian/coq/usr/share/man/man1/coq-interface.opt.1; \ -- cgit v1.2.3