
# http://brew.sh/

# the following command downloads and install `brew`, the missing package manager:
#/usr/bin/ruby -e "$(curl -fsSL https://raw.githubusercontent.com/Homebrew/install/master/install)"

# MacOS ships its own version of `git` and `vim`, for now we use them as they are provided,
# if in case we need more control on their build process, we'll switch to brew packages.

# About `Python`, JDK, and `Haskell platform`: I choose to install them by the official installers.

brew install git tmux chicken clisp rlwrap smlnj ocaml opam cask leiningen pkg-config bash-completion gcc freetype vim wget

# We do not install `pharo` directly because it seems big and unresponsive on my macbook
#brew cask install pharo

# the following ocaml modules are necessary for HOL Light project
opam install camlp5 ocamlfind

echo "source ~/.bash_profile_ext" >> ~/.bash_profile



# http://brew.sh/

# the following command downloads and install `brew`, the missing package manager:
#/usr/bin/ruby -e "$(curl -fsSL https://raw.githubusercontent.com/Homebrew/install/master/install)"

# MacOS ships its own version of `git` and `vim`, for now we use them as they are provided,
# if in case we need more control on their build process, we'll switch to brew packages.

# About `Python`, JDK, and `Haskell platform`: I choose to install them by the official installers.

brew install git tmux chicken clisp rlwrap smlnj ocaml opam cask leiningen pkg-config bash-completion gcc freetype vim wget bash
brew cask install vlc dropbox pharo

# Add the new shell to the list of allowed shells
sudo bash -c 'echo /usr/local/bin/bash >> /etc/shells'
# Change to the new shell (or use the preference pane)
chsh -s /usr/local/bin/bash 

# the following ocaml modules are necessary for HOL Light project
opam install camlp5 ocamlfind

echo "source ~/.bash_profile_ext" >> ~/.bash_profile


Add stuff to brew script.
Add stuff to brew script.
