diff options
author | Samuel Mimram <smimram@debian.org> | 2006-06-16 14:41:51 +0000 |
---|---|---|
committer | Samuel Mimram <smimram@debian.org> | 2006-06-16 14:41:51 +0000 |
commit | e978da8c41d8a3c19a29036d9c569fbe2a4616b0 (patch) | |
tree | 0de2a907ee93c795978f3c843155bee91c11ed60 /dev/tools/Makefile.devel | |
parent | 3ef7797ef6fc605dfafb32523261fe1b023aeecb (diff) |
Imported Upstream version 8.0pl3+8.1betaupstream/8.0pl3+8.1beta
Diffstat (limited to 'dev/tools/Makefile.devel')
-rw-r--r-- | dev/tools/Makefile.devel | 74 |
1 files changed, 74 insertions, 0 deletions
diff --git a/dev/tools/Makefile.devel b/dev/tools/Makefile.devel new file mode 100644 index 00000000..f3abb62d --- /dev/null +++ b/dev/tools/Makefile.devel @@ -0,0 +1,74 @@ +# to be linked to makefile (lowercase - takes precedence over Makefile) +# in main directory +# make devel in main directory should do this for you. + +TOPDIR=. +BASEDIR= + +SOURCEDIRS=lib kernel library pretyping parsing proofs tactics toplevel + +default: usage noargument + +usage:: + @echo Usage: make \<target\> + @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 + +include Makefile + +include $(TOPDIR)/dev/Makefile.common + +# this file is better described in dev/Makefile.dir +include .depend.devel + +#if dev/Makefile.local exists, it is included +ifneq ($(wildcard $(TOPDIR)/dev/Makefile.local),) +include $(TOPDIR)/dev/Makefile.local +endif + + +usage:: + @echo " total -- runs coqtop with all theories required" +total: + ledit ./bin/coqtop.byte $(foreach th,$(THEORIESVO),-require $(notdir $(basename $(th)))) + + +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=<args>" +run: $(TOPDIR)/coqtop + ledit -h $(TOPDIR)/dev/debug_history -x $(TOPDIR)/coqtop $(ARG) $(ARGS) + + +usage:: + @echo " vars -- echos commands to set COQTOP and COQBIN variables" +vars: + @(cd $(TOPDIR); \ + echo export COQTOP=`pwd`/ ; \ + echo export COQBIN=`pwd`/bin/ )
\ No newline at end of file |