Kenya 2 Readme
--------------

2002-7-17


Building Kenya
--------------

To bulid kenya go to the bin directory and run
the build.bat (on windows) or the build.sh (on linux) scripts.
Make sure that javac is in your path before running the 
scripts.

if you have ant installed, you can also build by typing 'ant build' in the 
bin directory.


Building the distribution package
---------------------------------

To build a distributable package containing the kenya
binaries, run the build_package.bat or build_package.sh
scripts. This will build kenya and create a dist_package 
sub-directory which contains a set of files and sub-directories
organised in a the correct way for kenya to run correctly. You
can then zip up the contents of this dist_package sub-directory
and distribute.

Again, make sure that javac is in your path before running
the build_package scripts.

if you have ant installed, you can also build by typing 'ant' in the 
bin directory.

Running Kenya
-------------

There are two things to do before you can run kenya:-

(1) build the distribution package
(2) modify the the config file in the etc/ sub-directory
    of the distribution package

You build the distribution package as described above.

You need to modify the configuration file 'config' so
that Kenya knows where you have installed the Java development
kit. If you don't change the configuration file, you will still
be able to run kenya, but will *not* be able to compile and run
the java versions of your translated kenya programs.

The config file comes well commented, look at the comments and
change the necessary parts for java and javac. change any of the
other options if you like, but only the java and javac parts
are required to be changed.


