]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/software/lambda-delta/Makefile.common
when sort inclusion is enabled, we can produce conversion constraints in xml
[helm.git] / helm / software / lambda-delta / Makefile.common
index 434ece82f7aa6d84ff2aa5b05ca14f0404e1d110..5d007032ebfc10dc585c234079b5ba57f5380640 100644 (file)
@@ -20,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)
 
@@ -71,6 +73,10 @@ 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)