diff options
| author | coq | 2002-10-05 11:03:20 +0000 |
|---|---|---|
| committer | coq | 2002-10-05 11:03:20 +0000 |
| commit | 1e485645ef6481a856e8a67477f186519fb8ec9d (patch) | |
| tree | fe06414569b65ae325c474f55e831fe228a0c23c /dev | |
| parent | dfb48b895bb114e6eb49840d960268e18f8aaf0c (diff) | |
Lazy experimentale temporaire...
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@3091 85f007b7-540e-0410-9357-904b9bb8a0f7
Diffstat (limited to 'dev')
| -rw-r--r-- | dev/Makefile.devel | 10 |
1 files changed, 10 insertions, 0 deletions
diff --git a/dev/Makefile.devel b/dev/Makefile.devel index ce80836ab9..db25167f5c 100644 --- a/dev/Makefile.devel +++ b/dev/Makefile.devel @@ -51,13 +51,23 @@ 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 |