debian/rules

   1 #!/usr/bin/make -f
   2
   3 %:
   4         dh $@
   5
   6 override_dh_auto_configure:
   7         ./configure --prefix=/usr/
   8
   9 override_dh_auto_build:
  10         # frama-c Makefiles are nuts
  11         $(MAKE) || $(MAKE) || $(MAKE)
  12
  13 override_dh_auto_install:
  14         export DESTDIR=debian/tmp/usr/
  15         $(MAKE) -C plugin/ install
  16
  17 override_dh_auto_clean:
  18         # clean does not work
  19
  20 override_dh_auto_test:
  21         # no test