diff options
| author |  Stephane Glondu <steph@glondu.net> | 2009-02-20 14:42:47 +0100 |
|---|---|---|
| committer | Stephane Glondu <steph@glondu.net> | 2009-02-20 15:11:59 +0100 |
| commit | 500458bebd552145aa1a5eaa1a45fb3010680350 (patch) | |
| tree | 0f0012e848a50aeb349e00aa63f19a88062c768e /debian/rules | |
| parent | 0a402bcc74943503556478c1e2dc924f27d2a3d3 (diff) | |
Remove dependency on dpatch
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 |