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:
-
Download the Kettle distribution.
- Unzip and untar the source distribution. This will create a directory
called kettle whose structure is explained below.
tar xvfz kettle-1.10.5.tar.gz
- 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
cd test
make quicktest
This should leave the executable file obj/x86_WIN32/kettle.asm.exe (or
x86_LINUX as might be the case).
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.