#!/usr/bin/make -f

BUILDDIR=debian/tmp

%:
	dh $@ --with ocaml,tex

override_dh_auto_configure configure-stamp:
	# empty dirs in the orig tarball which may be dropped by git
	mkdir -p bin lib/plugins plugins/printer
	dh_auto_configure -- --disable-emacs-compilation
	touch configure-stamp

override_dh_auto_build:

build-arch build-stamp: configure-stamp
	dh_testdir
	$(MAKE)
	touch build-stamp

build-indep: configure-stamp
	dh_testdir
	$(MAKE) doc

override_dh_auto_install:
	# do nothing

override_dh_install-arch: build-stamp
	$(MAKE) install install-lib DESTDIR=$(CURDIR)/$(BUILDDIR)
	# extra license file
	rm -f $(BUILDDIR)/usr/share/why3/LICENSE
	dh_install -a

override_dh_install-indep:
	# do nothing

override_dh_missing:
	dh_missing --fail-missing

override_dh_compress:
	dh_compress -Xmanual.pdf

override_dh_ocaml:
	dh_ocaml --nodefined-map=why3-coq:Why3,MenhirLib,Gzip,Zlib,Zip \
		--nodefined-map=why3:Graph
