Skip to content

Commit

Permalink
Adjust BUILD_ORGANIZATION opam-install instructions as suggested by #615
Browse files Browse the repository at this point in the history
  • Loading branch information
@andrew-appel
andrew-appel committed Mar 14, 2024
1 parent 81c21eb commit b95bddc
Showing 1 changed file with 2 additions and 0 deletions.
2 changes: 2 additions & 0 deletions BUILD_ORGANIZATION.md
View file
Original file line number Diff line number Diff line change
Expand Up @@ -31,6 +31,8 @@ add more packages, et cetera.
If you install VST via opam, opam will try to install a
suitable version of CompCert, Flocq and other dependencies.
```
opam install coq # best to install coq by opam instead of some other method
opam install coq-vst
AND/OR
opam install coq-vst-64
Expand Down

0 comments on commit b95bddc

Please sign in to comment.