]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/software/components/binaries/transcript/Makefile
transcript updated
[helm.git] / helm / software / components / binaries / transcript / Makefile
index 87f9ea0a372e92b8d8c3414359ee23ac9cbee347..1252d345fbb343659f6d37cb53a8280aa055e102 100644 (file)
@@ -21,7 +21,8 @@ OCAMLLEX = ocamllex
 
 all: transcript .depend
        @echo -n
-opt: transcript.opt $(EXTRAS) .depend
+
+opt: transcript.opt $(EXTRAS) .depend.opt
        #echo -n
 
 transcript: $(CMIS) $(CMOS) $(EXTRAS) 
@@ -40,6 +41,10 @@ clean:
        @echo "  OCAMLDEP $(MLIS) $(MLS)"
        $(H)$(OCAMLDEP) $(MLIS) $(MLS) > .depend
 
+.depend.opt: $(MLIS) $(MLS) $(EXTRAS)
+       @echo "  OCAMLDEP -native $(MLIS) $(MLS)"
+       $(H)$(OCAMLDEP) -native $(MLIS) $(MLS) > .depend.opt
+
 test: transcript transcript.conf.xml $(PACKAGES:%=%.conf.xml) 
        @echo "  TRANSCRIPT $(PACKAGES)" 
        $(H)$< $(PACKAGES)
@@ -53,7 +58,9 @@ export: clean
        @echo "  TAR transcript"
        $(H)cd .. && tar --exclude=transcript/.svn -czf transcript.tgz transcript
 
-depend: .depend
+depend: .depend 
+
+depend.opt: .depend.opt 
 
 %.cmi: %.mli $(EXTRAS) 
        @echo "  OCAMLC $<"
@@ -73,6 +80,10 @@ depend: .depend
 
 include ../../../Makefile.defs
 
+ifeq ($(MAKECMDGOALS), opt)
+  include .depend.opt   
+endif
+
 ifeq ($(MAKECMDGOALS), all)
   include .depend   
 endif