You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
Coq compiles with the multicore compiler now. You'll need this branch of coq. You'll also need a dune > 2.4.0. The easiest way to get an installation going is to install dune.2.4.0 on 4.10.0 and copy the dune binary into the bin folder of the multicore switch. Once that is done, coq can be built with make -f Makefile.dune world.
Benchmarks
Once coq is build, make ci-all downloads and builds a whole series of libraries. It will be useful to take some of these library builds and make them into benchmarks in Sandmark.
The text was updated successfully, but these errors were encountered:
Coq Installation on Multicore OCaml
Coq compiles with the multicore compiler now. You'll need this branch of coq. You'll also need a
dune
>2.4.0
. The easiest way to get an installation going is to installdune.2.4.0
on4.10.0
and copy the dune binary into the bin folder of the multicore switch. Once that is done, coq can be built withmake -f Makefile.dune world
.Benchmarks
Once coq is build,
make ci-all
downloads and builds a whole series of libraries. It will be useful to take some of these library builds and make them into benchmarks in Sandmark.The text was updated successfully, but these errors were encountered: