now we try two distinct depend files for compilation in byte and native code

[helm.git] / helm / software / components / binaries / extractor / Makefile

diff --git a/helm/software/components/binaries/extractor/Makefile b/helm/software/components/binaries/extractor/Makefile
index f7151e3cbabf8eb1a7e5a3031fa77b37d12c1e9a..eae5c635d52010e252db7f34695857af8b10eb77 100644 (file)
--- a/helm/software/components/binaries/extractor/Makefile
+++ b/helm/software/components/binaries/extractor/Makefile
@@ -38,7 +38,18 @@ depend:
        $(H)ocamldep extractor.ml extractor_manager.ml > .depend
 depend.opt: 
        $(H)echo "  OCAMLDEP -native"
-       $(H)ocamldep -native extractor.ml extractor_manager.ml > .depend
+       $(H)ocamldep -native extractor.ml extractor_manager.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