KiCS - The Kiel Curry System

KiCS is a compiler that translates Curry to Haskell.

Find out more about Curry at the Curry-Wiki.

The KiCS User Manual (also included in distribution)

User Manual (pdf format, ca. 2MB)

To install KiCS on your system, follow this procedure:

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
```
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
```
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
```
If you want to use the b.i.o. debugger you have to type additionally:
```
make bio
```