X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fwww%2Flambdadelta%2FMakefile;h=e9008a950c30a13b68e2dba934c0aa5991b00610;hb=3c6ff3987c3cc5e2df03fb76d07697c28c89c0a8;hp=388070cd0daab79da8e2958ddf4f5e943dbf77b2;hpb=2a5e0b799cd6aae5d920c67a5ddc9d9888cf7e80;p=helm.git diff --git a/helm/www/lambdadelta/Makefile b/helm/www/lambdadelta/Makefile index 388070cd0..e9008a950 100644 --- a/helm/www/lambdadelta/Makefile +++ b/helm/www/lambdadelta/Makefile @@ -1,62 +1,119 @@ H=@ -TAGS = www up \ +TAGS = www up-html up-css up-images up-download \ lint-xml index lddl install-xml \ test-html html install-html \ - install-jed install-bib \ - -LDDLURL = http://lambdadelta.info/static/lddl - -ETCDIR = etc -DOWNDIR = download -XSLTDIR = xslt -XMLDIR = xml -HTMLDIR = $(HOME)/public_html/lddl -JEDDIR = $(HOME)/mps/jed -BIBDIR = $(HOME)/texmf/bibtex/bib -XHTBLDIR = bin/xhtbl + install-jed install-bib install-2 install-1 install-coq \ + install-automath install-v install-matita \ + +LDURL = http://lambdadelta.info/ + +SITEDIR = html +ETCDIR = etc +DOWNDIR = download +XSLTDIR = xslt +XMLDIR = xml +SRCDIR = web/home +LDDLDIR = web/lddl +XHTBLDIR = bin/xhtbl +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 - -SLS = helena.sl automath.sl -BIB = lambdadelta.bib - -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 +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 = 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 ld_web_ebnf.xsl + +AUTOMATH = examples/automath/grundlagen_2.aut +COQ = coq/grundlagen_2.v + +MATITA = matita/root matita/grundlagen_2.ma XMLLINT = xmllint --noout -XSLT = xsltproc +XSLT = xalan +XHTBL = $(XHTBLDIR)/xhtbl.native + +XHTBLOPTS = + +ifeq ($(XSLT), xsltproc) + XSLT_PARAM := --param + XSLT_OUT := -o + XSLT_XSL := + XSLT_IN := +endif + +ifeq ($(XSLT), xalan) + XSLT_PARAM := -param + XSLT_OUT := -out + XSLT_XSL := -xsl + XSLT_IN := -in + XSLT += -indent 2 +endif + +XSLT += $(XSLT_PARAM) baseurl '"$(LDURL)"' $(XSLT_PARAM) date '"$(shell date -R)"' + +define HTML_TEMPLATE + HTML_$(2) = $$(SITEDIR)/$(2).html + HTMLS += $$(HTML_$(2)) + + $$(HTML_$(2)): $(1) $$(XSLS) $$(LDWEB:%=$$(XSLTDIR)/%) + @echo " XSLT $$(notdir $$<)" + $$(H)$$(XSLT) $$(XSLT_OUT) $$@ $$(XSLT_XSL) $$(XSLTDIR)/ld_web.xsl $$(XSLT_IN) $$< +endef + +ifeq ($(MAKECMDGOALS), www) + LDWS = $(shell find -L $(WEBDIRS) -name "*.ldw.xml") + TBLS = $(shell find -L $(WEBDIRS) -name "*.tbl") + XSLS = $(addprefix $(XSLTDIR)/,xhtbl.xsl $(notdir $(TBLS:%.tbl=%.xsl))) -all: www + $(XSLS): $(TBLS) $(XHTBL) + @echo " XHTBL $(XHTBLOPTS) *.tbl" + $(H)$(XHTBL) $(XHTBLOPTS) -b $(LDURL) -O $(XSLTDIR) $(TBLS) + + $(foreach LDW,$(LDWS),$(eval $(call HTML_TEMPLATE,$(LDW),$(notdir $(LDW:%.ldw.xml=%))))) +endif + +all: + @echo $(HTMLS) + +www: $(HTMLS) $(TBLS) $(XHTBL) lint-xml: $(XMLS:%=$(XMLDIR)/%) @echo XMLLINT --valid - $(H)$(XMLLINT) --valid $^ + $(H)$(XMLLINT) --valid $^ $(ETCDIR)/make-html.sh $(XMLDIR)/index.txt index: @echo " GENERATE INDEXES" $(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) + $(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=%) @@ -65,9 +122,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)" @@ -78,21 +137,51 @@ install-bib: $(BIB:%=$(BIBDIR)/%) $(H)scp $< $(DOWNDIR) $(H)scp $< $(DOWNDIR)/$(BIB:%.bib=%.txt) -www: - $(H)$(MAKE) --no-print-directory -C $(XHTBLDIR) www +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) -up: - @echo " UPDATE $(REMOTE):$(RDIR)" - $(H)ssh $(REMOTE) "svn up $(RDIR)" +install-1: etc/coq/ld_731/contrib/lambdadelta.tar.gz + @echo " INSTALL $<" + $(H)scp $< $(DOWNDIR)/lambdadelta_1.tar.gz -%.ld: BASEURL = --stringparam baseurl $(LDDLURL) +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" + +install-v: $(HELENADIR)/$(COQ) + @echo " INSTALL $(notdir $<)" + $(H)scp $< $(DOWNDIR) + +up-html: + @echo " UPDATE $(RHOMEDIR)/html/" + $(H)scp -q -r html $(RHOMEDIR) + +up-css: + @echo " UPDATE $(RHOMEDIR)/css/" + $(H)scp -q -r css $(RHOMEDIR) + +up-images: + @echo " UPDATE $(RHOMEDIR)/images/" + $(H)scp -q -r images $(RHOMEDIR) + +up-download: + @echo " UPDATE $(RHOMEDIR)/download/" + $(H)scp -q -r download $(RHOMEDIR) %.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) -o $(HTMLDIR)/$@.html $(BASEURL) $(XSLTDIR)/lddl.xsl $(XMLDIR)/$@.xml - -%.ldc: - @echo " SKIP $@" + $(H)$(XSLT) $(XSLT_OUT) $(HTMLDIR)/$@.html $(XSLT_XSL) $(XSLTDIR)/ld_web.xsl $(XSLT_IN) $(LDDLDIR)/$@.ldw.xml .PHONY: $(TAGS)