#Kenya config file
#-----------------
#Set the fields below to configure your Kenya installation.
#If using windows, please remember to escape the backslashes
#in pathnames (i.e. use \\ where you mean \)


#Kenya location is the place where you installed kenya,
#e.g  /homes/username/kenya
#or   c:\\Progra~1\\Kenya

#kenya.location = h:\\kenya
kenya.location = ..

#Java location is the absolute path to java on your system

java.location = c:\\progra~1\\jdk1.3.1\\bin\\java

#If you are using the extensions to Java provided by GJ, set
#gj.location to the place where it is installed (this directory
#should contain further directories called 'classes' 'doc' etc.

gj.location = c:\\Progra~1\\gj
javac.location = c:\\progra~1\\jdk1.3.1\\bin\\javac

#If you have GJ, set compiler to 'gj' (lower case) otherwise set it to 'javac'

compiler =  javac

#Set the base dir to the directory you normally want to load/save
#Kenya and Java files from/to.

kenya.base.dir = ../user_code

#Set the working dir to the place you want Kenya to create its
#files (.java , .class etc ), e.g. h:\\files or .

working.dir = ../temp

