]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/software/lambda-delta/Makefile.common
improved type hierarchy management
[helm.git] / helm / software / lambda-delta / Makefile.common
index c9173f76c4a2be9ee5fee6bdc8cd4a2910f04266..e4489040d2d83d0e7adcb7f55e29aca7dfcf02b6 100644 (file)
@@ -4,9 +4,10 @@ INCLUDES = $(DIRECTORIES:%=-I %)
 
 OCAMLDEP  = ocamlfind ocamldep -native $(INCLUDES)
 OCAMLOPT  = ocamlfind opt -linkpkg -package "$(REQUIRES)" $(INCLUDES)
-OCAMLLEX  = ocamllex
+OCAMLLEX  = ocamllex.opt
 OCAMLYACC = ocamlyacc -v
 TAR       = tar -czf $(MAIN:%=%.tgz)
+GZIP      = gzip
 
 define DIR_TEMPLATE
    MODULES += $$(addprefix $(1)/,$$(shell cat $(1)/Make))