stmgc / checkfence /

Filename Size Date modified Message
1.3 KB
Installing checkfence on Linux 64

apt-get install bison flex ocaml ocaml-findlib

cvs -z3 co -P checkfence

cvs -z3 co -P c2lsl
   for Linux 64 you need
   I did not try the 32-bit version.

   Build with "make -j1".

   This is C++ code with errors: it's missing these lines
       #include <cstdlib>
       #include <cstring>
   at the top of some files.  Add as you get the errors.

CIL version 1.3.7 (the more recent 1.7.3 doesn't work here)

   cd /usr/lib/ocaml
   sudo ln -s libcamlstr.a libstr.a
   make -j1

Compiling checkfence:
   cd checkfence/build
   edit the Makefile: ZCHAFFDIR=/path/to/zchaff64
   make opt

Compiling C2LSL:
   cd c2lsl
   edit the Makefile: CILDIR=/path/to/cil-1.3.7
   and also: CILINCLUDES=....x86_LINUX (instead of x86_WIN32)

   make -j1

Running the examples:
   cd c4
   ln -s /full/path/to/c2lsl
   ln -s /full/path/to/checkfence
   ./run test1.c test1.lsl

   Look at 'T0.bsc-overview.htm' in your web browser.