brew install camlp4 camlp5 about unimath HOT 3 CLOSED

I can partially confirm it. I have installed it on other machines and we did have to install camlp's. I don’t recall whether both 4 and 5 had to be installed.

It is a good idea to modify the instructions - I remember having a hard time trying to figure out what to do.

Vladimir.

On Mar 2, 2015, at 5:42 PM, Benedikt Ahrens [email protected] wrote:

Paige has just compiled UniMath from scratch on MacOS 10.10, following the instructions in the README.
She had to

brew install ocaml camlp4 camlp5
rather than just

brew install ocaml
Not having MacOS myself, I am reluctant to modify the installation instructions myself. Could you confirm and amend, if necessary?

—
Reply to this email directly or view it on GitHub #79.

from unimath.

Actually, it should work with only camlp5 - the configure script asked for camlp4 as a fallback for camlp5. So it should say

brew install ocaml camlp5

EDIT: I don't know if it makes a difference, but it says "objective-caml" rather than "ocaml" in the README, so the command should be

brew install objective-caml camlp5

from unimath.

Yes, thanks, see #80

from unimath.