Bump debhelper compat to 12

diff --git a/debian/compat b/debian/compat
index ec635144f60048986bc560c5576355344005e6e7..48082f72f087ce7e6fa75b9c41d7387daecd447b 100644 (file)
--- a/debian/compat
+++ b/debian/compat
@@ -1 +1 @@
-9
+12

diff --git a/debian/control b/debian/control
index 88803001550f15bd60b8b375075eefc18a6bb197..57d8e501f1af10ff6947a934d2e9d53d842dc07f 100644 (file)
--- a/debian/control
+++ b/debian/control
@@ -9,7 +9,7 @@ Uploaders:
  Mehdi Dogguy <mehdi@debian.org>,
  Ximin Luo <infinity0@debian.org>
 Build-Depends:
- debhelper (>= 9),
+ debhelper (>= 12),
  pkg-config,
  quilt,
  autotools-dev,

diff --git a/debian/rules b/debian/rules
index b80f1005b6d394003b1fb967361c113f63bb8086..680b5e79c0aaa666acbb0f2327a2f30b3932b5ef 100755 (executable)
--- a/debian/rules
+++ b/debian/rules
@@ -118,7 +118,6 @@ endif
 override_dh_auto_configure: config-stamp ocamlinit-stamp
 
 config-stamp: pre-config-stamp
-       ./autogen
        ./configure $(CONFIGURE_OPTS)
        touch $@
 
@@ -275,3 +274,6 @@ override_dh_installdocs:
 .PHONY: override_dh_missing
 override_dh_missing:
        dh_missing --fail-missing
+
+override_dh_autoreconf:
+       ./autogen