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"
```
---
 dev/doc/changes.md | 3 +++
 1 file changed, 3 insertions(+)

(limited to 'dev')

diff --git a/dev/doc/changes.md b/dev/doc/changes.md
index b5e19f33c3..8a2a2fffc6 100644
--- a/dev/doc/changes.md
+++ b/dev/doc/changes.md
@@ -40,6 +40,9 @@ Coq is compiled with `-safe-string` enabled and requires plugins to do
 the same. This means that code using `String` in an imperative way
 will fail to compile now. They should switch to `Bytes.t`
 
+Configure supports passing flambda options, use `-flambda-opts OPTS`
+with a flambda-enabled Ocaml to tweak the compilation to your taste.
+
 ### ML API
 
 - Added two functions for declaring hooks to be executed in reduction
-- 
cgit v1.2.3