prismmodelchecker / prism-ext Goto Github PK

Hi all,

I was trying to compile prism, and got the following error upon running make:

Making src/userinterface ...
(cd ..; javac -encoding UTF8 -sourcepath userinterface/../../src -classpath "userinterface/../../classes:userinterface/../../lib/" -h userinterface/../../include/jni -d userinterface/../../classes userinterface/CheckBoxList.java)
Note: userinterface/CheckBoxList.java uses unchecked or unsafe operations.
Note: Recompile with -Xlint:unchecked for details.
(cd ..; javac -encoding UTF8 -sourcepath userinterface/../../src -classpath "userinterface/../../classes:userinterface/../../lib/" -h userinterface/../../include/jni -d userinterface/../../classes userinterface/GUIClipboard.java)
userinterface/../../src/userinterface/properties/GUIExperiment.java:370: error: invalid use of a restricted identifier 'yield'
yield();
^
(to invoke a method called yield, qualify the yield with a receiver or type name)
userinterface/../../src/userinterface/properties/GUIExperiment.java:375: error: invalid use of a restricted identifier 'yield'
yield();
^
(to invoke a method called yield, qualify the yield with a receiver or type name)
Note: Some input files use or override a deprecated API.
Note: Recompile with -Xlint:deprecation for details.
Note: Some input files use unchecked or unsafe operations.
Note: Recompile with -Xlint:unchecked for details.

I run a Mac 10.14.6 with:

I openjdk 14.0.1 2020-04-14
OpenJDK Runtime Environment (build 14.0.1+7)
OpenJDK 64-Bit Server VM (build 14.0.1+7, mixed mode, sharing)

Additinional question: Given that the bug seems to be in the gui, can I compile just the command line interface?