Passing -thread in --ocamlc/--ocamlopt - Githubissues

FStarLang / FStar

A Proof-oriented Programming Language

https://fstar-lang.org

Apache License 2.0

2.7k stars 234 forks source link

Passing -thread in --ocamlc/--ocamlopt #3588

Closed mtzguido closed 4 weeks ago