X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=debian%2Frules;fp=debian%2Frules;h=a23fa7259da303f2690ed705e76fe6824645d5c5;hb=70224405de4ea5ee2340ff6e5b9a87415b9281b0;hp=0000000000000000000000000000000000000000;hpb=767abcbbd3b2263d28da2957390f21d223960be8;p=pkg-cerco%2Fframa-c-cost-plugin.git

diff --git a/debian/rules b/debian/rules
new file mode 100755
index 0000000..a23fa72
--- /dev/null
+++ b/debian/rules
@@ -0,0 +1,21 @@
+#!/usr/bin/make -f
+
+%:
+	dh $@
+	
+override_dh_auto_configure:
+	./configure --prefix=/usr/
+
+override_dh_auto_build:
+	# frama-c Makefiles are nuts
+	$(MAKE) || $(MAKE) || $(MAKE)
+
+override_dh_auto_install:
+	export DESTDIR=debian/tmp/usr/
+	$(MAKE) -C plugin/ install
+
+override_dh_auto_clean:
+	# clean does not work
+
+override_dh_auto_test:
+	# no test