Was there a way to make Makefile.dune the default? I couldn't find anything in the docs
Makefile.dune
Oh ok found it
There is an env var COQ_USE_DUNE
COQ_USE_DUNE
Ali Caglayan has marked this topic as resolved.
Last updated: Jun 09 2023 at 08:01 UTC