From cb05177c2e72010803aa36653153dfb4a67615e0 Mon Sep 17 00:00:00 2001 From: Benjamin Barenblat Date: Thu, 5 Feb 2015 19:07:50 -0500 Subject: Pass target to configure MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit The CompCert configure script isn’t a standard configure script: It takes a positional argument specifying the architecture it should target. Override dh_auto_configure to do nothing, and pass the relevant arguments to configure in dh_auto_build. --- debian/rules | 10 ++++++++++ 1 file changed, 10 insertions(+) diff --git a/debian/rules b/debian/rules index 15d9ca3..fd43eb3 100755 --- a/debian/rules +++ b/debian/rules @@ -12,6 +12,16 @@ override_dh_auto_clean: touch Makefile.config dh_auto_clean +.PHONY: override_dh_auto_configure +override_dh_auto_configure: + /bin/true + +.PHONY: override_dh_auto_build +override_dh_auto_build: + ./configure \ + -prefix /usr -libdir /usr/lib/$(DEB_HOST_MULTIARCH) ia32-linux + dh_auto_build + .PHONY: override_dh_builddeb override_dh_builddeb: dh_builddeb -- -Zxz -z9 -- cgit v1.2.3