From e6afa737d4bcc1c7973cd46094e824b875fede11 Mon Sep 17 00:00:00 2001 From: coq Date: Tue, 1 Oct 2002 07:52:25 +0000 Subject: Cool dev/Makefile's git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@3054 85f007b7-540e-0410-9357-904b9bb8a0f7 --- dev/Makefile.devel | 25 +++++++++++++++++++++---- 1 file changed, 21 insertions(+), 4 deletions(-) (limited to 'dev/Makefile.devel') diff --git a/dev/Makefile.devel b/dev/Makefile.devel index 729e6147ee..ce80836ab9 100644 --- a/dev/Makefile.devel +++ b/dev/Makefile.devel @@ -6,22 +6,36 @@ BASEDIR= SOURCEDIRS=lib kernel library pretyping parsing proofs tactics toplevel -default: noargument +default: usage noargument -# set the devel makefile +usage:: + @echo Usage: make \ + @echo Targets are: + +usage:: + @echo " setup-devel -- set the devel makefile" setup-devel: @ln -sfv dev/Makefile.devel makefile @(for i in $(SOURCEDIRS); do \ (cd $(TOPDIR)/$$i; ln -sfv ../dev/Makefile.dir Makefile) \ done) + +usage:: + @echo " clean-devel -- clear all devel files" clean-devel: echo rm -f makefile .depend.devel echo rm -f $(foreach dir,$(SOURCEDIRS), $(TOPDIR)/$(dir)/Makefile) + +usage:: + @echo " coqtop -- make until the bytecode executable, make the link" coqtop: bin/coqtop.byte ln -sf bin/coqtop.byte coqtop + +usage:: + @echo " quick -- make bytecode executable and states" quick: $(MAKE) states BEST=byte @@ -37,10 +51,13 @@ ifneq ($(wildcard $(TOPDIR)/dev/Makefile.local),) include $(TOPDIR)/dev/Makefile.local endif -#runs coqtop with all theories required +usage:: + @echo " total -- runs coqtop with all theories required" total: ledit ./bin/coqtop.byte $(foreach th,$(THEORIESVO),-require $(notdir $(basename $(th)))) -#runs coqtop storing using the history file +usage:: + @echo " run -- makes and runs bytecode coqtop using ledit and the history file" + @echo " if you want to pass arguments to coqtop, use make run ARG=" run: $(TOPDIR)/coqtop ledit -h $(TOPDIR)/dev/debug_history -x $(TOPDIR)/coqtop $(ARG) $(ARGS) -- cgit v1.2.3