almost ok

[pkg-cerco/frama-c-cost-plugin.git] / debian / rules

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