PAKCS Repository

Installation Instructions for the GIT Repository

If you want to install the up-to-date version of PAKCS 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/pakcs.git

This creates a new directory pakcs containing the current version. Go into this directory by

cd pakcs

and execute

git submodule init
git submodule update

in order to obtain further files managed by git, i.e., the Curry system libraries shared by PAKCS and KiCS2.

Then, each future update can be obtained by the executing

git pull
git submodule update

Now you can install the complete system by the command

make

similar to the standard PAKCS installation instructions.


Contact: Michael Hanus