3 include /usr/share/cdbs/1/class/makefile.mk
4 include /usr/share/cdbs/1/class/autotools.mk
5 include /usr/share/cdbs/1/rules/debhelper.mk
6 include /usr/share/cdbs/1/rules/dpatch.mk
8 DEB_CONFIGURE_EXTRA_FLAGS := \
9 --with-runtime-dir=/usr/share/matita \
11 --with-dbhost=FAKE_HOST
12 DEB_DESTDIR := debian/tmp/
13 DEB_DH_INSTALL_SOURCEDIR := $(DEB_DESTDIR)
14 DEB_MAKE_INSTALL_TARGET :=
16 make install-arch DESTDIR=$(DEB_DESTDIR)
17 common-install-indep::
18 make install-indep DESTDIR=$(DEB_DESTDIR)