Error in building jpf-core in netbeans(8.2) jdk 1.8.

[knlsha...@gmail.com]

Hello sir, I am open source enthusiast. 


After downloading "jpf-core-.zip" and importing it, I am trying to test it by running build.xml (Run Target> build) and then 3 errors encounters and 6 warnings which are

FOLLOWING are ERRORS

> jpf-core-master\src\classes\sun\misc\SharedSecrets.java:60: error: cannot find symbol

  private static JavaOISAccess javaOISAccess;

  symbol:   class JavaOISAccess

  location: class SharedSecrets

>jpf-core-master\src\classes\sun\misc\SharedSecrets.java:162: error: cannot find symbol

  public static void setJavaOISAccess(JavaOISAccess access) {

  symbol:   class JavaOISAccess

  location: class SharedSecrets

>jpf-core-master\src\classes\sun\misc\SharedSecrets.java:166: error: cannot find symbol

  public static JavaOISAccess getJavaOISAccess() {

  symbol:   class JavaOISAccess

  location: class SharedSecrets

Note: Some input files use internal proprietary API that may be removed in a future release.

Note: Recompile with -Xlint:sunapi for details.

Compile failed; see the compiler error output for details.

BUILD FAILED (total time: 18 seconds)

Help me, sir.

-Kunal

[Quoc-Sang Phan]

Hi,

Currently, jpf-core only supports Java 7.

Supporting for java 10 is work in progress, see branch java-10: https://github.com/javapathfinder/jpf-core 

Sang

[Jeanderson]

There's a version with Gradle support that targets Java 8 that it is about to get merged to the master branch very soon :)

Later we will be merging the java-10 branch, as well.

Best,

Jeanderson Candido

http://jeandersonbc.github.io

Skype: jeandersonbc

Time Zone: GMT-3

--

---
You received this message because you are subscribed to the Google Groups "Java™ Pathfinder" group.
To unsubscribe from this group and stop receiving emails from it, send an email to java-pathfind...@googlegroups.com.
For more options, visit https://groups.google.com/d/optout.

[Neysiani]

Hello

.I worked with java8 in both Windows 10 and Ubuntu

.I think that you did not create a site.properties

:For more information for site.properties, go to this address

https://babelfish.arc.nasa.gov/trac/jpf/wiki/install/site-properties

If the problem is not solved, ask again.

در دوشنبه 25 ژوئن 2018، ساعت 17:02:31 (UTC+4:30)، knlsha...@gmail.com نوشته:

[Cyrille Artho]

Java 8 is currently supported already, but NetBeans support is outdated.
You can try building jpf-core with ant, or, every soon, with gradle.

[knlsha...@gmail.com]

I am trying with jdk 1.8 and although NetBeans supports  Ant(1.9.5).

I have also installed that extra plugin that is mention in documentation (Building, testing, running).

But little bit confused with the site.properties file and who to use in the project.

 

-Kunal

[knlsha...@gmail.com]

I am working jdk 1.8  and  ide NetBeans.

But little bit confused with the site.properties file and who to use in the jpf-core?

[Jeanderson]

Hi,

It shouldn't be necessary to configure the "site.properties" files to build JPF.

It is used in runtime to set JPF and its extensions, as far as I know.

Can you please share some information about your setup?

What is your Java version (e.g. "1.8.0_151"), for instance?

I just tried the following and didn't have any issues:

https://gist.github.com/jeandersonbc/2489e152540ef85f7912a16e7ba5215b

I tested the wiki steps on Eclipse and IntelliJ and didn't have any issue.

I must find some time to try NetBeans, although I believe your problem is not related to your IDE.

Best,

Jeanderson Candido

http://jeandersonbc.github.io

Skype: jeandersonbc

Time Zone: GMT-3

--

[knlsha...@gmail.com]

thanks, Sir Jeanderson Candido for the response.

I have checked it out that GithubGist link although I am not currently working via cmd (Windows -10).

java version "1.8.0_101" (Instance).

Java(TM) SE Runtime Environment (build 1.8.0_101-b13)

Java HotSpot(TM) 64-Bit Server VM (build 25.101-b13, mixed mode)

[Jeanderson]

Hello,

Sorry that you are still having trouble building JPF.

I am unable to try a Windows machine but I just started a VM with Ubuntu 16.04 here.

I tried to build JPF with some different JDK versions and this what I found:

I was able to reproduce the same errors you reported in the following versions: jdk1.8.0_101, _102, _111.

I tried jdk1.8.0_151 (which is the one I was using in my local machine) and I didn't have any issues :)

In summary, you need to update your JDK and probably do some configuration on Netbeans to use the newer JDK version.

I updated our Wiki page about this information to let other JPF users aware of this.

Thanks for your message.

Happy Verification :)

Regards,

Jeanderson Candido

http://jeandersonbc.github.io

Skype: jeandersonbc

Timezone: GMT-3

[knlsha...@gmail.com]

thanks, sir for considering my issues now I am moving on jdk1.8.0_151 and starting it again (via NetBeans).

if any issue encounter in future I will tell.

Thanks for the response.

-Kunal

https://github.com/knl97

[Jeanderson]

Thanks for the followup.

I will flag your GitHub Issue as "known-issue" since it has been discussed on this thread.

Good luck with your work.

Regards,

Jeanderson Candido

http://jeandersonbc.github.io

Skype: jeandersonbc

Timezone: GMT-3