Installation from Package managers

You can install Coq with Homebrew by simply running

brew install coq

or using MacPorts by running

sudo port install coq

You can check that your installation was successful by running coqc -v.

The Coq development team will maintain an opam repository for Coq and this will become the preferred way to get Coq on MacOS.

Create a CoqIDE bundle

MacOS and gtk move too fast for this section to be up to date. If you try it, you're on your own!

/!\ This never work on the first time. Get ready to patch gtksourceview (something like fix_gtksourceview.patch), download some tar.xz by hand, recall autoconf with extra arguments, ...

(./) You've got a CoqIDE (without coqtop so it will asks you for it if you launch it)

If you've  ./configure -opt -prefix '''somewhere_there_is_nothing'''  do

Put an extra package in a CoqIDE bundle

/!\ If this is a plugin (containing ml* files), you'll have to be an ocaml compiler compatible with the one used to create the bundle.

Cocorico: Installation of Coq on Mac (last edited 28-08-2015 23:45:42 by PierreBoutillier)