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 /CHANGES | |
| parent | 16f169b3c756aa3c5cbc38eb13412ba23ae2937d (diff) | |
| parent | 1d8725b59309c2c9f870eb52a2daebe87ed9ad5b (diff) | |
Merge PR #540: [configure] Support for flambda flags.
Diffstat (limited to 'CHANGES')
| -rw-r--r-- | CHANGES | 12 |
1 files changed, 12 insertions, 0 deletions
@@ -22,6 +22,18 @@ Tactics Unset Omega UseLocalDefs. - The tactic "romega" is also aware now of the bodies of context variables. +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 =================================== |