From 1e485645ef6481a856e8a67477f186519fb8ec9d Mon Sep 17 00:00:00 2001
From: coq
Date: Sat, 5 Oct 2002 11:03:20 +0000
Subject: Lazy experimentale temporaire...

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@3091 85f007b7-540e-0410-9357-904b9bb8a0f7
---
 dev/Makefile.devel | 10 ++++++++++
 1 file changed, 10 insertions(+)

(limited to 'dev')

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
-- 
cgit v1.2.3