]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/software/lambda-delta/Makefile.common
- performance data added for reference
[helm.git] / helm / software / lambda-delta / Makefile.common
index f8b8429091d12a16e7321b8aa33cdd8f88a0f5cc..7b8d0c3c304301991a21cc20f9f52f6ec0f74d6f 100644 (file)
@@ -9,7 +9,6 @@ OCAMLOPT  = ocamlfind opt -linkpkg -package "$(REQUIRES)" $(INCLUDES)
 OCAMLLEX  = ocamllex.opt
 OCAMLYACC = ocamlyacc -v
 TAR       = tar -czf $(MAIN:%=%.tgz)
-GZIP      = gzip
 
 define DIR_TEMPLATE
    MODULES += $$(addprefix $(1)/,$$(shell cat $(1)/Make))