Can´t run JPF - Configuration Problem

[Pedro Louro]

Hi!

I´m trying to put JPF (ideally with symbc) running but I´m stuck here.
When I do the Verify in Eclipse with one of the .jpf examples (either
in symbc or in jpf-core) I get this message:

"RunJPF.jar not found at: build\RunJPF.jar
Executing command: java -jar C:\Program Files\eclipse\build\RunJPF.jar
+site=C:\Users\Pedro\Dropbox\tese\workspace\jpf\site.properties.properties-windows
+shell.port=4242
C:\Users\Pedro\Dropbox\tese\workspace\jpf-core\src\examples\oldclassic-da.jpf
Unable to access jarfile C:\Program Files\eclipse\build\RunJPF.jar"

I suppose that this is a problem of configuration (the build\RunJPF is
in "C:\Users\Pedro\Dropbox\tese\workspace\jpf-core"). My
site.properties:
# JPF site configuration

#### Change this to represent your actual path jpf #####
jpf.home = ${user.home}/Dropbox/tese/workspace

# can only expand system properties at this point
jpf-core = ${jpf.home}/jpf-core

extensions=${jpf-core}

I know this must be an obvious error, but I´m a newbie here.

Best Regards
Pedro Louro

[Ivan Mushketik]

Hello.
I don't use Eclipse to work with JPF, but as I understand the problem
is that Eclipse tries to run JPFRun.jar (jar that start JPF) no from
your jpf-core directory (${jpf.home}/jpf-core), but from C:\Program
Files\eclipse\build\RunJPF.jar , where is no RunJPF.jar.
You can try to run JPF from shell or to check if there any settings in
Eclipse for JPF.

[rush3r]

Hello,

Thank you for your response!
Yes, the problem is that eclipse is trying to run this "Executing
command: java -jar C:\Program Files\eclipse\build\RunJPF.jar" when it
should run "Executing command: java -jar C:\Users\Pedro\Dropbox\tese
\workspace\jpf-core\build\RunJPF".
The thing is, I don´t know how to configure that. In Eclipse -> Window
-> Preferences -> JPF Preferences -> Path to site.properties is
correct because when I take out the file it doesn´t work. And in the
site.properties I define the path´s to jpf.home and jpf.core so I don
´t know what is wrong!

Best Regards
Pedro Louro

[rush3r]

No one ? I really need some help with this, I already tried
everything :S

[Peter Mehlitz]

looking at the eclipse-jpf sources (JPFLauncher), it locates RunJPF.jar through the 'jpf-core' setting from your site.properties, which in turn is looked up through ${user.home}/.jpf/site.properties, so it seems to ignore any explicit site.properties configuration. Since Sandro or myself currently don't have time to fix this, please make sure

(1) your site.properties is in ${user.home}/.jpf/site.properties ('user.home' being the value of System.getProperty("user.home"), which you have to check on your Windows version

(2) you have a valid 'jpf-core=<path>' entry in this site.properties

-- Peter

[rush3r]

Thank you for your response. The thing is I can´t create a folder with
the name ".jpf" in Windows that is the default folder as you said.

[Mateusz Ujma]

Please use console and mkdir command

--
Best regards
    Mateusz Ujma