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         $(MAKE) -C plugin/ install
  15         mkdir -p debian/tmp/usr/bin
  16         cp frama-c_jessie debian/tmp/usr/bin/
  17
  18 override_dh_auto_clean:
  19         # clean does not work
  20         -$(MAKE) clean
  21         rm -f config.log config.status frama-c_jessie plugin/.depend
  22         rm -f wrapper/frama-c_lustre wrapper/Makefile
  23         rm -f Makefile
  24
  25 override_dh_auto_test:
  26         # no test