Skip to content

Commit

Permalink
Clarify Java dependency.
Browse files Browse the repository at this point in the history
  • Loading branch information
@cyrille-artho
cyrille-artho committed Mar 12, 2024
1 parent b343dae commit 579284f
Showing 1 changed file with 1 addition and 0 deletions.
1 change: 1 addition & 0 deletions README.md
View file
Original file line number Diff line number Diff line change
Expand Up @@ -14,6 +14,7 @@ If you are having problems installing and running JPF, please look at the [How
to install
JPF](https://github.com/javapathfinder/jpf-core/wiki/How-to-install-JPF) guide.

Note that we have transitioned to OpenJDK with the new version of JPF (for Java 11), so unlike branch `java-8`, the new default version for Java 11 no longer compiles using Oracle's JDK.

We have documented on the wiki a lot of common problems during the install and
build processes reported by users. If you are facing any issue, please, make
Expand Down

0 comments on commit 579284f

Please sign in to comment.