GITINSTALL.txt 1.24 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 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31

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

32 33 34
If you install PAKCS for the first time, you need to install
some Haskell packages required by the front end via Cabal,
i.e., run the command
Michael Hanus 's avatar
Michael Hanus committed
35

Michael Hanus 's avatar
Michael Hanus committed
36
    make installhaskell
Michael Hanus 's avatar
Michael Hanus committed
37 38 39 40 41 42 43 44 45 46 47

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