Yarrow Installation Guide for binaries

Install Yarrow

This is easy:

Get the correct version for your system by ftp, and place it in a directory, say /usr/yarrow/.
- yarrow-bin-sparc-sun-sunos4.tar.gz (approx. 900 K).
  This versions seems to work under Solaris as well. Try at your own risk...
- yarrow-ghc6-beaver-bin.tar.gz.
  This versions works under Ubuntu Beaver (and possibly other linuxes)
Go to that directory and unpack it.
- For Unix-like systems:
  gzip -cd yarrow-bin-architecture-os.tar.gz | tar xf -
Set the environment variable YARROW. (You should include this in your .login file)
- For Unix-like systems: e.g.
  setenv YARROW /usr/yarrow
Add the directory containing the binaries to your path, (you should include this in your .login file)
- For Unix-like systems: e.g.
  setenv PATH ${PATH}:/usr/yarrow/bin
  Users of csh shells should type
  rehash
  to make this path extension take effect.
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.

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