Commit e120abb1 authored by Bernd Brassel's avatar Bernd Brassel
Browse files

new installation procedure documented

parent 58c4080d
......@@ -47,61 +47,34 @@ You should get something like:
The Glorious Glasgow Haskell Compilation System, version 6.8.2
~~~
## Installing the Frontend
The first part of `KiCS` -- the frontend -- is identical to that
contained in the PAKCS system [^Hanus07PAKCS]. If you have PAKCS
installed, all you have to do is set a path to the directory
containing the `cymake` binary, e.g.:
You should also have cabal[^cabal] installed.
[^Hanus07PAKCS]:
M. Hanus, S. Antoy, B. Braßel, M. Engelke, K. Höppner, J. Koj,
P. Niederau, R. Sadre, and F. Steiner.
*PAKCS: The Portland Aachen Kiel Curry System.*
Available at <http://www.informatik.uni-kiel.de/~pakcs/>, 2007.
[^cabal]:
<http://www.haskell.org/cabal>
## Installing the Frontend
~~~{.haskell}
$ export PATH=your_path_to_pakcs/mccparser/bin:$PATH
~~~
Note that you need to set the path for the installation process only.
Test that you can access `cymake` now, e.g. by:
The Curry frontend lives on hackage[^hackage].
Therefore, the only thing you have to do to install it is:
~~~{.haskell}
$ which cymake
../mccparser/bin/cymake
$ cabal install curry-frontend
~~~
If the test succeeds you can proceed to
the next section.
If you do not have PAKCS installed, download the frontend tar ball[^fr],
unpack and build the frontend by, e.g.:
[^fr]: <http://www-ps.informatik.uni-kiel.de/~bbr/download/frontend.tgz>
~~~{.haskell}
$ gunzip frontend.tgz
$ tar xf frontend.tar
$ cd mccparser
$ make
~~~
Afterwards you have to set a path to the newly created
Make sure that the cabal directory for binaries
is in your path, e.g., by
~~~{.haskell}
$ export
PATH=path_to_where_you_unpacked_tarfile/mccparser/bin:$PATH
$ export PATH=~/.cabal/bin:$PATH
~~~
Note again that you need to set the path for installation process only.
Note that you need to set the path for installation process only.
Test that you can access `cymake` now, e.g. by:
~~~{.haskell}
$ which cymake
../mccparser/bin/cymake
/home/my_name/.cabal/bin/cymake
~~~
Instead of setting the path you can also change the information in the
......
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