]> matita.cs.unibo.it Git - helm.git/commitdiff
fix
authorEnrico Tassi <enrico.tassi@inria.fr>
Fri, 16 Nov 2007 09:56:38 +0000 (09:56 +0000)
committerEnrico Tassi <enrico.tassi@inria.fr>
Fri, 16 Nov 2007 09:56:38 +0000 (09:56 +0000)
helm/software/pkg-matita/trunk/debian/rules

index dd0a27c825c38555a54f6f7476578805657b900e..546caba1cb245b200e1d96a0613bbd494d7984f3 100755 (executable)
@@ -16,7 +16,7 @@ DEB_MAKE_INSTALL_TARGET :=
 
 common-install-arch::
        # install matita
-       make install-arch DESTDIR=$(DEB_DESTDIR)
+       make install-arch DESTDIR=$(DEB_DESTDIR) MATITA_CFLAGS=-noinnertypes
        # generate manpages
        mkdir -p $(DEB_DESTDIR)/usr/share/man/man1/
        MATITA_RT_BASE_DIR=debian/tmp/usr/share/matita/ \
@@ -37,7 +37,7 @@ common-install-arch::
                | gzip -9 > $(DEB_DESTDIR)/usr/share/man/man1/matitadep.1.gz
        if [ -e  $(DEB_DESTDIR)/usr/share/matita/matitac.opt ]; then\
                ln -s /usr/share/man/man1/matitac.1.gz \
-                       $(DEB_DESTDIR)/usr/share/man/man1/`basename $$P`.1.gz;\
+                       $(DEB_DESTDIR)/usr/share/man/man1/matitac.opt.1.gz;\
        fi
        # install .opt .byte (symlinks are installed with .install
        mkdir -p debian/matita/usr/bin/
@@ -48,6 +48,6 @@ common-install-arch::
 
 common-install-indep::
        # install matita library
-       make install-indep DESTDIR=$(DEB_DESTDIR)
+       make install-indep DESTDIR=$(DEB_DESTDIR) MATITA_CFLAGS=-noinnertypes
        # innerypes removal
-       find $(DEB_DESTDIR) -name \*.xml.types.gz -exec rm {} \;
+       find $(DEB_DESTDIR) -name \*.xml.types.gz -exec rm {} \;