From f5afac0b71c851242401099e19a03fd8c64871ef Mon Sep 17 00:00:00 2001
From: Stephane Glondu <steph@glondu.net>
Date: Fri, 21 Sep 2012 18:30:14 +0200
Subject: Update build system

---
 debian/rules | 14 +++++---------
 1 file changed, 5 insertions(+), 9 deletions(-)

(limited to 'debian/rules')

diff --git a/debian/rules b/debian/rules
index da4c4c4..792a1d2 100755
--- a/debian/rules
+++ b/debian/rules
@@ -6,22 +6,18 @@ include /usr/share/coq/coqvars.mk
 %:
 	dh $@ --with ocaml
 
-.PHONY: override_dh_auto_configure
-override_dh_auto_configure:
-	./make_makefile
-
 .PHONY: override_dh_auto_build
 override_dh_auto_build:
 	$(MAKE) world
 
 .PHONY: override_dh_auto_install
 override_dh_auto_install:
-# install rule as generated by coq_makefile is buggy
+	$(MAKE) -f Makefile.coq install DSTROOT=$(CURDIR)/debian/tmp
+
+.PHONY: override_dh_install
+override_dh_install:
+	dh_install --fail-missing
 
 .PHONY: override_dh_gencontrol
 override_dh_gencontrol:
 	dh_gencontrol -- -VF:CoqABI="$(COQ_ABI)"
-
-.PHONY: override_dh_auto_clean
-override_dh_auto_clean:
-	rm -Rf .depend *.glob *.d *.*o *.*a *.cm* doc html
-- 
cgit v1.2.3