6 override_dh_auto_configure:
7 ./configure --prefix=/usr/
9 override_dh_auto_build:
10 # frama-c Makefiles are nuts
11 $(MAKE) || $(MAKE) || $(MAKE)
13 override_dh_auto_install:
14 $(MAKE) -C plugin/ install
15 mkdir -p debian/tmp/usr/bin
16 cp frama-c_jessie debian/tmp/usr/bin/
18 override_dh_auto_clean:
21 rm -f config.log config.status frama-c_jessie plugin/.depend
22 rm -f wrapper/frama-c_lustre wrapper/Makefile
25 override_dh_auto_test: