pkg-matita/trunk/debian/rules

   1 #!/usr/bin/make -f
   2
   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
   7
   8 DEB_CONFIGURE_EXTRA_FLAGS := \
   9   --with-runtime-dir=/usr/share/matita \
  10         --prefix=/usr/ \
  11         --with-dbhost=FAKE_HOST
  12 DEB_DESTDIR := debian/tmp/
  13 DEB_DH_INSTALL_SOURCEDIR := $(DEB_DESTDIR)
  14 DEB_MAKE_INSTALL_TARGET :=
  15 common-install-arch::
  16         make install-arch DESTDIR=$(DEB_DESTDIR)
  17 common-install-indep::
  18         make install-indep DESTDIR=$(DEB_DESTDIR)
  19         find $(DEB_DESTDIR) -name \*.xml.types.gz -exec rm {} \;