From dff6f3dbed334ad1179cc1abf8708365c2309106 Mon Sep 17 00:00:00 2001
From: letouzey <letouzey@85f007b7-540e-0410-9357-904b9bb8a0f7>
Date: Fri, 3 Apr 2009 17:18:11 +0000
Subject: Ocamlbuild: option for (not) building coqide, better log messages

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

(limited to 'config')

diff --git a/config/coq_config.mli b/config/coq_config.mli
index 3598b938d..85d25ad73 100644
--- a/config/coq_config.mli
+++ b/config/coq_config.mli
@@ -59,5 +59,7 @@ val browser : string
 (** default web browser to use, may be overriden by environment
     variable COQREMOTEBROWSER *)
 
+val has_coqide : string
+
 val has_natdynlink : bool
 val natdynlinkflag : string (* special cases of natdynlink (e.g. MacOS 10.5) *)
-- 
cgit v1.2.3