]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/software/lambda-delta/Makefile.common
- the connections between the intermediate language and the "bag"
[helm.git] / helm / software / lambda-delta / Makefile.common
index 5d007032ebfc10dc585c234079b5ba57f5380640..7bf33007d2add8648843030b5f130d904047fc9c 100644 (file)
@@ -20,10 +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)
+TAR       = tar -czf etc/$(MAIN:%=%.tgz)
 
 define DIR_TEMPLATE
    MODULES += $$(addprefix $(1)/,$$(shell cat $(1)/Make))
@@ -73,13 +71,9 @@ 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)
+tgz: clean
+       @echo "  TAR -czf $(MAIN:%=%.tgz) . $(DIRECTORIES)" 
+       $(H)find -name "Make*" | xargs $(TAR) $(KEEP)
 
 %.ml %.mli: %.mly
        @echo "  OCAMLYACC $<"