GITINSTALL.txt 1.08 KB
Newer Older
Michael Hanus 's avatar
Michael Hanus committed
1 2
PAKCS Repository
================
Michael Hanus 's avatar
Michael Hanus committed
3 4 5 6 7 8

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
Michael Hanus 's avatar
Michael Hanus committed
9
[git repository](https://git.ps.informatik.uni-kiel.de/curry/pakcs),
Michael Hanus 's avatar
Michael Hanus committed
10 11
e.g., by the shell command

Michael Hanus 's avatar
Michael Hanus committed
12
    git clone https://git.ps.informatik.uni-kiel.de/curry/pakcs.git
Michael Hanus 's avatar
Michael Hanus committed
13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 35 36 37 38 39 40 41

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](http://www.informatik.uni-kiel.de/~pakcs/download/INSTALL.html).

-------------------------------------------------------------

Contact: [Michael Hanus](http://www.informatik.uni-kiel.de/~mh/)