[Pkg-ocaml-maint-commits] [alt-ergo] 01/01: drop overwrite of dh_auto_configure

[Ralf Treinen]

This is an automated email from the git hooks/post-receive script.

treinen pushed a commit to branch master
in repository alt-ergo.

commit 8524fde1a0489bd11f10df35f137e478fec02551
Author: Ralf Treinen <treinen at free.fr>
Date:   Thu Nov 7 18:33:17 2013 +0100

    drop overwrite of dh_auto_configure
---
 debian/changelog |    2 +-
 debian/rules     |    6 ------
 2 files changed, 1 insertion(+), 7 deletions(-)

diff --git a/debian/changelog b/debian/changelog
index 25be692..03afab2 100644
--- a/debian/changelog
+++ b/debian/changelog
@@ -15,7 +15,7 @@ alt-ergo (0.95.2-1) UNRELEASED; urgency=low
   * Add build-dependency on libzarith-ocaml-dev
   * debian/rules:
     - drop backup of .depend which is no longer needed
-    - drop setting of mandir in configure
+    - drop overwrite for dh_auto_configure
     - in dh_auto_build target, drop touching of configure
   * debian/copyright:
     - update Download field to ocamlpro
diff --git a/debian/rules b/debian/rules
index f17e9eb..4c34b64 100755
--- a/debian/rules
+++ b/debian/rules
@@ -5,12 +5,6 @@
 
 include /usr/share/ocaml/ocamlvars.mk
 
-override_dh_auto_configure:
-	./configure --host=$(DEB_HOST_GNU_TYPE) \
-	--build=$(DEB_BUILD_GNU_TYPE)           \
-	--prefix=/usr                           \
-	--libdir=$(OCAML_STDLIB_DIR)
-
 override_dh_auto_build:
 	$(MAKE) all gui
 

-- 
Alioth's /usr/local/bin/git-commit-notice on /srv/git.debian.org/git/pkg-ocaml-maint/packages/alt-ergo.git