From: Enrico Tassi <gares@fettunta.org>
Date: Wed, 3 Apr 2013 10:43:20 +0000 (+0200)
Subject: almost ok
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=9f6fc500d36f6037103e8b0936e9102e1c6b5905;p=pkg-cerco%2Fframa-c-cost-plugin.git

almost ok
---

diff --git a/debian/frama-c-cost-plugin.install b/debian/frama-c-cost-plugin.install
index c703cf8..bf06a0c 100644
--- a/debian/frama-c-cost-plugin.install
+++ b/debian/frama-c-cost-plugin.install
@@ -1 +1,2 @@
+usr/lib/frama-c/
 usr/bin/
diff --git a/debian/rules b/debian/rules
index a23fa72..180b40c 100755
--- a/debian/rules
+++ b/debian/rules
@@ -11,11 +11,16 @@ override_dh_auto_build:
 	$(MAKE) || $(MAKE) || $(MAKE)
 
 override_dh_auto_install:
-	export DESTDIR=debian/tmp/usr/
 	$(MAKE) -C plugin/ install
+	mkdir -p debian/tmp/usr/bin
+	cp frama-c_jessie debian/tmp/usr/bin/
 
 override_dh_auto_clean:
 	# clean does not work
+	-$(MAKE) clean
+	rm -f config.log config.status frama-c_jessie plugin/.depend
+	rm -f wrapper/frama-c_lustre wrapper/Makefile
+	rm -f Makefile
 
 override_dh_auto_test:
 	# no test