debian package works again

[helm.git] / matita / Makefile

diff --git a/matita/Makefile b/matita/Makefile
index 6eef2ed2b2ae99a6167c0d4e83d16385ccbf36d3..4e42f2c43d6d50f9c8e4bcba7895d4f7dfafac98 100644 (file)
--- a/matita/Makefile
+++ b/matita/Makefile
@@ -223,12 +223,12 @@ cleantests.opt: $(foreach d,$(TEST_DIRS_OPT),$(d)-cleantests-opt)
 ifeq ($(DISTRIBUTED),yes)
 
 
-dist_library: install_preliminaries dist_library@standard-library
+dist_library: install_preliminaries dist_library@library
 dist_library@%: 
        $(H)echo "depend $*"
        $(H)cd $*;(HOME=$(WHERE) USER=builder MATITA_RT_BASE_DIR=$(WHERE) MATITA_FLAGS='$(MATITA_CFLAGS)' $(WHERE)/matitadep)
        $(H)echo "publish $*"
-       $(H)cd $*;(HOME=$(WHERE) USER=builder MATITA_RT_BASE_DIR=$(WHERE) MATITA_FLAGS='$(MATITA_CFLAGS)' $(WHERE)/matitac -system)
+       $(H)cd $*;(HOME=$(WHERE) USER=builder MATITA_RT_BASE_DIR=$(WHERE) MATITA_FLAGS='$(MATITA_CFLAGS)' $(WHERE)/matitac -system -noinnertypes)
        $(H)echo "destroy $*"
        $(H)cd $*;(HOME=$(WHERE) USER=builder MATITA_RT_BASE_DIR=$(WHERE) MATITA_FLAGS='$(MATITA_CFLAGS)' $(WHERE)/matitaclean)
        # sqlite3 only