symbc - simple build problem

[Ian Peake]

I can't build a fresh hg clone of jpf-symbc.
I must be missing something obvious, but what?

~/src/jpf-core$ ./build-tools/bin/ant compile
Buildfile: build.xml
...
BUILD SUCCESSFUL
Total time: 0 seconds

(Tests run too)

~/src/jpf-symbc$ bin/ant clean
ERROR: no ant.jar found in known tools dirs (check your
site.properties)

~/src/jpf-symbc$ cat /home/ipeake/.jpf/site.properties
# JPF site configuration

jpf.home = ${user.home}/src/jpf-core

# can only expand system properties
jpf-core = ${user.home}/src/jpf-core

jpf-symbc = ${user.home}/src/jpf-symbc

If I build using the JPF ant, I get:
ipeake@zeus:~/src/jpf-symbc$ ../jpf-core/build-tools/bin/ant compile
Buildfile: build.xml
...
[javac] /media/sda1/home/ipeake/src/jpf-symbc/src/classes/gov/nasa/
jpf/symbc/Debug.java:22: package gov.nasa.jpf.jvm does not exist
[javac] import gov.nasa.jpf.jvm.Verify;

Thanks in advance,

Ian

[Ian Peake]

As discovered in a separate thread, this was ultimately caused by
using an old svn
version of jpf-core.

Ian

[Corina Pasareanu]

Hi:
I've recently updated Symbolic PathFinder.
Could you please get the newest version and tell me if you see any problems?
Thank you,
Corina