From 94538d45a28cf8e833f9ad4523b61a3252fde7d4 Mon Sep 17 00:00:00 2001 From: Enrico Tassi Date: Mon, 10 Mar 2008 15:56:52 +0000 Subject: [PATCH] fixed wrong dependencies in debian package reported by oliboni --- helm/software/matita/Makefile | 15 +++++++-------- 1 file changed, 7 insertions(+), 8 deletions(-) diff --git a/helm/software/matita/Makefile b/helm/software/matita/Makefile index b593d505d..a872f3194 100644 --- a/helm/software/matita/Makefile +++ b/helm/software/matita/Makefile @@ -216,14 +216,13 @@ cleantests.opt: $(foreach d,$(TEST_DIRS_OPT),$(d)-cleantests-opt) ifeq ($(DISTRIBUTED),yes) -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 -noinnertypes) - $(H)echo "destroy $*" - $(H)cd $*;(HOME=$(WHERE) USER=builder MATITA_RT_BASE_DIR=$(WHERE) MATITA_FLAGS='$(MATITA_CFLAGS)' $(WHERE)/matitaclean) +dist_library: install_preliminaries + $(H)echo "depend" + $(H)cd $(WHERE)/ma/standard-library;(HOME=$(WHERE) USER=builder MATITA_RT_BASE_DIR=$(WHERE) MATITA_FLAGS='$(MATITA_CFLAGS)' $(WHERE)/matitadep) + $(H)echo "publish" + $(H)cd $(WHERE)/ma/standard-library;(HOME=$(WHERE) USER=builder MATITA_RT_BASE_DIR=$(WHERE) MATITA_FLAGS='$(MATITA_CFLAGS)' $(WHERE)/matitac -system -noinnertypes) + $(H)echo "destroy" + $(H)cd $(WHERE)/ma/standard-library;(HOME=$(WHERE) USER=builder MATITA_RT_BASE_DIR=$(WHERE) MATITA_FLAGS='$(MATITA_CFLAGS)' $(WHERE)/matitaclean) # sqlite3 only $(H)cp $(WHERE)/.matita/matita.db $(WHERE)/metadata.db || true #$(H)rm -rf $(WHERE)/.matita/ -- 2.39.2