Re: [Javapathfinder-user] java.lang.UnsatisfiedLinkError (no peer)

[Shane D. <sha...@ho...>]

Willem/Adam,

Thanks again for your help.

I know that at least the build dir was getting created when running ant 
since it wasn't
there before but it was after (and I believe I saw a bunch of classes in 
there at one
point).  Here at work (Solaris), I have...

a build/env/jvm/gov/nasa/jpf/jvm dir
with 22 JPF_java_*.class files

nothing in build/test

And these are all the files under build/env/jpf...

java/io/File.class
java/io/RandomAccessFile$DataRepresentation.class
java/io/RandomAccessFile.class
java/lang/Class.class
java/lang/StackTraceElement.class
java/lang/Thread.class
java/lang/ref/Reference.class
java/lang/ref/ReferenceQueue.class
java/lang/ref/WeakReference.class
java/security/AccessController.class
sun/misc/AtomicLong.class

I'll have to check at home on Windows later.

So am I missing some class files?
I just re-ran "run-tests" (after removing TestAssert) and
all the tests ran and passed.  But still no Object class under
the path you mentioned (but I do have this file:
build/env/jvm/gov/nasa/jpf/jvm/JPF_java_lang_Object.class).

I noticed this in build.xml:  "NOTE - some targets might be
skipped if you don't have a 'local.properties' file" - I don't
have that file.

I believe I already tried this but I'll also add build/env/jvm to the
classpath and try again.

Shane.