the old intermediate language (meta) is now obsolete

[helm.git] / helm / software / lambda-delta / Makefile.common

diff --git a/helm/software/lambda-delta/Makefile.common b/helm/software/lambda-delta/Makefile.common
index 7ab5447b6fdd6fc556ff1a4f23c7593f5848ef17..5d007032ebfc10dc585c234079b5ba57f5380640 100644 (file)
--- a/helm/software/lambda-delta/Makefile.common
+++ b/helm/software/lambda-delta/Makefile.common
@@ -9,6 +9,7 @@ LDDLURL = http://helm.cs.unibo.it/lambda-delta/static/lddl
 LDDLDIR = mowgli:/projects/helm/public_html/lambda-delta/static/lddl
 DOWNDIR = mowgli:/projects/helm/public_html/lambda-delta/download
 XMLDIR  = mowgli:/projects/helm/public_html/lambda-delta/xml
+LOCALLDDLDIR = ../../../public_html/lddl
 
 DIRECTORIES = $(addprefix $(SRC)/,$(shell cat $(SRC)/Make))
 
@@ -19,6 +20,8 @@ OCAMLOPT  = $(OCAMLFIND) opt $(OCAMLOPTIONS) -linkpkg -package "$(REQUIRES)" $(I
 OCAMLLEX  = ocamllex.opt
 OCAMLYACC = ocamlyacc -v
 XMLLINT   = xmllint --noout
+
+
 XSLT      = xsltproc
 #TAR       = tar -czf etc/$(MAIN:%=%.tgz)
 
@@ -66,10 +69,14 @@ clean:
        @echo "  CLEAN . $(SRC)"
        $(H)find -name "*~" | xargs $(RM) $(CLEAN)
 
-lint: $(XMLS)
+lint-xml: $(XMLS)
        @echo XMLLINT --valid
        $(H)$(XMLLINT) --valid $^ 
 
+lint-xml-local: $(LOCALXMLS)
+       @echo XMLLINT --valid
+       $(H)$(XMLLINT) $(XMLLINTLOCAL) --valid $^ 
+
 #tgz: clean
 #      @echo "  TAR -czf $(MAIN:%=%.tgz) . $(DIRECTORIES)" 
 #      $(H)find -name "Make*" | xargs $(TAR) $(KEEP)