From f0d9eaa042f47eb5d5c358ae41df185fe5b05bf9 Mon Sep 17 00:00:00 2001
From: filliatr
Date: Fri, 24 Nov 2000 08:20:43 +0000
Subject: - coqc: utilise le meilleur coq possible - coqc -v réparé - coqtop:
 options -byte et -opt

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@940 85f007b7-540e-0410-9357-904b9bb8a0f7
---
 config/coq_config.mli | 1 +
 1 file changed, 1 insertion(+)

(limited to 'config')

diff --git a/config/coq_config.mli b/config/coq_config.mli
index b7731b8ab2..d896d6175e 100644
--- a/config/coq_config.mli
+++ b/config/coq_config.mli
@@ -12,6 +12,7 @@ val camllib : string    (* for Dynlink *)
 
 val camlp4lib : string  (* where is the library of Camlp4 *)
 
+val best : string       (* byte/opt *)
 val arch : string       (* architecture *)
 val osdeplibs : string  (* OS dependant link options for ocamlc *)
 
-- 
cgit v1.2.3