Ant Build failed

[BinduAvadhani]

Hello, I am not able to build the symbc-master with ant. At different line numbers of SymbolicInstructionFactory.java errors are found. After built done the result is as follows. jpf-symbc-master\src\main\gov\nasa\jpf\symbc\SymbolicInstructionFactory.java:406: error: cannot find symbol [javac] Note: Recompile with -Xlint:unchecked for details. [javac] 100 errors

BUILD FAILED

[letonchanh]

Hi, I also encountered this problem yesterday, then followed the instructions here https://verificationglasses.wordpress.com/2017/02/13/installing-java-pathfinder-jpf-for-symbolic-execution/, and it works. You need to install jpf-core first, the instruction is here https://github.com/javapathfinder/jpf-core/wiki/Build,-Test,-Run.

Note that you don't have to change the path of JUNIT_HOME in build.xml. Just need to add export JUNIT_HOME=/path/to/junit into your ~/.bashrc.

[BinduAvadhani]

Hai, I tried but still i am not able to build the jpf-symbc-master. Please help me in this regard. Regards, Avadhani Bindu.

On Sat, Apr 13, 2019 at 12:39 AM LE, Ton Chanh notifications@github.com wrote:

Hi, I also encountered this problem yesterday, then followed the instructions here https://verificationglasses.wordpress.com/2017/02/13/installing-java-pathfinder-jpf-for-symbolic-execution/, and it works. You need to install jpf-core first, the instruction is here https://github.com/javapathfinder/jpf-core/wiki/Build,-Test,-Run.

Note that you don't have to change the path of JUNIT_HOME in build.xml. Just need to add export JUNIT_HOME=/path/to/junit into your ~/.bashrc.

— You are receiving this because you authored the thread. Reply to this email directly, view it on GitHub https://github.com/SymbolicPathFinder/jpf-symbc/issues/29#issuecomment-482689853, or mute the thread https://github.com/notifications/unsubscribe-auth/AuuFqZmOOkHr7pj5gjixFIacsqP-MmDxks5vgNn1gaJpZM4cPVB7 .

[corinus]

Hi: May I ask if you were able to first install jpf-core?

[BinduAvadhani]

Hello.. Yes I am able to build the jpf core. Regards Avadhani bindu.

On Tue, 16 Apr, 2019, 6:03 AM Corina Pasareanu, notifications@github.com wrote:

Hi: May I ask if you were able to first install jpf-core?

— You are receiving this because you authored the thread. Reply to this email directly, view it on GitHub https://github.com/SymbolicPathFinder/jpf-symbc/issues/29#issuecomment-483467333, or mute the thread https://github.com/notifications/unsubscribe-auth/AuuFqQARHHAaR3E1tXcdVvLzDPqw0T_Nks5vhRp2gaJpZM4cPVB7 .

[BinduAvadhani]

Hello: I am able to build the jpf-core using ant but i am unable to build the jpf-core-master using gradle. When i tried building jpf-core -master with the command "gradle buildJars --info" it is as follows

FAILURE: Build failed with an exception. * Where: Build file 'C:\Users\Bindu Avadhani\JPF\jpf-core-master\build.gradle' line: 25 * What went wrong: A problem occurred evaluating root project 'jpf-core'. > Failed to apply plugin [id 'com.palantir.git-version']

• Cannot find '.git' directory*

Kindly help me in building the jpf-core and jpf-symbc

Regards, Avadhani Bindu

On Tue, Apr 16, 2019 at 6:03 AM Corina Pasareanu notifications@github.com wrote:

Hi: May I ask if you were able to first install jpf-core?

— You are receiving this because you authored the thread. Reply to this email directly, view it on GitHub https://github.com/SymbolicPathFinder/jpf-symbc/issues/29#issuecomment-483467333, or mute the thread https://github.com/notifications/unsubscribe-auth/AuuFqQARHHAaR3E1tXcdVvLzDPqw0T_Nks5vhRp2gaJpZM4cPVB7 .

[bingzheliu]

Hello,

I am trying to install the jpf-symbc, but I don't have access to the wiki page that is hosting under NASA (https://babelfish.arc.nasa.gov/trac/jpf/wiki/projects/jpf-symbc). Do you guys have an alternative installing instructions? Thanks!

[corinus]

the instructions are in the readme