#!/usr/bin/make -f

BUILDDIR=debian/tmp

%:
	dh $@ --with ocaml

override_dh_auto_configure:
	# EMACS=no disables compilation of elisp code
	EMACS=no dh_auto_configure

override_dh_auto_install:
	dh_auto_install
	# extra license file
	rm -f $(BUILDDIR)/usr/share/why3/LICENSE

override_dh_auto_build:
	dh_auto_build -- all doc

override_dh_compress:
	dh_compress -Xmanual.pdf
