almost ok

diff --git a/debian/frama-c-cost-plugin.install b/debian/frama-c-cost-plugin.install
index c703cf852fddcc0e947d87b4fedf75cf8badd4f3..bf06a0c7df3b3355b8c7d9de059af602b6dabda7 100644 (file)
--- 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 a23fa7259da303f2690ed705e76fe6824645d5c5..180b40cd8006e4cca8c36a9b8482148916767d65 100755 (executable)
--- 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