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 (html)

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.

    The Curry frontend lives on hackage.
    Therefore, the only thing you have to do to install it is:

      $ cabal install curry-frontend 

    Make sure that the cabal directory for binaries
    is in your path, e.g., by

      $ export PATH=~/.cabal/bin:$PATH

    Note that you need to set the path for installation process only.

    Test that you can access `cymake` now, e.g. by:

      $ which cymake

    Instead of setting the path you can also change the information in the
    `Makefile`. You can change one or both of the two lines

    GHCBIN = $(shell which ghc)
    CYMAKEBIN = $(shell which cymake)


    GHCBIN = path_to_ghc/bin
    CYMAKEBIN = path_to_cabal_bin

  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