If you want to install the up-to-date version of KiCS2 from the developer's repository, you have to clone the git repository, e.g., by the shell command
git clone https://git.ps.informatik.uni-kiel.de/curry/kics2.git
This creates a new directory
containing the current version.
Go into this directory by
git submodule init git submodule update
in order to obtain further files managed by git in other repositories, i.e., the frontend and the Curry system libraries shared by KiCS2 and PAKCS.
Then, each future update can be obtained by the executing
git pull git submodule update
You also need the profiling libraries of Haskell in order to
install the GIT version of KiCS2. Hence, if you have not already done,
install the packages
which contain these profiling libraries.
Due to the fact that the KiCS2 compiler and interactive environment is implemented in Curry, you need an executable Curry compiler to install KiCS2 via bootstrapping. Therefore, you have to install a distribution of some Curry implementation on your machine in order to start the bootstrapping process. Currently, there are at least two options:
kics2for this installation, e.g., install this in
/tmp/kics2. If you successfully installed this distribution (note that you do not need the complete installation so that it is sufficient to install this distribution by
make kernel), you can generate the initial KiCS2 compiler by the command
make bootstrap KICS2=/tmp/kics2/bin/kics2in the directory
pakcsin your load path. Then you can generate the initial KiCS2 compiler by the command
make bootstrapin the directory
Now you are ready to install KiCS2 with all its components by
Further information is available in the installation instructions of the KiCS2 distribution which can be found here.
Contact: Michael Hanus