diff options
author | letouzey <letouzey@85f007b7-540e-0410-9357-904b9bb8a0f7> | 2009-04-03 17:18:11 +0000 |
---|---|---|
committer | letouzey <letouzey@85f007b7-540e-0410-9357-904b9bb8a0f7> | 2009-04-03 17:18:11 +0000 |
commit | dff6f3dbed334ad1179cc1abf8708365c2309106 (patch) | |
tree | a1faef4e454663b34f564b05cb502279ae9ee01c /config | |
parent | 21a8c4e9fbb9e0545ffe99e1afa575aa4e4ed80b (diff) |
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
Diffstat (limited to 'config')
-rw-r--r-- | config/coq_config.mli | 2 |
1 files changed, 2 insertions, 0 deletions
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) *) |