KiCS is a compiler that translates Curry to Haskell.

Find out more about Curry at the Curry-Wiki.

User Manual (pdf format, ca. 2MB)

To install KiCS on your system, follow this procedure:

1. Make sure that you have a fairly new and functional version of the Glasgow Haskell Compiler (GHC>=6.8.2) installed. To check your installation, type:
   

   $ ghc --version

   and you should get something like:

   The Glorious Glasgow Haskell Compilation System, version 6.8.2

2. The KiCS system is divided in two parts: a frontend and a backend. If you should happen to have the PAKCS system installed, you only need to install the KiCS backend. Simply set a path to the PAKCS frontend, e.g., for the bash type:

   $ export PATH=your_path_to_pakcs/mccparser/bin:$PATH

   If you need to install the frontend, download the source tarball. Unpack and make it, e.g.:

   $ gunzip frontend.tgz
   $ tar xf frontend.tar
   $ cd mccparser
   $ make

   Afterwards you have to set a path to the newly created binary, e.g.:

   $ export PATH=path_to_where_you_unpacked_tarfile/mccparser/bin:$PATH

   You can check the frontend by

   $ which cymake

   And you should see something like

   /home/bbr/mccparser/bin/cymake

3. Now install the backend. Download the source tarball. Unpack and make it, e.g.:

   $ gunzip kics_src.tgz
   $ tar xf kics_src.tar
   $ cd kics
   $ make

4. If you want to use the b.i.o. debugger you have to type additionally:
   

   make bio