VIPERI, version 2.0 alpha 1.
----------------------------

See the LICENCE file for interim licensing details.
This version is incompmlete, it is not free software,
and may only be redistributed as the original tarball.
It is provided for evaluation purposes only.
[The final licence depends on funding arrangements]

TARBALL
-------

Create a new directory for playing in, and unpack the tarball
in it. 


LINUX -- try the prebuilt binaries
----------------------------------

Three binaries have been built on a Redhat Linux system:

  viperi -- the Viper interpreter
  vilex  -- a lexicology checker
  viparse -- a syntax checker


All three accept a single command line argument, the name of the
file to process.  Viperi may also be run in interactive console
mode, by invoking it without options.

You will required GTK 1.2, and whatever shared libraries it uses.
You can find this out by the command

  gtk-config --libs


NOTE: The linux version searches for file in the current directory
and /use/local/lib/python1.5. This is hardcoded in this demo version.
You may need to copy various python files into the current directory.
Alternatively, edit the file viperi.ml, and build from the source.

UNIX: Build the sources 
-----------------------

The complete source code and build procedure are contained in the
tarball. To build the sources, use the command

  python maker

You may need to edit this script to suit your system.

You will require:

  gnu readline  (see www.gnu.org)      [for console editing]
  gtk/gdk/glib  (see www.gtk.org)      [for gui subsystem]
  ocaml 2.02    (see caml.inria.fr)    [caml compiler]
  c compiler    (works with gcc/ecgs)  [C compiler and linker]
  CPython 1.5.2 (see www.python.org)   [make script]
  
Ocaml 2.02 is no longer the most recent version, I have not yet
tried to build Viper using verion 2.04 (the most recent).

I have built the system, without readline, and without the GUI,
on Solaris. [By patching out references to them]. It should
be possible to build the system on Solaris [including 
readline and the gui]

WINDOWS -- sorry not yet
------------------------

Planned (depends on funding).

