[Javapathfinder-user] the UnsatisfiedLinkedError problem

[Arkadeb G. <ar...@gm...>]

Hi Shane,

 I was also getting the same problem when i tried to set JPF on eclipse.
The error is reported if you have not build everything properly ... a set o=
f

instructions i followed that led to correct working on Eclipse are as
follows:
(you may try once more)

- arko

JPF on Eclipse



   1. Go to the menu "*File-Import-Checkout projects from CVS*" item

            *To create new repository location:*

            Host: cvs.sourceforge.net

            Repository path: /cvsroot/javapathfinder

            User: Anonymous

            Password: *no password is required*

            Connection type; pserver

            Use Default Port

   1. Click "Use specified module name:"

      Enter javapathfinder

      Click "Next"

   1. Select "Check out as a project configured using the New Project
   Wizard" *(very important)*

      Cick "Next"

   1. Click the tag "HEAD" and click "Next"
   2. A "New Project" box should appear. Select the "Java Project" wizard
   and click "Next"
   3. Give the project a name (javapathfinder is a sensible one)

      Select "Create project in workspace"

      Select "Create separate source and output folders"

      DO NOT click the next button yet

   1. Click the "Configure Defaults" button

      Enter 'src' in the "Source folder name"

      Click 'Ok'

   1. Hit "next"
   2. Next add the external jar files:

      bcel.jar, fast-MD5.jar, xercesImpl.jar, and cml-apis.jar

   1. Set default output folder to javapathfinder/build/jpf
   2. Click "Finish" and wait.



   1. After checkout is complete, right click build.xml.

      Select "Ant build=85" from "Run".

      From "Check targets to execute" slect "compile-examples"

      Don't change the any other settings

      Hit "Run"

   1. Hit Refresh on the project =85

      Make sure you have the following directories:

      build/env/jpf

      build/env/jvm

      build/examples



   1. How to run the HelloWorld.java example ?

      In the run configuration:

      In Main: project: javapathfinder,  main class: gov.nasa.jpf.JPF

      In Arguments: -show HelloWorld, check out "Use default working
directory"

      In Classpath: add build\env\jpf, \build\env\jvm and \build\examples

      Hit "Run" button.