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 | |
| parent | 0a402bcc74943503556478c1e2dc924f27d2a3d3 (diff) | |
Remove dependency on dpatch
Diffstat (limited to 'debian')
| -rw-r--r-- | debian/control | 1 | ||||
| -rw-r--r-- | debian/patches/00list | 0 | ||||
| -rwxr-xr-x | debian/rules | 6 |
3 files changed, 2 insertions, 5 deletions
diff --git a/debian/control b/debian/control index 1f0ec103..805d5879 100644 --- a/debian/control +++ b/debian/control @@ -13,7 +13,6 @@ Standards-Version: 3.8.0 Build-Depends: debhelper (>= 7), dpkg-dev (>= 1.13.19), - dpatch, dh-ocaml (>= 0.2), ocaml-nox, ocaml-best-compilers, diff --git a/debian/patches/00list b/debian/patches/00list deleted file mode 100644 index e69de29b..00000000 --- a/debian/patches/00list +++ /dev/null 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 |