]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/software/lambda-delta/Makefile.common
metaAut: now we use hash tables properly (processing time: 2s)
[helm.git] / helm / software / lambda-delta / Makefile.common
index 0adedde842b7d0a8c60e1db26cf312cae2d7aff6..c4a276b82ab2772d8a145b01e387364e21f9a5e5 100644 (file)
@@ -64,5 +64,9 @@ tgz: clean
        $(H)$(OCAMLOPT) -c $<
 
 ifeq ($(MAKECMDGOALS), $(MAIN).opt)
-  include .depend.opt   
+  include .depend.opt
+endif
+
+ifeq ($(MAKECMDGOALS), test)
+  include .depend.opt
 endif