Consider to replace Stdlib by Prevasives
armfazh opened this issue · 1 comments
armfazh commented
When compiling using Ocaml v5.0.0, it does not recognize Pervasives library.
Workaround: Replace Pervasives by Stdlib.
See: https://stackoverflow.com/questions/64742628/unbound-module-stdlib
$ sed -i 's/Pervasives/Stdlib/g' src/ExtractionOCaml/*.mlJasonGross commented
$ sed -i 's/Pervasives/Stdlib/g' src/ExtractionOCaml/*.ml
This is not a great workaround, since all files are generated.
We should instead fix the issue at
fiat-crypto/src/StandaloneOCamlMain.v
Line 80 in 37dd5af