SHELL := $(shell which bash)
H=@
-TAGS = up-html up-html-ix up-home html html-ix home ldw ldw-ix
-
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 install-2 install-1 install-coq \
install-automath install-v install-matita \
+TAGS = up-html up-html-ix up-home html html-ix home ldw ldw-ix install-2
+
LDWEBURL = http://helm.cs.unibo.it/lambdadelta/
SITEDIR = html
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 \
# GENERATE HTML LDDL #########################################################
-ifeq ($(MAKECMDGOALS),html)
- LDWS = $(shell find $(LDDLDIR) -name *.ldw.xml)
-endif
+$(HTMLSTAMP): LDWS = `find $(LDDLDIR) -name *.ldw.xml -not -name index.ldw.xml`
$(HTMLSTAMP): $(LDWSTAMP) $(SITEMAP) $(LDWEB:%=$(XSLTDIR)/%)
$(H)for LDW in $(LDWS); do \
$(XSLT) $(XSLT_OUT) $$HTML $(XSLT_XSL) $(XSLTDIR)/ld_web.xsl $(XSLT_IN) $$LDW; \
done
$(H)touch $@
- $(H)touch $(HTMLIXSTAMP)
html: $(HTMLSTAMP)
ldw-ix: $(LDWIXSTAMP)
+# INSTALL λδ-2 PACKAGES ######################################################
+
+install-2: PKGS = $(shell find -L $(CONTRIBDIR) -name lambdadelta_*.tar.bz2)
+
+install-2: $(PKGS)
+ @echo " INSTALL $(PKGS:$(CONTRIBDIR)/lambdadelta_%.tar.bz2=%)"
+ $(H)scp $(PKGS) $(DOWNDIR)
+ $(H)$(RM) $(PKGS)
+
##############################################################################
lint-xml: $(XMLS:%=$(XMLDIR)/%)
$(H)scp $< $(DOWNDIR)
$(H)scp $< $(DOWNDIR)/$(BIB:%.bib=%.txt)
-install-2: $(CONTRIB:%=$(CONTRIBDIR)/%)
- @echo " INSTALL $(CONTRIB)"
- $(H)scp $< $(DOWNDIR)
-
install-automath: $(HELENADIR)/$(AUTOMATH)
@echo " INSTALL $(notdir $<)"
$(H)scp $< $(DOWNDIR)