X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Focaml%2FMakefile.in;h=b6b3bd0d7da7188fbd7f544083fb8d39618dd029;hb=08791e80816548121e81e04d3ead8c9a5171d033;hp=889b871473b939729c7c99bc9421c63be30b11ab;hpb=524f4d383300fd7a00cb5e457340a15c10453937;p=helm.git diff --git a/helm/ocaml/Makefile.in b/helm/ocaml/Makefile.in index 889b87147..b6b3bd0d7 100644 --- a/helm/ocaml/Makefile.in +++ b/helm/ocaml/Makefile.in @@ -21,10 +21,9 @@ MODULES = \ $(NULL) OCAMLFIND_DEST_DIR = @OCAMLFIND_DEST_DIR@ -OCAMLFIND_META_DIR = @OCAMLFIND_META_DIR@ +OCAMLPATH = @OCAMLFIND_META_DIR@ METAS = $(MODULES:%=METAS/META.helm-%) -CWD=`pwd` all: metas $(MODULES:%=%.all) opt: metas $(MODULES:%=%.opt) @@ -41,12 +40,15 @@ distclean: clean clean_metas .PHONY: all opt world metas depend install uninstall clean clean_metas distclean -$(MODULES:%=%.all): - export OCAMLPATH=$(CWD):$$OCAMLPATH ; cd $(@:%.all=%) && make all -$(MODULES:%=%.opt): - export OCAMLPATH=$(CWD):$$OCAMLPATH ; cd $(@:%.opt=%) && make opt -$(MODULES:%=%.depend): - export OCAMLPATH=$(CWD):$$OCAMLPATH ; cd $(@:%.depend=%) && make depend +%.all: + OCAMLPATH=$(OCAMLPATH):$$OCAMLPATH $(MAKE) -C $* all +%.opt: + OCAMLPATH=$(OCAMLPATH):$$OCAMLPATH $(MAKE) -C $* opt +%.clean: + OCAMLPATH=$(OCAMLPATH):$$OCAMLPATH $(MAKE) -C $* clean +%.depend: + OCAMLPATH=$(OCAMLPATH):$$OCAMLPATH $(MAKE) -C $* depend + $(MODULES:%=%.install): cd $(@:%.install=%) && make install export TARGET=$(OCAMLFIND_META_DIR)/$(@:%.install=META.helm-%) ; \ @@ -55,10 +57,8 @@ $(MODULES:%=%.install): $(MODULES:%=%.uninstall): cd $(@:%.uninstall=%) && make uninstall rm -f $(OCAMLFIND_META_DIR)/$(@:%.uninstall=META.helm-%) -$(MODULES:%=%.clean): - cd $(@:%.clean=%) && make clean METAS/META.helm-%: METAS/meta.helm-%.src - cp $< $@ && echo "directory=\"$(CWD)/$*\"" >> $@ + cp $< $@ && echo "directory=\"$(shell pwd)/$*\"" >> $@ .PHONY: .dep.dot .dep.dot: