diff options
author | Samuel Mimram <smimram@debian.org> | 2007-08-18 20:34:57 +0000 |
---|---|---|
committer | Samuel Mimram <smimram@debian.org> | 2007-08-18 20:34:57 +0000 |
commit | e5be0a14a05242ceb5d225e54dbe366dc9c4143b (patch) | |
tree | 02251977719ec7c52b37363218043b756b00a0bf /debian/rules | |
parent | be2a2fda89bba47d5342b7aebc10efd97f1d68b9 (diff) |
New upstream release.debian/8.1.pl1+dfsg-1
Diffstat (limited to 'debian/rules')
-rwxr-xr-x | debian/rules | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/debian/rules b/debian/rules index 412c5f9a..d897124b 100755 --- a/debian/rules +++ b/debian/rules @@ -13,7 +13,7 @@ include /usr/share/dpatch/dpatch.make COQPREF := $(CURDIR)/debian/tmp ADDPREF := COQINSTALLPREFIX=$(COQPREF) -CONFIGUREOPTS := --prefix /usr --mandir /usr/share/man --emacslib /usr/share/emacs/site-lisp/coq --reals all --fsets all +CONFIGUREOPTS := --arch Linux --prefix /usr --mandir /usr/share/man --emacslib /usr/share/emacs/site-lisp/coq --reals all --fsets all configure: configure-stamp configure-stamp: @@ -57,8 +57,8 @@ clean: unpatch dh_testroot rm -f build-stamp configure-stamp opt-stamp - -$(MAKE) clean - -$(MAKE) archclean + [ ! -f config/Makefile ] || $(MAKE) clean + [ ! -f config/Makefile ] || $(MAKE) archclean rm -f bin/* rm -f tools/coqdoc/*.cm[oi] rm -f config/coq_config.ml config/Makefile test-suite/check.log |