wiki:install/start

Getting and Installing JPF

The JPF core and most of its extensions are pure Java applications, so are not many platform requirements other than sufficient memory and a reasonably fast machine. Use of IDEs is optional, but most JPF modules include out-of-the-box configuration files for both Eclipse and Netbeans.

You can obtain JPF sources from the Mercurial repositories that are in the http://babelfish.arc.nasa.gov/hg/jpf directory, but it is not recommended to clone this directory itself (you most likely would get old subrepository revisions). You need at least the JPF core, the other modules are optional. Each module can be built with Ant from the command line, or directly opened as NetBeans or Eclipse projects.

For a list of available JPF modules, please see the modules section of this wiki, which also provides binary snapshots attached to the module pages.

JPF requires per-site and per-module configuration. All JPF modules already come with their configuration files, but you have to create a per-site site.properties file.

If you use the JPF shells? (graphical JPF frontends), you might also want to install the corresponding NetBeans or Eclipse adapter plugins, although shells are standalone Java (swing) applications that can also be used without an IDE.

Here are the details:

Last modified 4 years ago Last modified on 03/14/2014 01:46:30 PM