Latest version is always available at Google Code: https://code.google.com/p/intuitionistic/
https://intuitionistic.googlecode.com/git/INSTALL
OCaml
wget http://caml.inria.fr/pub/distrib/ocaml-4.00/ocaml-4.00.1.tar.gz tar -xzf ocaml-4.00.1.tar.gz cd ocaml-4.00.1 ./configure -prefix /opt/ocaml-4.00.1 make opt.opt umask 022 make install
To make things easier:
cd /opt ln -s ocaml-4.00.1 ocaml export PATH=$PATH:/opt/ocaml/bin
ocamlc -where should now return /opt/ocaml-4.00.1/lib/ocaml
llvm
wget http://llvm.org/releases/3.3/llvm-3.3.src.tar.gz tar -xzf llvm-3.3.src.tar.gz cd llvm-3.3.src ./configure --prefix=/opt/llvm-3.3 --with-ocaml-libdir=/opt/ocaml-4.00.1/lib/ocaml make make install
IPL
cd /opt wget https://intuitionistic.googlecode.com/archive/ca92586746be69240cd1ae7b24e5407350594801.zip unzip ca92586746be69240cd1ae7b24e5407350594801.zip cd intuitionistic-ca92586746be make