]> matita.cs.unibo.it Git - helm.git/blob - helm/software/pkg-matita/trunk/debian/rules
added manpages
[helm.git] / helm / software / 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         mkdir -p $(DEB_DESTDIR)/usr/share/man/man1/
18         help2man --name="Matita interative theorem prover" -N \
19                 $(DEB_DESTDIR)/usr/bin/matita \
20                 | gzip -9 > $(DEB_DESTDIR)/usr/share/man/man1/matita.1.gz
21         help2man --name="Matita interative theorem prover - batch compiler" -N \
22                 $(DEB_DESTDIR)/usr/bin/matitac \
23                 | gzip -9 > $(DEB_DESTDIR)/usr/share/man/man1/matitac.1.gz
24         help2man --name="Matita interative theorem prover - build tool" -N \
25                 $(DEB_DESTDIR)/usr/bin/matitamake \
26                 | gzip -9 > $(DEB_DESTDIR)/usr/share/man/man1/matitamake.1.gz
27         help2man --name="Matita interative theorem prover - cleanup tool" -N \
28                 $(DEB_DESTDIR)/usr/bin/matitaclean \
29                 | gzip -9 > $(DEB_DESTDIR)/usr/share/man/man1/matitaclean.1.gz
30         help2man --name="Matita interative theorem prover - CIC browser" -N \
31                 $(DEB_DESTDIR)/usr/bin/cicbrowser \
32                 | gzip -9 > $(DEB_DESTDIR)/usr/share/man/man1/cicbrowser.1.gz
33         help2man --name="Matita interative theorem prover - dependency analyzer" -N \
34                 $(DEB_DESTDIR)/usr/bin/matitadep \
35                 | gzip -9 > $(DEB_DESTDIR)/usr/share/man/man1/matitadep.1.gz
36         if [ -e  $(DEB_DESTDIR)/usr/bin/matita.opt ]; then\
37                 for P in  $(DEB_DESTDIR)/usr/bin/*.opt; do\
38                         ln -s /usr/share/man/man1/$(basename $$P .opt).1.gz \
39                         $(DEB_DESTDIR)/usr/share/man/man1/$(basename $$P).1.gz\
40                 done\
41         fi
42 common-install-indep::
43         make install-indep DESTDIR=$(DEB_DESTDIR)
44         find $(DEB_DESTDIR) -name \*.xml.types.gz -exec rm {} \;