OCaml Setup

Introduction

Here are the packages that you are recommended to install.

We highly recommend installing the following packages.

utop

The next sections will help guide you through installing these on different operating systems. Read the section relevant to you. Some of these steps may take a long time, be patient.

Computers are like people, each unique in its own way. These instructions may require slight (or large) modifications depending on your setup. Search engines are your friend if something goes wrong. If you are unable to install anything, please contact me or the TA as soon as possible.

macOS

First, we will install the Homebrew package manager.

/usr/bin/ruby -e "$(curl -fsSL https://raw.githubusercontent.com/Homebrew/install/master/install)"

Check your Ruby version with ruby -v. If it's older than 2.2.2 you'll need to install a newer version using brew install ruby.

Next, we can install some of the software through Homebrew.

brew install ocaml opam

The OCaml package manager needs some initial configuration.

opam init
When prompted to modify ~/.bash_profile (or another file) type "y".
source ~/.bash_profile (or the file mentioned above).

We will install the recommended OCaml packages through OPAM.

opam install ocamlfind ounit utop dune qcheck

Windows 10

Follow this link for instrunction.

Linux

These instructions will assume you have a Debian-based system. This includes distributions like Ubuntu. If you have a different distribution, use the native package manager.

We will install all the packages we need.

sudo apt-get install ocaml ocaml-native-compilers camlp4 opam make m4

The OCaml package manager needs some initial configuration.

opam init
If it hangs at "Fetching repository information" press Enter. This may take awhile, be patient.
When prompted to modify ~/.profile (or another file) type "n".
Open ~/.profile (or the file mentioned above) in your text editor (probably emacs).
Add eval `opam config env` (these are backticks located to the left of the 1 key, not single quotes).
Save the file and run source ~/.profile (or the file mentioned above).

Don't forget to run the advertised eval `opam config env` to update your PATH accordingly.

Next, we will install the recommended OCaml packages through OPAM.

opam install ocamlfind ounit utop dune qcheck