Commit 9e3ccc687bf by Armin Rigo

Update the checkfence instructions

--HG--
branch : bag
parent b425e275952
Installing checkfence on Linux 64
---------------------------------
Installing checkfence on Linux 64 (Ubuntu 14.04)
------------------------------------------------
apt-get install bison flex ocaml ocaml-findlib
......@@ -34,7 +34,9 @@ Compiling checkfence:
cd checkfence/build
edit the Makefile: ZCHAFFDIR=/path/to/zchaff64
make opt
fix src/Parser.yy for bison 3.0 by replacing all "yyloc" with "yyla.location"
make dbg # or "make opt", but this gives me a segfaulting version :-(
Compiling C2LSL:
......@@ -48,7 +50,7 @@ Compiling C2LSL:
Running the examples:
cd c4
cd c7
ln -s /full/path/to/c2lsl
ln -s /full/path/to/checkfence
./run test1.c test1.lsl
......
......@@ -8,4 +8,4 @@ $C2LSL_HOME/bin/c2lsl.exe "$1" _run.lsl || exit 1
shift
$CHECKFENCE_HOME/run/clean || exit 1
echo -------------------------------------------------------------------------
$CHECKFENCE_HOME/run/checkfence -i _run.lsl "$@" || exit 1
$CHECKFENCE_HOME/run/checkfence_g -i _run.lsl "$@" || exit 1
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment