From 432bcaee29481bf9a26e890b8c6ad893cb65c4de Mon Sep 17 00:00:00 2001
From: filliatr
Date: Wed, 3 May 2000 22:39:27 +0000
Subject: compilation bytecode / native :  - script de configuration  -
 Makefile  - simplification de coqmktop  - option -opt de coqc

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@413 85f007b7-540e-0410-9357-904b9bb8a0f7
---
 config/Makefile.template | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

(limited to 'config')

diff --git a/config/Makefile.template b/config/Makefile.template
index 6ae9ca84a7..52c054372b 100644
--- a/config/Makefile.template
+++ b/config/Makefile.template
@@ -59,8 +59,8 @@ CAMLDEBUG=COQDEBUGFLAG
 # Compilation profile flag
 CAMLTIMEPROF=COQPROFILEFLAG
 
-# Compilation of tools: bytecode (=byte) or native (=opt)
-COQTOOLS=COQTOOLSFLAG
+# The best compiler: native (=opt) or bytecode (=byte) if no native compiler
+BEST=BESTCOMPILER
 
 # For Camlp4 use
 P4=$(COQTOP)/bin/$(ARCH)/call_camlp4 -I $(COQTOP)/src/parsing
-- 
cgit v1.2.3