Before downloading ICS 1.1, please fill in the ICS license and send it back to SRI.
$ mkdir ics $ cd ics $ tar zxvf ics-1.1.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