Author: Armin Rigo <[email protected]>
Branch: bag
Changeset: r1587:9e3ccc687bfd
Date: 2015-01-24 16:42 +0100
http://bitbucket.org/pypy/stmgc/changeset/9e3ccc687bfd/
Log: Update the checkfence instructions
diff --git a/checkfence/README b/checkfence/README
--- a/checkfence/README
+++ b/checkfence/README
@@ -1,5 +1,5 @@
-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 @@
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 @@
Running the examples:
- cd c4
+ cd c7
ln -s /full/path/to/c2lsl
ln -s /full/path/to/checkfence
./run test1.c test1.lsl
diff --git a/checkfence/c7/run b/checkfence/c7/run
--- a/checkfence/c7/run
+++ b/checkfence/c7/run
@@ -8,4 +8,4 @@
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
_______________________________________________
pypy-commit mailing list
[email protected]
https://mail.python.org/mailman/listinfo/pypy-commit
