GITINSTALL.txt 1.33 KB
Newer Older
Michael Hanus 's avatar
Michael Hanus committed
1 2 3 4 5 6 7 8 9 10 11 12 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 42 43 44 45 46 47 48
PAKCS: The Portland Aachen Kiel Curry System
============================================

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](https://git-ps.informatik.uni-kiel.de/curry/pakcs),
e.g., by the shell command

    git clone git://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

Since the front end used by PAKCS is an independent development
with its own repository, you should execute the command

    make frontendsources

to obtain the up-to-date sources of the front.

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/)