#!/usr/bin/make -f

include /usr/share/cdbs/1/class/makefile.mk
include /usr/share/cdbs/1/class/autotools.mk
include /usr/share/cdbs/1/rules/debhelper.mk
include /usr/share/cdbs/1/rules/dpatch.mk

DEB_CONFIGURE_EXTRA_FLAGS := \
  --with-runtime-dir=/usr/share/matita \
	--prefix=/usr/ \
	--with-dbhost=FAKE_HOST
DEB_DESTDIR := debian/tmp/
DEB_DH_INSTALL_SOURCEDIR := $(DEB_DESTDIR)
DEB_MAKE_INSTALL_TARGET :=
common-install-arch::
	make install-arch DESTDIR=$(DEB_DESTDIR)
common-install-indep::
	make install-indep DESTDIR=$(DEB_DESTDIR)