[Javapathfinder-user] Compilation error

[Qiang Z. <qz...@cs...>]

Hi,

I am new to the javapathfinder. I checked out the source from 
SourceForge.net and tried to build it. I did the following,

svn checkout https://javapathfinder.svn.sourceforge.net/svnroot/javapathfinder/trunk

under the trunk directory, I ran:  java RunAnt run-tests
but the compilation failed and I attached the error msg below.

I just use the Ant and JUnit coming along with the source, so I suppose 
that there is nothing to configure, and the compilation should go through 
as expected, but now it failed. I wanna know what configuration I have to 
modify or what else I have to do. Thanks.

;===========================================================================
Compilation error msg
;===========================================================================

Buildfile: build.xml

init:
     [mkdir] Created dir: 
/v/filer4b/projects-browne/uvv-fall2007/trunk/build
     [mkdir] Created dir: 
/v/filer4b/projects-browne/uvv-fall2007/trunk/build/jpf
     [mkdir] Created dir: 
/v/filer4b/projects-browne/uvv-fall2007/trunk/build/test
     [mkdir] Created dir: 
/v/filer4b/projects-browne/uvv-fall2007/trunk/build/env
     [mkdir] Created dir: 
/v/filer4b/projects-browne/uvv-fall2007/trunk/build/env/jvm
     [mkdir] Created dir: 
/v/filer4b/projects-browne/uvv-fall2007/trunk/build/env/jpf

compile-jpf:
     [javac] Compiling 499 source files to 
/v/filer4b/projects-browne/uvv-fall2007/trunk/build/jpf
     [javac] 
/v/filer4b/projects-browne/uvv-fall2007/trunk/src/gov/nasa/jpf/tools/MethodTester.java:37: 
cannot find symbol
     [javac] symbol  : class Test
     [javac] location: package gov.nasa.jpf
     [javac] import gov.nasa.jpf.Test;
     [javac]                     ^
     [javac] 
/v/filer4b/projects-browne/uvv-fall2007/trunk/src/gov/nasa/jpf/jvm/MJIEnv.java:925: 
cannot find symbol
     [javac] symbol  : variable JPF_java_lang_reflect_Method
     [javac] location: class gov.nasa.jpf.jvm.MJIEnv
     [javac]     return JPF_java_lang_reflect_Method.getMethodInfo(this, 
mthRef);
     [javac]            ^
     [javac] hibounds=java.lang.Object
     [javac] hibounds=java.lang.Object
     [javac] 
/v/filer4b/projects-browne/uvv-fall2007/trunk/src/gov/nasa/jpf/tools/MethodTester.java:471: 
cannot find symbol
     [javac] symbol  : class Test
     [javac] location: class gov.nasa.jpf.tools.MethodTester
     [javac]         Test t = m.getAnnotation(Test.class);
     [javac]         ^
     [javac] 
/v/filer4b/projects-browne/uvv-fall2007/trunk/src/gov/nasa/jpf/tools/MethodTester.java:471: 
cannot find symbol
     [javac] symbol  : class Test
     [javac] location: class gov.nasa.jpf.tools.MethodTester
     [javac]         Test t = m.getAnnotation(Test.class);
     [javac]                                  ^
     [javac] Note: Some input files use unchecked or unsafe operations.
     [javac] Note: Recompile with -Xlint:unchecked for details.
     [javac] 4 errors

BUILD FAILED
/v/filer4b/projects-browne/uvv-fall2007/trunk/build.xml:151: Compile 
failed; see the compiler error output for details.

Total time: 6 seconds