]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/software/components/binaries/table_creator/Makefile
now we try two distinct depend files for compilation in byte and native code
[helm.git] / helm / software / components / binaries / table_creator / Makefile
index 15cf1863aaf08ce65a1b61603061d4616790ddf7..23e732629abb8b329c1a3771b56cde6ec23f4309 100644 (file)
@@ -39,7 +39,18 @@ depend:
        $(H)ocamldep table_creator.ml > .depend
 depend.opt: 
        $(H)echo "  OCAMLDEP -native"
-       $(H)ocamldep -native table_creator.ml > .depend
+       $(H)ocamldep -native table_creator.ml > .depend.opt
+
+ifeq ($(MAKECMDGOALS),)
+  include .depend   
+endif
+
+ifeq ($(MAKECMDGOALS), all)
+  include .depend   
+endif
+
+ifeq ($(MAKECMDGOALS), opt)
+  include .depend.opt   
+endif
 
-include .depend
 include ../../../Makefile.defs