#!/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:
	$(MAKE) -C plugin/ install
	mkdir -p debian/tmp/usr/bin
	cp frama-c_jessie debian/tmp/usr/bin/

override_dh_auto_clean:
	# clean does not work
	-$(MAKE) clean
	rm -f config.log config.status frama-c_jessie plugin/.depend
	rm -f wrapper/frama-c_lustre wrapper/Makefile
	rm -f Makefile

override_dh_auto_test:
	# no test