Li-yao (Jul 21 2020 at 22:45): Li-yao (Jul 21 2020 at 22:45):Say I have some Coq files in a subdirectory test/, how to tell dune to make sure they build, but not to include them as part of the library?
Karl Palmskog (Jul 21 2020 at 22:46):this is a question best asked in the Dune stream, but see for example: https://github.com/ejgallego/coq-serapi/tree/v8.11/tests/quick
Last updated: Oct 13 2024 at 01:02 UTC