search

snu-sf-class / pl2015spring

SNU 4190.310, 2015 Spring
11 stars 6 forks source link

Using Homebrew in OS X #1

Closed wonook closed 9 years ago

wonook commented 9 years ago

I think that using Homebrew for installing coq is a convenient way of downloading and installing coq on mac OS X. I've just tried it for myself, and it seems to be working fine with the right versions (8.4pl5). Maybe this can be instructed in the course instruction manuals. With Homebrew installed, all you have to do is

$ brew install coq

and if you want to install opam, it can be done by

$ brew install opam

It seems like the steps like ./configure .. and make world are all included in $ brew install coq as well. No extra bash settings to do. It's just a small suggestion that seems like a fine solution that does all the work for you.

jeehoonkang commented 9 years ago

That's a great comment, and I will update the README soon.

Thanks,

wonook commented 9 years ago

for more information about Homebrew: http://brew.sh/

wonook commented 9 years ago

+ Just for sharing! I'm personally a vim user, so for those like me, coq.vim seems like a decent vim pathogen plugin for syntax highlighting + indentation. CoqIDE looks better for this class

wonook commented 9 years ago

To install coqide it's easy if you use Brew Cask

  1. $ brew install caskroom/cask/brew-cask
  2. $ brew cask install coqide
  3. Done

After then, you'll be able to spot your coqtop file with

$ which coqtop

if needed.