Previous Up Next

2  Installation

Kettle should run on any architecture that has an Ocaml compiler. We use it all the time on Linux and on Windows/cygwin.

If you are using Windows, get the cygwin distribution and make sure to get all Development tools (Dev), the XFree86-bin, XFree86-lib and XFree86-prog packages (XFree86) as well as TclTk package (lib). (you need the latter to use the the GUI). You should get also the ocaml package.

Next you need to tell Ocaml where Tcl is located: add an environment variable
export TCL_LIBRARY=/usr/share/tcl8.4
On cygwin, you can alternatively set in the Control Panel/System/Advanced TCL_LIBRARY to c:\cygwin\usr\share\tcl8.4.

Now you can configure and build Ocaml (if not on cygwin):
./configure
# Make sure the last step has configured Labltk 
make world
make opt
make install
Now you are ready to build Kettle:
  1. Download the Kettle distribution.
  2. Unzip and untar the source distribution. This will create a directory called kettle whose structure is explained below.
    tar xvfz kettle-1.10.6.tar.gz
  3. Enter the kettle directory and run the configure script and then GNU make to build the distribution. If you are on Windows, at least the configure step must be run from within bash.
          cd kettle
          ./configure
          make
          make RELEASE=1
          cd test
          make quicktest
          
This should leave the executable file obj/x86_WIN32/kettle.asm.exe (or x86_LINUX as might be the case). If you skip the ``make RELEASE=1'' you will only obtain the bytecode version (kettle.byte.exe), which is somewhat slower but faster to build.

To test that you have Kettle working you can run:
cd test
make quicktest
To test if the (experimental) GUI works, do
cd test
make prove/equality/uninterpreted GUI=1
The above command will run the prover on the file equality/uninterpreted.cvc and will leave a proof in the file equality/uninterpreted.prf.


Previous Up Next