From: Stefano Zacchiroli Date: Mon, 16 Feb 2004 09:48:18 +0000 (+0000) Subject: added ocamlinit target which creates a .ocamlinit file X-Git-Tag: v0_0_4~195 X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=0ef1e1ba509946f79ff975e9048f0ccc6f053784;p=helm.git added ocamlinit target which creates a .ocamlinit file --- diff --git a/helm/ocaml/Makefile.common.in b/helm/ocaml/Makefile.common.in index 1afee22b8..bdcc27e86 100644 --- a/helm/ocaml/Makefile.common.in +++ b/helm/ocaml/Makefile.common.in @@ -80,7 +80,13 @@ uninstall: backup: cd ..; tar cvzf $(PACKAGE)_$(shell date +%s).tar.gz $(PACKAGE) -.PHONY: all opt world backup depend install uninstall clean +ocamlinit: + echo "#use \"topfind\";;" > .ocamlinit + echo "#thread;;" >> .ocamlinit + for p in $(REQUIRES); do echo "#require \"$$p\";;" >> .ocamlinit; done + echo "#load \"$(PACKAGE).cma\";;" >> .ocamlinit + +.PHONY: all opt world backup depend install uninstall clean ocamlinit ifneq ($(MAKECMDGOALS), depend) include .depend diff --git a/helm/ocaml/Makefile.in b/helm/ocaml/Makefile.in index 4f745c833..1833ece77 100644 --- a/helm/ocaml/Makefile.in +++ b/helm/ocaml/Makefile.in @@ -31,6 +31,7 @@ CWD=`pwd` all: metas $(MODULES:%=%.all) opt: metas $(MODULES:%=%.opt) +world: all opt metas: $(METAS) depend: $(MODULES:%=%.depend) install: $(MODULES:%=%.install) @@ -38,10 +39,11 @@ uninstall: $(MODULES:%=%.uninstall) clean: $(MODULES:%=%.clean) clean_metas: rm -f $(METAS) - distclean: clean clean_metas rm -f Makefile Makefile.common configure config.log config.cache config.status +.PHONY: all opt world metas depend install uninstall clean clean_metas distclean + $(MODULES:%=%.all): export OCAMLPATH=$(CWD):$$OCAMLPATH ; cd $(@:%.all=%) && make all $(MODULES:%=%.opt):