"
To compile Coq, you need:
* Objective Caml (3.07 ≤ version but 3.08.0).
For Objective Caml ≥ 3.10.0, you will need to install Camlp5 (version 4.08, or ≥ 5.01 transitional, or ≥ 5.10 if with Objective Caml ≥ 3.11.0)
"
(from the coq webpage)
Subscribe to:
Post Comments (Atom)
No comments:
Post a Comment