diff options
Diffstat (limited to 'debian/rules')
-rwxr-xr-x | debian/rules | 6 |
1 files changed, 2 insertions, 4 deletions
diff --git a/debian/rules b/debian/rules index 2943187e..014134a7 100755 --- a/debian/rules +++ b/debian/rules @@ -14,8 +14,6 @@ export CAML_LD_LIBRARY_PATH = $(shell pwd)/kernel/byterun # Show full commands when building Coq export VERBOSE=1 -# We want to use dpatch -include /usr/share/dpatch/dpatch.make include /usr/share/ocaml/ocamlinit.mk HTMLDOC := doc/stdlib/html/index.html @@ -38,7 +36,7 @@ OCAMLINIT_SED += \ -e 's%@CoqABI@%$(COQ_ABI)%' configure: configure-stamp -configure-stamp: patch-stamp ocamlinit-stamp +configure-stamp: ocamlinit-stamp dh build --before dh_auto_configure ./configure $(CONFIGUREOPTS) touch $@ @@ -77,7 +75,7 @@ install-stamp: build-stamp done touch $@ -clean: unpatch ocamlinit-clean +clean: ocamlinit-clean dh $@ binary-indep: install-stamp |