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 # don't perform regular installation
  15 DEB_MAKE_INSTALL_TARGET :=
  16
  17 common-install-arch::
  18         # install matita
  19         make install-arch DESTDIR=$(DEB_DESTDIR)
  20         # generate manpages
  21         mkdir -p $(DEB_DESTDIR)/usr/share/man/man1/
  22         MATITA_RT_BASE_DIR=debian/tmp/usr/share/matita/ \
  23         help2man --name="Matita interative theorem prover" -N \
  24                 $(DEB_DESTDIR)/usr/share/matita/matita \
  25                 | gzip -9 > $(DEB_DESTDIR)/usr/share/man/man1/matita.1.gz
  26         MATITA_RT_BASE_DIR=debian/tmp/usr/share/matita/ \
  27         help2man --name="Matita interative theorem prover - batch compiler" -N \
  28                 $(DEB_DESTDIR)/usr/share/matita/matitac \
  29                 | gzip -9 > $(DEB_DESTDIR)/usr/share/man/man1/matitac.1.gz
  30         MATITA_RT_BASE_DIR=debian/tmp/usr/share/matita/ \
  31         help2man --name="Matita interative theorem prover - build tool" -N \
  32                 $(DEB_DESTDIR)/usr/share/matita/matitamake \
  33                 | gzip -9 > $(DEB_DESTDIR)/usr/share/man/man1/matitamake.1.gz
  34         MATITA_RT_BASE_DIR=debian/tmp/usr/share/matita/ \
  35         help2man --name="Matita interative theorem prover - cleanup tool" -N \
  36                 $(DEB_DESTDIR)/usr/share/matita/matitaclean \
  37                 | gzip -9 > $(DEB_DESTDIR)/usr/share/man/man1/matitaclean.1.gz
  38         MATITA_RT_BASE_DIR=debian/tmp/usr/share/matita/ \
  39         help2man --name="Matita interative theorem prover - dependency analyzer" -N \
  40                 $(DEB_DESTDIR)/usr/share/matita/matitadep \
  41                 | gzip -9 > $(DEB_DESTDIR)/usr/share/man/man1/matitadep.1.gz
  42         if [ -e  $(DEB_DESTDIR)/usr/share/matita/matita.opt ]; then\
  43                 for P in  $(DEB_DESTDIR)/usr/share/matita/*.opt; do\
  44                         ln -s /usr/share/man/man1/`basename $$P .opt`.1.gz \
  45                         $(DEB_DESTDIR)/usr/share/man/man1/`basename $$P`.1.gz;\
  46                 done;\
  47         fi
  48         # install .opt .byte (symlinks are installed with .install
  49         mkdir -p debian/matita/usr/bin/
  50         cp matita/matita.byte debian/matita/usr/bin/ || true
  51         cp matita/matitac.byte debian/matita/usr/bin/ || true
  52         cp matita/matita.opt debian/matita/usr/bin/ || true
  53         cp matita/matitac.opt debian/matita/usr/bin/ || true
  54
  55 common-install-indep::
  56         # install matita library
  57         make install-indep DESTDIR=$(DEB_DESTDIR)
  58         # innerypes removal
  59         find $(DEB_DESTDIR) -name \*.xml.types.gz -exec rm {} \;