Page MenuHomeIsabelle/Phabricator

Update to jdk-11.0.10, notably for macOS Big Sur
Closed, ResolvedPublic


The next OpenJDK update is scheduled for 19-Jan-2021, still in time for the Isabelle2021 release deadline.

This might be relevant for macOS Big Sur: various fine points with the GUI L&F need to be sorted out by the OpenJDK project.

Event Timeline

makarius triaged this task as Normal priority.Nov 30 2020, 3:08 PM
makarius created this task.

An alternative is to switch to jdk-15 ("medium term support"), provided by Azul/Zulu.

makarius moved this task from TODO to Backlog on the isabelle-release board.

For improved portability (also for arm64-darwin) it might be better to exchange the app launcher as well, using a plain shell script instead of native executable.

How does this affect file associations, drag-and-drop onto the application etc.?

makarius claimed this task.