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 kics2
containing the current version.
Go into this directory by
cd kics2
and execute
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 haskell-platform-prof
or ghc-prof
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:
kics2
for 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
kics2
.
pakcs
in your load path. Then you can generate the initial
KiCS2 compiler by the command
make bootstrapin the directory
kics2
.
Now you are ready to install KiCS2 with all its components by
make
Further information is available in the installation instructions of the KiCS2 distribution which can be found here.
Contact: Michael Hanus