Download this (remember where you downloaded it. It’s Ubuntu’s latest image--15.10):
http://www.ubuntu.com/download/desktop/thank-you?country=US&version=15.10&architecture=amd64

...and set up a virtual machine (1 processor, 4096MB RAM, 75GB Hard Drive) with it.

run:
sudo apt-get install ocaml
sudo apt-get install git
(clone the repo to your ~ directory)
sudo apt-get install vim
(these instructions are in the readme)
sudo apt-get install -y m4 llvm opam
opam init
opam install llvm.3.6 ocamlfind
eval `opam config env`

(To compile Edwards's code) In the cloned directory:
cd microc-llvm
make
./testall.sh

(I think when we originally cloned Edwards's tarball, we missed a couple files.

DON'T WORRY ABOUT THIS PART. I'M JUST GOING TO KEEP THIS HERE SO THAT WE REMEMBER HOW TO REVERT COMMITS.
(To compile Edwards’ code) In the cloned directory, run:
git checkout cdf4bc2780 (this number is a git commit hash from the commit right before we modified it)
make (that should work now)
(to go back to the current commit after you’re done compiling) git checkout master




