To build, install the latest Idris (http://idris-lang.org/) then type ./build from the source directory.