X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Focaml%2FMakefile.common.in;h=47d02bb42867c70452ca921eb451bf96ff4d26f6;hb=fde0ad77237a2fbdfb5621d5b5085fe7c82e3f92;hp=db01ff2b585cd542587f15a4a5b13e2f7bfd48a7;hpb=0314c6663da086b4ef6363b347c8653169c5e3c0;p=helm.git diff --git a/helm/ocaml/Makefile.common.in b/helm/ocaml/Makefile.common.in index db01ff2b5..47d02bb42 100644 --- a/helm/ocaml/Makefile.common.in +++ b/helm/ocaml/Makefile.common.in @@ -40,12 +40,18 @@ opt: $(IMPLEMENTATION_FILES:%.ml=%.cmx) $(ARCHIVE_OPT) depend: $(DEPEND_FILES) $(OCAMLDEP) $(INTERFACE_FILES) $(IMPLEMENTATION_FILES) > .depend +$(PACKAGE).ps: .dep.dot + dot -Tps -o $@ $< + +.dep.dot: .depend + ocamldot < .depend > $@ + .SUFFIXES: .ml .mli .cmo .cmi .cmx .mll .mly -.ml.cmo: $(LIBRARIES) +.ml.cmo: $(OCAMLC) -c $< -.mli.cmi: $(LIBRARIES) +.mli.cmi: $(OCAMLC) -c $< -.ml.cmx: $(LIBRARIES_OPT) +.ml.cmx: $(OCAMLOPT) -c $< .mly.ml: $(OCAMLYACC) $< @@ -54,6 +60,9 @@ depend: $(DEPEND_FILES) .mll.ml: $(OCAMLLEX) $< +$(IMPLEMENTATION_FILES:%.ml=%.cmo): $(LIBRARIES) +$(IMPLEMENTATION_FILES:%.ml=%.cmx): $(LIBRARIES_OPT) + clean: rm -f *.cm[ioax] *.cmxa *.o *.a $(EXTRA_OBJECTS_TO_CLEAN) @@ -67,4 +76,6 @@ uninstall: .PHONY: all opt depend install uninstall clean -include .depend +ifneq ($(MAKECMDGOALS), depend) + include .depend +endif