Differences
This shows you the differences between two versions of the page.
Both sides previous revisionPrevious revisionNext revision | Previous revisionLast revisionBoth sides next revision | ||
implementations:kics [2014-06-13 12:35] – external edit 127.0.0.1 | implementations:kics [2015-01-08 12:22] – mh | ||
---|---|---|---|
Line 1: | Line 1: | ||
====== KiCS ====== | ====== KiCS ====== | ||
- | KiCS compiles Curry to Haskell and can be downloaded at [[http:// | + | KiCS compiles Curry to [[http:// |
+ | |||
+ | It is no longer maintained. Nevetheless, | ||
+ | |||
+ | ===== The KiCS User Manual (also included in the distribution) ===== | ||
+ | |||
+ | * [[http:// | ||
+ | * [[http:// | ||
+ | |||
+ | ===== Installation ===== | ||
+ | |||
+ | To install KiCS on your system, follow this procedure: | ||
+ | |||
+ | == Step 1: == | ||
+ | |||
+ | Make sure that you have a fairly new and functional version of the Glasgow Haskell Compiler (GHC> | ||
+ | |||
+ | $ ghc --version | ||
+ | |||
+ | and you should get something like: | ||
+ | |||
+ | The Glorious Glasgow Haskell Compilation System, version 6.8.2 | ||
+ | |||
+ | == Step 2: == | ||
+ | |||
+ | The KiCS system is divided in two parts: a frontend and a backend. | ||
+ | |||
+ | The [[http:// | ||
+ | |||
+ | $ cabal install curry-frontend | ||
+ | |||
+ | Make sure that the cabal directory for binaries is in your path, e.g., by | ||
+ | |||
+ | $ export 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 | ||
+ | '' | ||
+ | |||
+ | GHCBIN = $(shell which ghc) | ||
+ | CYMAKEBIN = $(shell which cymake) | ||
+ | |||
+ | to | ||
+ | |||
+ | GHCBIN = path_to_ghc/ | ||
+ | CYMAKEBIN = path_to_cabal_bin | ||
+ | |||
+ | == Step 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 | ||
+ | |||
+ | == Step 4: == | ||
+ | |||
+ | If you want to use the b.i.o. debugger you have to type additionally: | ||
+ | |||
+ | make bio |