[Pkg-ocaml-maint-commits] [SCM] alt-ergo packaging branch, experimental/master, updated. debian/0.94-2-23-g8e5156a

[Ralf Treinen]

The following commit has been merged in the experimental/master branch:
commit c283a2941e59525ccac77985955b5f3fd402aae9
Author: Ralf Treinen <treinen at free.fr>
Date:   Fri Apr 5 19:36:38 2013 +0200

    drop build-deps autotools-dev, autoconf. debian/rules: touch configure

diff --git a/debian/changelog b/debian/changelog
index 38130b1..777c6ef 100644
--- a/debian/changelog
+++ b/debian/changelog
@@ -23,8 +23,10 @@ alt-ergo (0.95.1-1) UNRELEASED; urgency=low
     - debian/source/format: update
     - debian/rules: drop "quilt" option from dh invocation
     - debian/control: drop quilt from build-dependencies
+  * Drop build-dependencies on autotools-dev, autoconf which are not needed.
+    Touch configure in debian/rules to assure it is newer than configure.in.
 
- -- Ralf Treinen <treinen at debian.org>  Fri, 05 Apr 2013 11:10:41 +0200
+ -- Ralf Treinen <treinen at debian.org>  Sat, 06 Apr 2013 11:43:07 +0200
 
 alt-ergo (0.94-2) unstable; urgency=high
 
diff --git a/debian/control b/debian/control
index bf5ace4..fe20713 100644
--- a/debian/control
+++ b/debian/control
@@ -7,8 +7,6 @@ Uploaders:
  Ralf Treinen <treinen at debian.org>
 Build-Depends:
  debhelper (>= 7.0.50~),
- autotools-dev,
- autoconf,
  ocaml-nox (>= 3.11.1-3~),
  libocamlgraph-ocaml-dev (>= 1.1),
  liblablgtk2-gnome-ocaml-dev (>= 2.14.0+dfsg-2~),
diff --git a/debian/rules b/debian/rules
index 68525a0..e9f9a11 100755
--- a/debian/rules
+++ b/debian/rules
@@ -19,6 +19,9 @@ override_dh_auto_build:
 	for i in $(BACKUP); do \
 		cp -ax $$i $$i.debian; \
 	done
+	# we have to assure that configure is newer than configure.in since
+	# patch 0005 patches them both (see bug #669539)
+	touch configure
 	$(MAKE) all
 
 override_dh_auto_clean:

-- 
alt-ergo packaging