Installation

1. Change directory into client-facing JPF directory:

   
   [lethe] ~% cd /util/jpf
   
   

2. 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
   
   

3. Take ownership of all the directories you've just installed:

   
   [lethe] jpf% sudo chown -R cwmiller *
   
   

4. 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
   
   

References

1. http://babelfish.arc.nasa.gov/trac/jpf/wiki/install/repositories
2. http://babelfish.arc.nasa.gov/trac/jpf/wiki/projects/start