From: Ferruccio Guidi Date: Fri, 16 Jan 2015 20:35:27 +0000 (+0000) Subject: lambdadelta_1: bugfix X-Git-Tag: make_still_working~765 X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=bfdaedc0ea2ee29ce9444ce1283a2642a86e8d86;p=helm.git lambdadelta_1: bugfix Makefile: some improvements --- diff --git a/helm/www/lambdadelta/Makefile b/helm/www/lambdadelta/Makefile index d9563b664..7bb0f24bd 100644 --- a/helm/www/lambdadelta/Makefile +++ b/helm/www/lambdadelta/Makefile @@ -3,7 +3,7 @@ H=@ TAGS = www up \ lint-xml index lddl install-xml \ test-html html install-html \ - install-jed install-bib install-contrib install-coq \ + install-jed install-bib install-2 install-1 install-coq \ install-automath install-matita \ LDURL = http://lambdadelta.info/ @@ -133,7 +133,7 @@ install-bib: $(BIB:%=$(BIBDIR)/%) $(H)scp $< $(DOWNDIR) $(H)scp $< $(DOWNDIR)/$(BIB:%.bib=%.txt) -install-contrib: $(CONTRIB:%=$(CONTRIBDIR)/%) +install-2: $(CONTRIB:%=$(CONTRIBDIR)/%) @echo " INSTALL $(CONTRIB)" $(H)scp $< $(DOWNDIR) @@ -145,9 +145,13 @@ install-matita: $(MATITA:%=$(HELENADIR)/%) @echo " INSTALL matita" $(H)tar -C $(HELENADIR) -cjf $(DOWNDIR)/grundlagen_2.tar.bz2 $(MATITA) +install-1: $(HOME)/coq/ld_731/contrib/lambdadelta.tar.gz + @echo " INSTALL $<" + $(H)scp $< $(DOWNDIR)/lambdadelta_1.tar.gz + install-coq: @echo " INSTALL coq" - $(H)ssh $(REMOTE) "cd $(RSTATICDIR)/coq && tar -xzf ../../../lambdadelta/download/lambdadelta_1.tar.gz && . ../../../lambdadelta/etc/to_text.sh v + $(H)ssh $(REMOTE) "cd $(RSTATICDIR)/coq && tar -xzf ../../../lambdadelta/download/lambdadelta_1.tar.gz && . ../../../lambdadelta/etc/to_text.sh v" up: @echo " UPDATE $(RHOMEDIR)" diff --git a/helm/www/lambdadelta/download/lambdadelta_1.tar.gz b/helm/www/lambdadelta/download/lambdadelta_1.tar.gz index f05976ce0..a75d2e3d7 100644 Binary files a/helm/www/lambdadelta/download/lambdadelta_1.tar.gz and b/helm/www/lambdadelta/download/lambdadelta_1.tar.gz differ