From 9f6fc500d36f6037103e8b0936e9102e1c6b5905 Mon Sep 17 00:00:00 2001 From: Enrico Tassi Date: Wed, 3 Apr 2013 12:43:20 +0200 Subject: [PATCH] almost ok --- debian/frama-c-cost-plugin.install | 1 + debian/rules | 7 ++++++- 2 files changed, 7 insertions(+), 1 deletion(-) 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 -- 2.39.2