Page MenuHomeIsabelle/Phabricator

Proper app support for macOS 10.15 Catalina
Closed, ResolvedPublic

Description

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 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 claimed this task.

Works sufficiently well according to Isabelle website a34d4206d9a9.