Commit cfb0206f authored by Michael Hanus 's avatar Michael Hanus

GIT URLs updated

parent eca9edc4
......@@ -6,10 +6,10 @@ 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),
[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
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
......@@ -29,12 +29,6 @@ Then, each future update can be obtained by the executing
git pull
git submodule update
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
make installhaskell
Now you can install the complete system by the command
make
......
The PAKCS (Portland Aachen Kiel Curry System) License
Copyright (c) 2012, University of Kiel
Copyright (c) 2015, University of Kiel
All rights reserved.
Redistribution and use in source and binary forms, with or without
......
Markdown is supported
0%
or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment