Java PathFinder (JPF) Admin

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