From 25e8fd4c7f0b6d58486c63b32f3a1f4d258a30cb Mon Sep 17 00:00:00 2001 From: notin Date: Wed, 11 Feb 2009 14:39:15 +0000 Subject: Fix de divers petits problèmes d'installation MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit (cherry picked from commit 998a9a62874ba6cf26bdfe28f3ef0c72deaf0c25) git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@11918 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 1eff9c38d..b5ccbbca7 100644 --- a/config/coq_config.mli +++ b/config/coq_config.mli @@ -29,6 +29,7 @@ val coqrunbyteflags : string (* -custom/-dllib -lcoqrun *) (* val defined : string list (* options for lib/ocamlpp *) *) val version : string (* version number of Coq *) +val caml_version : string (* OCaml version used to compile Coq *) val date : string (* release date *) val compile_date : string (* compile date *) val vo_magic_number : int -- cgit v1.2.3