Little-JIL Semantic Checker Installation Instructions

These instructions are for Unix systems. The checker has only been tested on Debian and Red Hat GNU/Linux systems, but these same instructions should work on other Unix systems with GNU tools.
  1. Install the prerequisites. The checker will not compile or run without Java 1.4 and the full version of xlinkit 5.0. It is not necessary to configure xlinkit so that its included scripts actually run, only to extract the archive contents in a known location in order to access the xlinkit and supporting .jar files.
  2. Download the software. The semantic checker package is available at downloads. Unpack the archive in the directory where you wish to install the checker software. 
    cd checker
tar xvzf littlejil-semantic.tar.gz
  3. Customize the Makefile. In order for java to find the necessary support libraries and for the proper generation of other files, some parameters in the Makefile must be set for your system. The top section of the makefile contains several customizable paths along with comments indicating what each variable means. Adjust them accordingly.
  4. Run make. This generates shell scripts which run the checker and checker UI using the proper CLASSPATH and other settings. If you update the Makefile to fix mistakes or change the custom classpath, re-run make to re-generate these scripts.

That's it! The bin subdirectory contains two shell scripts to run the checker. They contain absolute paths, so feel free to copy them to somewhere in your path. They are:

shimon@rura.org