X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fwww%2Flambdadelta%2FMakefile;h=240b2dce1477e40f5f3a291a2c781d121394ebd9;hb=a3ab07c97eaea90a6f243f2053fb55151ecc12df;hp=c88300d95ed814ef817004d27d7e8eb434a4b623;hpb=c0d87c3cdf879f61aa53e91f43580e9815ae7190;p=helm.git diff --git a/helm/www/lambdadelta/Makefile b/helm/www/lambdadelta/Makefile index c88300d95..240b2dce1 100644 --- a/helm/www/lambdadelta/Makefile +++ b/helm/www/lambdadelta/Makefile @@ -3,7 +3,8 @@ H=@ TAGS = www up \ lint-xml index lddl install-xml \ test-html html install-html \ - install-jed install-bib install-contrib \ + install-jed install-bib install-2 install-1 install-coq \ + install-automath install-matita \ LDURL = http://lambdadelta.info/ @@ -13,37 +14,39 @@ DOWNDIR = download XSLTDIR = xslt XMLDIR = xml SRCDIR = web/home +LDDLDIR = web/lddl XHTBLDIR = bin/xhtbl -HTMLDIR = $(HOME)/public_html/lddl +HTMLDIR = static/lddl JEDDIR = $(HOME)/mps/jed BIBDIR = $(HOME)/texmf/bibtex/bib CONTRIBDIR = $(ETCDIR)/lambdadelta +HELENADIR = ../../software/helena WEBDIRS = $(SRCDIR) $(ETCDIR) REMOTE = helm.cs.unibo.it RDIR = /projects/helm/public_html/lambdadelta -RXMLDIR = $(REMOTE):$(RDIR)/xml -RHTMLDIR = $(REMOTE):$(RDIR)/static/lddl +RHOMEDIR = $(REMOTE):$(RDIR) +RXMLDIR = $(RHOMEDIR)/xml +RDOWNDIR = $(RHOMEDIR)/download +RSTATICDIR = /projects/helm/public_html/lambda-delta/static SLS = helena.sl automath.sl BIB = lambdadelta.bib CONTRIB = lambdadelta_2.tar.gz -XMLS = brg_si/grundlagen/l/not.ld.xml \ - brg_si/grundlagen/l/et.ld.xml \ - brg_si/grundlagen/l/e/st/eq/landau/n/rt/rp/r/c/8283/t234.ld.xml \ - brg_si/grundlagen/l/e/pairis1.ld.xml \ - brg_si/grundlagen/l/e/st/eq/landau/n/327/t25.ld.xml \ - crg_si/grundlagen/l/not.ld.xml \ - crg_si/grundlagen/l/et.ld.xml \ - crg_si/grundlagen/l/e/st/eq/landau/n/rt/rp/r/c/8283/t234.ld.xml \ - crg_si/grundlagen/l/e/pairis1.ld.xml \ - crg_si/grundlagen/l/e/st/eq/landau/n/327/t25.ld.xml \ - brg_si/grundlagen/ccs.ldc.xml +XMLS = Environment/grundlagen_2/l/not.ld.xml \ + Environment/grundlagen_2/l/et.ld.xml \ + Environment/grundlagen_2/l/e/st/eq/landau/n/rt/rp/r/c/8283/t234.ld.xml \ + Environment/grundlagen_2/l/e/pairis1.ld.xml \ + Environment/grundlagen_2/l/e/st/eq/landau/n/327/t25.ld.xml \ LDWEB = ld_web.xsl ld_web_root.xsl ld_web_library.xsl +AUTOMATH = examples/automath/grundlagen_2.aut + +MATITA = matita/root matita/grundlagen_2.ma + XMLLINT = xmllint --noout XSLT = xalan XHTBL = $(XHTBLDIR)/xhtbl.native @@ -88,7 +91,7 @@ endif all: www -www: $(HTMLS) +www: $(HTMLS) $(TBLS) $(XHTBL) lint-xml: $(XMLS:%=$(XMLDIR)/%) @echo XMLLINT --valid @@ -99,13 +102,14 @@ $(ETCDIR)/make-html.sh $(XMLDIR)/index.txt index: $(H)find $(XMLDIR) -name "*.ld.xml" | sed s/.xml//g | sed s/xml/ld:/g > $(XMLDIR)/index.txt $(H)sed "s/^/make --no-print-directory /" $(XMLDIR)/index.txt | sed s.ld:/.. > $(ETCDIR)/make_html.sh -lddl: $(ETCDIR)/exclude.txt index +$(DOWNDIR)/lddl.tar.bz2 lddl: $(ETCDIR)/exclude.txt $(XMLDIR)/index.txt @echo " GENERATE lddl.tar.bz2" $(H)tar -cjf $(DOWNDIR)/lddl.tar.bz2 -X $< $(XMLDIR) -install-xml: $(XMLDIR)/index.txt +install-xml: $(DOWNDIR)/lddl.tar.bz2 @echo " INSTALL xml" - $(H)scp -r $< $(XMLDIR)/brg_si/ $(XMLDIR)/crg_si/ $(RXMLDIR) + $(H)scp $^ $(RDOWNDIR) + $(H)ssh $(REMOTE) "cd $(RDIR) && tar -xjf download/lddl.tar.bz2" test-html: @$(MAKE) --no-print-directory $(XMLS:%.xml=%) @@ -114,9 +118,11 @@ html: $(ETCDIR)/make_html.sh @echo " MAKE */*.ld" $(H). $< -install-html: $(ETCDIR)/make_html.sh +install-html $(DOWNDIR)/static_lddl.tar.bz2: $(ETCDIR)/exclude.txt $(ETCDIR)/make_html.sh @echo " INSTALL html" - $(H)scp -r $(HTMLDIR)/* $(RHTMLDIR) + $(H)tar -cjf $(DOWNDIR)/static_lddl.tar.bz2 -C static -X $< lddl + $(H)scp $(DOWNDIR)/static_lddl.tar.bz2 $(RDOWNDIR) + $(H)ssh $(REMOTE) "cd $(RSTATICDIR) && tar -xjf ../../lambdadelta/download/static_lddl.tar.bz2 install-jed: $(SLS:%=$(JEDDIR)/%) @echo " INSTALL $(SLS)" @@ -127,20 +133,35 @@ 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) +install-automath: $(HELENADIR)/$(AUTOMATH) + @echo " INSTALL $(notdir $<)" + $(H)scp $< $(DOWNDIR) + +install-matita: $(MATITA:%=$(HELENADIR)/%) + @echo " INSTALL matita" + $(H)tar -C $(HELENADIR) -cjf $(DOWNDIR)/grundlagen_2.tar.bz2 $(MATITA) + +install-1: etc/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" + up: - @echo " UPDATE $(REMOTE):$(RDIR)" + @echo " UPDATE $(RHOMEDIR)" $(H)ssh $(REMOTE) "svn up $(RDIR)" %.ld: @echo " XSLT $@" + $(H)mkdir -p $(LDDLDIR)/$(@D) + $(H)$(XSLT) $(XSLT_OUT) $(LDDLDIR)/$@.ldw.xml $(XSLT_XSL) $(XSLTDIR)/lddl.xsl $(XSLT_IN) $(XMLDIR)/$@.xml $(H)mkdir -p $(HTMLDIR)/$(@D) - $(H)$(XSLT) $(XSLT_OUT) $(HTMLDIR)/$@.html $(XSLT_XSL) $(XSLTDIR)/lddl.xsl $(XSLT_IN) $(XMLDIR)/$@.xml - -%.ldc: - @echo " SKIP $@" + $(H)$(XSLT) $(XSLT_OUT) $(HTMLDIR)/$@.html $(XSLT_XSL) $(XSLTDIR)/ld_web.xsl $(XSLT_IN) $(LDDLDIR)/$@.ldw.xml .PHONY: $(TAGS)