]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/software/lambda-delta/Makefile.common
we corrected some reduction bugs about renaming.
[helm.git] / helm / software / lambda-delta / Makefile.common
index c4a276b82ab2772d8a145b01e387364e21f9a5e5..cf15ef85d528358bb2f7664ff17c18ad9f36db2d 100644 (file)
@@ -1,12 +1,15 @@
 H=@
 
+DIRECTORIES = $(shell cat Make)
+
 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))
@@ -66,7 +69,3 @@ tgz: clean
 ifeq ($(MAKECMDGOALS), $(MAIN).opt)
   include .depend.opt
 endif
-
-ifeq ($(MAKECMDGOALS), test)
-  include .depend.opt
-endif