From b9fae9be4d5dc1f78de28d062d4052727dc1e3c3 Mon Sep 17 00:00:00 2001 From: Stephane Glondu Date: Sun, 27 Jul 2014 10:37:59 +0200 Subject: Bump debhelper compat level to 9 --- debian/compat | 2 +- debian/control | 2 +- 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 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: -- cgit v1.2.3