From cb529a5fc2c760f57db3f2213570044442540992 Mon Sep 17 00:00:00 2001
From: Stephane Glondu <steph@glondu.net>
Date: Mon, 29 Nov 2010 23:44:17 +0100
Subject: Initial packaging

---
 debian/rules | 25 +++++++++++++++++++++++++
 1 file changed, 25 insertions(+)
 create mode 100755 debian/rules

(limited to 'debian/rules')

diff --git a/debian/rules b/debian/rules
new file mode 100755
index 0000000..446d604
--- /dev/null
+++ b/debian/rules
@@ -0,0 +1,25 @@
+#!/usr/bin/make -f
+# -*- makefile -*-
+
+include /usr/share/coq/coqvars.mk
+
+%:
+	dh $@ --with ocaml
+
+.PHONY: override_dh_auto_configure
+override_dh_auto_configure:
+	./make_makefile
+# workaround bug on fs mounted without relatime
+	touch make_makefile theory.ml
+
+.PHONY: override_dh_auto_build
+override_dh_auto_build:
+	$(MAKE) world
+
+.PHONY: override_dh_gencontrol
+override_dh_gencontrol:
+	dh_gencontrol -- -VF:CoqABI="$(COQ_ABI)"
+
+.PHONY: override_dh_auto_clean
+override_dh_auto_clean:
+	rm -Rf Makefile .depend *.glob *.d *.*o *.*a *.cm* doc html
-- 
cgit v1.2.3