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 429d8811b..885b3ef4c 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