Yarrow Installation Guide for Haskell

Haskell

Make sure you have a proper version of a Haskell compiler. Yarrow works in these implementations of Haskell 1.3:

Yarrow does not work in Hugs or implementations of Haskell 1.2 or older.

Install Yarrow

  1. Get Yarrow: yarrow-src.zip or yarrow-src.tar.gz (approx. 500 K). yarrow-ghc6-src.tar.gz (This version compiles under ghc 6.4 (compatibility changes done by Dan April 2006)).
  2. Place it in a suitable directory, say /usr/yarrow/
  3. Go to that directory.
  4. Unpack it.
    unzip yarrow-src.zip or
    gzip -cd yarrow-src.tar.gz | tar xf -
  5. Go to directory src and compile it:
    hbcYar or
    ghcYar
    This takes about 15 to 30 minutes on a SPARC station 5. Drink a cup of tea, and ... no news is good news. Ignore warnings and notes.
  6. Set the environment variable YARROW. (You should include this in your .login file)
  7. Add the directory containing the binaries to your path, (you should include this in your .login file) Alternatively, place the binaries in a directory in your path.

Run Yarrow

Now you can start yarrow with the command
yarrow

Test Yarrow

Start it, and you should get something like

Welcome to Yarrow v0.99
Type 'help introduction' for an introduction.
> 

then type the lines behind the prompt ("> " and "$ ")

> prove test : @P:*. P -> P
--------------------------------------------------
@P:*. P->P

$ intros
P : *
H : P
--------------------------------------------------
P

$ assumption
Goal proved!

$ exit
prove test : @P:*. P->P
intros
assumption
exit

test := .. : @P:*. P->P
> help help
Syntax: 1. help
        2. help <command>
Effect: The first variant ...

If you get different output something has gone wrong.

Troubleshooting

This section may help you if you have any problems running yarrow.

That's it!

Please inform me that you installed Yarrow, both if it was succesful or if there are some problems. E-mail: janz@cs.kun.nl

There are some example sessions in directory sessions; these examples are described here. The userguide may also be helpful. All the documentation is also contained in directory /usr/yarrow/doc/.


Back to Yarrow Installation Page
Back to Yarrow Home Page