We've had a bit of a back-and-forth on this issue before... In general running the benchmarks requires more dependencies than the "default basic installation", so it's a better default if we also install the {with-test} libraries from the opam file (and not force the user to maintain a custom *-bench.opam)
punchagan
commented
2 years ago
We've had a bit of a back-and-forth on this issue before... In general running the benchmarks requires more dependencies than the "default basic installation", so it's a better default if we also install the
{with-test}libraries from theopamfile (and not force the user to maintain a custom*-bench.opam)