FStarLang / FStar

A Proof-oriented Programming Language
https://fstar-lang.org
Apache License 2.0
2.7k stars 234 forks source link

fstar: rename --ocamlc to --ocamlopt, add --ocamlc for bytecode #3583

Closed mtzguido closed 1 month ago

mtzguido commented 1 month ago

By rushing the last PR I made a terrible blunder of forgetting that ocamlc is the bytecode compiler, and ocamlopt the native one. This renames the option just added to a more proper --ocamlopt, and introduces --ocamlc for bytecode, which is also now tested.