diff options
| author |  Stephane Glondu <steph@glondu.net> | 2014-07-27 10:37:59 +0200 |
|---|---|---|
| committer | Stephane Glondu <steph@glondu.net> | 2014-07-27 15:23:48 +0200 |
| commit | b9fae9be4d5dc1f78de28d062d4052727dc1e3c3 (patch) | |
| tree | ec51755de45337cefed3538dcf9f3361ca9485a6 | |
| parent | ecb5c295deafda3d71424bf41b62eaa534758644 (diff) | |
Bump debhelper compat level to 9
| -rw-r--r-- | debian/compat | 2 | ||||
| -rw-r--r-- | debian/control | 2 | ||||
| -rwxr-xr-x | debian/rules | 4 |
3 files changed, 4 insertions, 4 deletions
diff --git a/debian/compat b/debian/compat index 7f8f011e..ec635144 100644 --- a/debian/compat +++ b/debian/compat @@ -1 +1 @@ -7 +9 diff --git a/debian/control b/debian/control index 7fccaca6..c323cf4c 100644 --- a/debian/control +++ b/debian/control @@ -8,7 +8,7 @@ Uploaders: Stéphane Glondu <glondu@debian.org> Standards-Version: 3.9.5 Build-Depends: - debhelper (>= 7.2.11~), + debhelper (>= 9), dh-ocaml (>= 0.9.5~), ocaml-nox (>= 4), ocaml-best-compilers, diff --git a/debian/rules b/debian/rules index d700960d..6343da50 100755 --- a/debian/rules +++ b/debian/rules @@ -36,13 +36,13 @@ export OCAMLINIT_SED += \ -e 's%@CoqABI@%$(COQ_ABI)%' %: - +dh --with ocaml $@ + +dh $@ --with ocaml # There is already a file named "build" in upstream sources, so the # above rule is never called. We make it explicitly a phony rule here. .PHONY: build build: - +dh --with ocaml $@ + +dh $@ --with ocaml .PHONY: override_dh_auto_configure override_dh_auto_configure: |