search

FStarLang / FStar

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

dune tweaks: no cmt and no bytecode #3457

Closed mtzguido closed 2 months ago

mtzguido commented 2 months ago

See #3434. This disables bin_annot to ditch the cmt files, and removes the bytecode mode from fstar-lib (why was this even there?)

Marking as a draft since I don't know if this can break anything externally, but it seems to pass the tests.

mtzguido commented 2 months ago

I am going to optimistically merge this. Please let us know if there's any need for the cmt or bytecode files.