Differences
This shows you the differences between two versions of the page.
Both sides previous revision Previous revision | |||
implementations:kics [2015-01-08 12:22] mh |
implementations:kics [2015-01-08 12:53] mh |
||
---|---|---|---|
Line 1: | Line 1: | ||
====== KiCS ====== | ====== KiCS ====== | ||
- | KiCS compiles Curry to [[http://www.haskell.org/ | Haskell]] and can be downloaded at [[http://www.informatik.uni-kiel.de/prog/mitarbeiter/bernd-brassel/projects/|the KiCS project page]]. | + | KiCS is a Curry implementation that compiles Curry programs to [[http://www.haskell.org/ | Haskell]] programs. Note that KiCS no longer maintained and has been replaced by the more advanced compiler [[http://www-ps.informatik.uni-kiel.de/kics2 | KiCS2]] which uses a different compilation scheme. Nevetheless, you find below some hints to install and use an old version of KiCS. |
- | + | ||
- | It is no longer maintained. Nevetheless, you find here some hints to use an old version of KiCS. | + | |
===== The KiCS User Manual (also included in the distribution) ===== | ===== The KiCS User Manual (also included in the distribution) ===== | ||
Line 16: | Line 14: | ||
== Step 1: == | == Step 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: | + | Make sure that you have a fairly new and functional version of the [[http://www.haskell.org/ghc | Glasgow Haskell Compiler]] (GHC>=6.8.2) installed. To check your installation, type: |
$ ghc --version | $ ghc --version | ||
Line 37: | Line 35: | ||
- | Note that you need to set the path for installation process only. | + | Note that you need to set the path for the installation process only. Test that you can access ''cymake'' now, e.g. by: |
- | + | ||
- | Test that you can access `cymake` now, e.g. by: | + | |
$ which cymake | $ which cymake | ||
Line 57: | Line 53: | ||
== Step 3: == | == Step 3: == | ||
- | Now install the backend. Download the source tarball. Unpack and make it, e.g.: | + | Now install the backend. Download the [[http://www-ps.informatik.uni-kiel.de/~bbr/download/kics_src.tgz | source tarball]]. Unpack and make it, e.g.: |
$ gunzip kics_src.tgz | $ gunzip kics_src.tgz |