Page MenuHomeIsabelle/Phabricator

Proper app support for macOS 10.15 Catalina
Closed, ResolvedPublic


macOS 10.15 Catalina (October 2019) makes it hard to run unsigned applications, see also the Isabelle website b00c19ebb237.

Proper support seems to require code signing and code "notarization", but this needs membership of the Apple Developer Program (normally 90$ per year with some administrative overhead).

Event Timeline

makarius triaged this task as High priority.Nov 29 2019, 10:52 PM
makarius created this task.
makarius created this object with visibility "Public (No Login Required)".
makarius created this object with edit policy "Task Author".

Open question: What does "notarization" really mean, especially for add-on executables, even embedded executables as in sqlite-jdbc? Do we have to rebuild and "bless" all binaries with an official developer id?

makarius closed this task as Resolved.Dec 1 2019, 9:34 PM
makarius claimed this task.

Works sufficiently well according to Isabelle website a34d4206d9a9.