diff options
| author | Maxime Dénès | 2017-10-10 15:54:38 +0200 |
|---|---|---|
| committer | Maxime Dénès | 2017-10-10 15:54:38 +0200 |
| commit | f790c6ac8b16f71aae4868cbcad87a39f50727e3 (patch) | |
| tree | 026665b355bf3c2712c3148b8e459e85ee10199a /config | |
| parent | 16f169b3c756aa3c5cbc38eb13412ba23ae2937d (diff) | |
| parent | 1d8725b59309c2c9f870eb52a2daebe87ed9ad5b (diff) | |
Merge PR #540: [configure] Support for flambda flags.
Diffstat (limited to 'config')
| -rw-r--r-- | config/coq_config.mli | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/config/coq_config.mli b/config/coq_config.mli index 429d8811bd..8bc044c3ae 100644 --- a/config/coq_config.mli +++ b/config/coq_config.mli @@ -49,6 +49,7 @@ val vmbyteflags : string list (* -custom/-dllib -lcoqrun *) val version : string (* version number of Coq *) val caml_version : string (* OCaml version used to compile Coq *) +val caml_version_nums : int list (* OCaml version used to compile Coq by components *) val date : string (* release date *) val compile_date : string (* compile date *) val vo_magic_number : int @@ -72,6 +73,8 @@ val gtk_platform : [`QUARTZ | `WIN32 | `X11] val has_natdynlink : bool val natdynlinkflag : string (* special cases of natdynlink (e.g. MacOS 10.5) *) +val flambda_flags : string list + val wwwcoq : string val wwwrefman : string val wwwbugtracker : string |