rocq-prover / rocq-prover/stdlib
Using dune when installing the package
Nobody has claimed this yet.
- Dominant language
- Rocq Prover
- Stars
- 42
- Forks
- 38
- Avg merge
- 14h 6m
- Merged PRs (30d)
- 3
Description
Not doing so implies that compiling the standard library package takes much longer than it should in cases where the dune cache could hit. This is something that it very noticeable in our internal CI, getting from about 2 minutes to a couple of seconds at most when using dune.
Would you be open to using dune to build/install the rocq-stdlib package?
Contributor guide
First steps
- Read the whole issue, then the project's contributing guide.
- Comment on the issue to say you are picking it up — it saves two people doing the same work.
- Fork the repository and make your change on a branch.
- Open a pull request that references the issue number.
Research direction
Review the current rocq-stdlib package build and installation configuration, then investigate how Dune could be used in that path. Compare the existing CI build time with a Dune-backed build and verify that the package still installs correctly while benefiting from the Dune cache.
Written by the indexing model from the issue text.
Assessment
- Domain
- build-system
- Issue type
- Feature
- Difficulty
- 4/5
- Estimated time
- 3-5 days
- Activity status
- Stale
- Clarity
- Mostly clear
- Newbie friendliness
- 42/100