Downloading and configuring Java Pathfinder
Downloading and Installing
First install Mercurial.
sudo apt-get install mercurial
Then grab the source for jpf-core
and jpf-symbc
packages. They are the main
files for Java Pathfinder.
hg clone http://babelfish.arc.nasa.gov/hg/jpf/jpf-core
hg clone http://babelfish.arc.nasa.gov/hg/jpf/jpf-symbc
Site Configuration
Create a site configuration file with the name ~/.jpf/site.properties
.
# JPF site configuration
jpf-core = ${user.home}/Software/jpf/jpf-core
# numeric extension
jpf-numeric = ${user.home}/Software/jpf/jpf-numeric
# symbolic extension
jpf-symbc = ${user.home}/Software/jpf/jpf-symbc
extensions=${jpf-core},${jpf-numeric},${jpf-symbc}
#... and all your other installed projects
Building Java Pathfinder
cd jpf-core
bin/ant test
cd ../jpf-symbc
bin/ant test
cd ../jpf-numeric
bin/ant test
Installing the Eclipse plugin
Use Eclipse 3.5+ and Java 1.6+, and this update site link. To find out that it is properly installed, see in the preference window if there is a page for Java Pathfinder.