Before downloading ICS 1.0.alpha, please fill in the ICS license and send it back to SRI.
$ mkdir ics $ cd ics $ tar zxvf ics-1.0.alpha.tar.gzAn executable can be build using the the commands.
$ ./configure [--with-gmp=/path/to/gmp] [--prefix=/path/to/binaries] $ makeThis requires Objective Caml version 3.04 or later and the multi-precision arithmetic library GNU MP version 4.1 or later. Now, the ICS interactor is called using
$ ./icsThe executables and libraries can be installed in /path/to/binaries using
$ make install