A tool for exploring the memory models of Power and ARM architectures
OCaml JavaScript C Other
Switch branches/tags
Nothing to show
Clone or download
Fetching latest commit…
Cannot retrieve the latest commit at this time.
Permalink
Failed to load latest commit information.
src-arm
src-ppc
src
src_lem_library
src_memevents_litmus
src_model
.gitignore
LICENSE
Makefile
README
README.md
VERSION
browse.css
close.png
handler.js
help.html
index.html
ppcmem-web
stylesheet.css
url.js

README.md

http://www.cl.cam.ac.uk/~pes20/ppcmem/help.html hacked to make building the web interface possible.

To build the web interface:

export JSLIBDIR=/opt/godi/lib/ocaml/pkg-lib/js_of_ocaml
export JSBINDIR=/opt/godi/bin
# on Debian:
# export JSLIBDIR=/usr/lib/ocaml/js_of_ocaml
# export JSBINDIR=/usr/bin
make TARGET=js JSLIBDIR=$JSLIBDIR JSBINDIR=$JSBINDIR depend_js jquery-1.6.1.js js

To start the web interface:

./pcmem-web