diff options
| author | Emilio Jesus Gallego Arias | 2020-04-06 19:58:39 -0400 |
|---|---|---|
| committer | Emilio Jesus Gallego Arias | 2020-04-08 17:20:00 -0400 |
| commit | c7b82d512e15c857cf8176dfae9584fdf203fafa (patch) | |
| tree | 4ce0df198d153dde9c68e45235e29adb923c17b1 /kernel | |
| parent | 459faeddd095789affa30e7cf3b59fdaf95c1a0f (diff) | |
[ci] [fiat-crypto] [flambda] Don't use flambda for fiat-crypto
As of today flambda is pretty stack-hungry for some developments, in
particular it doesn't work [`StackOverflow` in fiat-crypto extracted
code even with large stacks.
We are thus forced to revert fiat-crypto's compilation to the regular
OCaml compiler.
This is OCaml bug https://github.com/ocaml/ocaml/issues/7842
Diffstat (limited to 'kernel')
0 files changed, 0 insertions, 0 deletions