diff options
author | Emilio Jesus Gallego Arias <e+git@x80.org> | 2016-06-27 23:49:09 +0200 |
---|---|---|
committer | Emilio Jesus Gallego Arias <e+git@x80.org> | 2017-10-10 10:47:31 +0200 |
commit | 406717ce786a70e64b9043db45dd5a2add68f817 (patch) | |
tree | f37eeae1efcc765045ff1851cb79518cb23bf4e1 /CHANGES | |
parent | f927df44202034fa8cf73f72af876ae1e4ca05ba (diff) |
[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"
```
Diffstat (limited to 'CHANGES')
-rw-r--r-- | CHANGES | 12 |
1 files changed, 12 insertions, 0 deletions
@@ -15,6 +15,18 @@ Tactics profiling, and "Set NativeCompute Profile Filename" customizes the profile filename. +Changes from 8.7+beta2 to 8.7.0 +=============================== + +OCaml + +- Users can pass specific flags to the OCaml optimizing compiler by + -using the flambda-opts configure-time option. + + Beware that compiling Coq with a flambda-enabled compiler is + experimental and may require large amounts of RAM and CPU, see + INSTALL for more details. + Changes from 8.7+beta1 to 8.7+beta2 =================================== |