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
containing the current version.
Go into this directory by
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
similar to the standard PAKCS installation instructions.
Contact: Michael Hanus