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 export DESTDIR=debian/tmp/usr/
15 $(MAKE) -C plugin/ install
17 override_dh_auto_clean:
20 override_dh_auto_test: