
 (For more complete installation instructions... please wait)

 Building from source 
---------------------------------------------------------------------

 1. If you use Windows, you must first install cygwin. (Not tested)

 2. You must install OCaml version 3.08 or higher (see instructions at
    http://caml.inria.fr/ocaml).

 3. Download and unpack the distribution. 

 4. Build CIL (see the CIL INSTALL file). Note: if you get a compilation
    error "File "obj/x86_LINUX/feature_config.ml", line 4, ...",
    edit the obj/x86_LINUX/feature_config.ml file and remove the "-ne" junk.

 5. Run make in the base RELAY directory

 6. Optional: go to the test directory and "make" to test

 7. Optional: the web UI for browsing warnings requires installation
    of the Django web framework and a database backend

