Stream: Archive Mirror: Isabelle Users Mailing List

Topic: [isabelle] Isabelle 2019 on macOS Catalina

Email Gateway (Aug 22 2022 at 20:42):

From: "Thiemann, René" <Rene.Thiemann@uibk.ac.at>
Dear all,

those of you who have already updated to macOS Catalina might encounter the following problem:

• Starting Isabelle2019 is no longer permitted because it is not from a “verified developer”.
• The CTRL-open solution (still trust this app), is no longer available, instead one can now
  move Isabelle2019 to the trash.

So, here is what worked on my machine:

1) disable security checking
sudo spctl --master-disable

2) Start Isabelle
isabelle jedit

3) reenable security checking
sudo spctl --master-enable

4) starting Isabelle still works

I don’t know whether there are better solutions to the problem,
but perhaps this is useful for some of you.

Cheers,
René

PS: I did not yet test, whether other tools like z3, yices, etc. all work properly.
PPS: There was no problem with using a self-compiled Isabelle from the development-repository.

Email Gateway (Aug 22 2022 at 21:05):

From: Makarius <makarius@sketis.net>
Just for completeness also an answer on this old thread: "sudo spctl
--master-disable" works but is rather brutal, it disables Gatekeeper altogether.

This hint occurs frequently on the web, probably because it was actually
required on beta versions of macOS Catalina.

In the official release Apple made the "security theater" simpler (requiring
only 5 clicks or so). See also https://isabelle.in.tum.de/installation.html

"""

1. Open Isabelle2019.app and Cancel the subsequent security dialog.
2. Open Security & Privacy in system preferences: section "Allow apps ..."
at the bottom should list the blocked application (see screenshot).

3. Click Open Anyway and provide further confirmations as required.

"""

Makarius

Email Gateway (Aug 22 2022 at 21:05):

From: Lawrence Paulson <lp15@cam.ac.uk>
Funny, this is more than I had to do: I simply opened the new app (using right click; this is essential) and then dismissed the security dialogue.

Larry

Email Gateway (Aug 22 2022 at 21:05):

From: Makarius <makarius@sketis.net>
My first test was with the traditional right-clock Open, but it did not change
the full security dialog sequence.

Later I tried again with a regular "Open" that the behaviour remains the same.

The overall conclusion: right now we don't have to do anything concerning
"notarization", but in future macOS releases it might become even more awkward
or impossible to avoid it.

Makarius

Email Gateway (Aug 22 2022 at 21:05):

From: Lawrence Paulson <lp15@cam.ac.uk>
After another bit of testing, I think I’ve finally grasped the behaviour: you don’t get the option to override until you try to open the app for a second time.

Larry

Email Gateway (Aug 22 2022 at 21:06):

From: Burkhart Wolff <wolff@lri.fr>
I use isabelle under catalan for quite some Time. I do not recall exactly how I started it for the first time(any later activation is different), but the essentials have been this :

• install isabelle as usual under the Applications folder
• select it directly
• then use some shift or shift alt or cmd shift alt together with double click and a special dialog box of the type “do you really want to open this ?” Pops up. Clicking ok sends it into a state where the rest works normal.

Hope that helps, and that someone can fill in my missing gaps.

Bu

Von meinem iPhone gesendet

Last updated: Apr 26 2024 at 01:06 UTC