Download

Latest version is always available at Google Code: https://code.google.com/p/intuitionistic/

Installation instructions

https://intuitionistic.googlecode.com/git/INSTALL

Linux notes, working installation example

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