brew install opam
Last login: Tue Jun 23 14:26:32 on ttys000
$ brew install opam
==> Installing dependencies for opam: objective-caml, camlp4, boost, cmak
==> Installing opam dependency: objective-caml
==> Downloading https://homebrew.bintray.com/bottles/objective-caml-4.02.1_2.yos
######################################################################## 100.0%
==> Pouring objective-caml-4.02.1_2.yosemite.bottle.2.tar.gz
🍺 /usr/local/Cellar/objective-caml/4.02.1_2: 776 files, 74M
==> Installing opam dependency: camlp4
==> Downloading https://homebrew.bintray.com/bottles/camlp4-4.02.1+2.yosemite.bo
######################################################################## 100.0%
==> Pouring camlp4-4.02.1+2.yosemite.bottle.tar.gz
🍺 /usr/local/Cellar/camlp4/4.02.1+2: 164 files, 180M
==> Installing opam dependency: boost
==> Downloading https://homebrew.bintray.com/bottles/boost-1.58.0.yosemite.bottle.tar.gz
######################################################################## 100.0%
==> Pouring boost-1.58.0.yosemite.bottle.tar.gz
🍺 /usr/local/Cellar/boost/1.58.0: 10718 files, 486M
==> Installing dependencies for opam: cmake, re2c, gringo, clasp, aspcud
==> Installing opam dependency: cmake
==> Downloading https://homebrew.bintray.com/bottles/cmake-3.2.3.yosemite.bottle.tar.gz
######################################################################## 100.0%
==> Pouring cmake-3.2.3.yosemite.bottle.tar.gz
==> Caveats
Bash completion has been installed to:
/usr/local/etc/bash_completion.d
==> Summary
🍺 /usr/local/Cellar/cmake/3.2.3: 1850 files, 32M
==> Installing opam dependency: re2c
==> Downloading https://homebrew.bintray.com/bottles/re2c-0.14.3.yosemite.bottle.tar.gz
######################################################################## 100.0%
==> Pouring re2c-0.14.3.yosemite.bottle.tar.gz
🍺 /usr/local/Cellar/re2c/0.14.3: 5 files, 364K
==> Installing opam dependency: gringo
==> Downloading https://homebrew.bintray.com/bottles/gringo-4.4.0_1.yosemite.bottle.tar.gz
######################################################################## 100.0%
==> Pouring gringo-4.4.0_1.yosemite.bottle.tar.gz
🍺 /usr/local/Cellar/gringo/4.4.0_1: 7 files, 5.2M
==> Installing opam dependency: clasp
==> Downloading https://homebrew.bintray.com/bottles/clasp-3.1.1.yosemite.bottle.tar.gz
######################################################################## 100.0%
==> Pouring clasp-3.1.1.yosemite.bottle.tar.gz
🍺 /usr/local/Cellar/clasp/3.1.1: 5 files, 1.0M
==> Installing opam dependency: aspcud
==> Downloading https://downloads.sourceforge.net/project/potassco/aspcud/1.9.0/aspcud-1.9.0-source.tar.gz
==> Downloading from: http://cznic.dl.sourceforge.net/project/potassco/aspcud/1.9.0/aspcud-1.9.0-source.tar.gz
######################################################################## 100.0%
==> Patching
patching file libcudf/src/dependency.cpp
==> cmake .. -DGRINGO_LOC=/usr/local/opt/gringo/bin/gringo -DCLASP_LOC=/usr/local/opt/clasp/bin/clasp -DCMAKE_C_FLA
==> make
==> make install
🍺 /usr/local/Cellar/aspcud/1.9.0: 10 files, 532K, built in 35 seconds
==> Installing opam
==> Downloading https://homebrew.bintray.com/bottles/opam-1.2.2.yosemite.bottle.tar.gz
######################################################################## 100.0%
==> Pouring opam-1.2.2.yosemite.bottle.tar.gz
==> Caveats
OPAM uses ~/.opam by default for its package database, so you need to
initialize it first by running (as a normal user):
$ opam init
Run the following to initialize your environment variables:
$ eval `opam config env`
To export the needed variables every time, add them to your dotfiles.
* On Bash, add them to `~/.bash_profile`.
* On Zsh, add them to `~/.zprofile` or `~/.zshrc` instead.
Documentation and tutorials are available at https://opam.ocaml.org, or
via "man opam" and "opam --help".
Bash completion has been installed to:
/usr/local/etc/bash_completion.d
zsh completion has been installed to:
/usr/local/share/zsh/site-functions
==> Summary
🍺 /usr/local/Cellar/opam/1.2.2: 30 files, 19M