--- /dev/null
+#!/usr/bin/make -f
+
+%:
+ dh $@
+
+override_dh_auto_configure:
+ ./configure --prefix=/usr/
+
+override_dh_auto_build:
+ # frama-c Makefiles are nuts
+ $(MAKE) || $(MAKE) || $(MAKE)
+
+override_dh_auto_install:
+ export DESTDIR=debian/tmp/usr/
+ $(MAKE) -C plugin/ install
+
+override_dh_auto_clean:
+ # clean does not work
+
+override_dh_auto_test:
+ # no test