- Change directory into client-facing JPF directory:
[lethe] ~% cd /util/jpf
- Using Mercurial, download JPF source code by JPF project:
[lethe] jpf% sudo hg clone http://babelfish.arc.nasa.gov/hg/jpf/jpf-core
[lethe] jpf% sudo hg clone http://babelfish.arc.nasa.gov/hg/jpf/jpf-aprop
[lethe] jpf% sudo hg clone http://babelfish.arc.nasa.gov/hg/jpf/jpf-awt
[lethe] jpf% sudo hg clone http://babelfish.arc.nasa.gov/hg/jpf/jpf-concurrent
[lethe] jpf% sudo hg clone http://babelfish.arc.nasa.gov/hg/jpf/jpf-racefinder
[lethe] jpf% sudo hg clone http://babelfish.arc.nasa.gov/hg/jpf/jpf-symbc
... or update JPF source code by project:
[lethe] jpf% cd jpf-core/
[lethe] jpf-core% sudo hg pull -u
pulling from http://babelfish.arc.nasa.gov/hg/jpf/jpf-core
searching for changes
no changes found
- Take ownership of all the directories you've just installed:
[lethe] jpf% sudo chown -R cwmiller *
- From within the project directory, build and test this project from the command line. Make sure you're doing this as yourself, not as the root user, because JPF looks for a ~/.jpf/site.properties file in your home directory. Jave can't find the file when you're running as root.
[lethe] jpf-core% ./bin/ant build
Build works, but this the 'test' command seems to fail for each project:
[lethe] jpf-core% ./bin/ant test