From 406717ce786a70e64b9043db45dd5a2add68f817 Mon Sep 17 00:00:00 2001
From: Emilio Jesus Gallego Arias
Date: Mon, 27 Jun 2016 23:49:09 +0200
Subject: [configure] Support for flambda flags.

We add a new option to configure `-flambda-opts` to allow passing
custom flags to flambda. Example:

```
./configure -flambda-opts "-O3 -unbox-closures"
```
---
 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 429d8811bd..885b3ef4cd 100644
--- a/config/coq_config.mli
+++ b/config/coq_config.mli
@@ -72,6 +72,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
-- 
cgit v1.2.3


From 1d8725b59309c2c9f870eb52a2daebe87ed9ad5b Mon Sep 17 00:00:00 2001
From: Emilio Jesus Gallego Arias
Date: Mon, 9 Oct 2017 16:12:26 +0200
Subject: [flambda] [native] Pass `-Oclassic` to the native compiler.

This seems a safe choice as of today, but more advanced users would
like to tweak it, or we could even refine it by a configure option if
desired.
---
 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 885b3ef4cd..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
-- 
cgit v1.2.3