Stream: Mirror: Isabelle Users Mailing List

Topic: [isabelle] Mac M1 12.4

Email Gateway (Jun 30 2022 at 14:19):

From: Tobias Nipkow <nipkow@in.tum.de>
On my new MacBook Pro M1, when I start Isabelle a pop-up with

“libsqlitejdbc.jnilib” can’t be opened because Apple cannot check it for
malicious software.

appears and I have to click on OK. In the shell window it prints

Failed to load native library:libsqlitejdbc.jnilib. osinfo: Mac/aarch64
java.lang.UnsatisfiedLinkError: Can't load library:
/Users/nipkow/.isabelle/contrib/sqlite-jdbc-3.36.0.3/arm64-darwin/libsqlitejdbc.jnilib

Isabelle starts, but having to click OK is annoying. What to do?

Tobias
smime.p7s

Email Gateway (Jun 30 2022 at 19:37):

From: Tobias Nipkow <nipkow@in.tum.de>
On 30/06/2022 16:48, Fiedler Ben wrote:

Does libsqlitejdbc.jnilib show up in System Preferences > Security? If so, then you should be able to allow execution and get rid of the error.

Thanks a lot, that solved it! I have the vague memory that there was such a
discussion on the mailing list when Monterey came out ...

Tobias

FWIW I don’t see that particular error on the same Machine+OS, but I’m also still running Isabelle2021-1, installed via HomeBrew.

Hope this helps!

Cheers,
Ben

On 30 Jun 2022, at 16:19, Tobias Nipkow <nipkow@in.tum.de> wrote:

On my new MacBook Pro M1, when I start Isabelle a pop-up with

“libsqlitejdbc.jnilib” can’t be opened because Apple cannot check it for malicious software.

appears and I have to click on OK. In the shell window it prints

Failed to load native library:libsqlitejdbc.jnilib. osinfo: Mac/aarch64
java.lang.UnsatisfiedLinkError: Can't load library: /Users/nipkow/.isabelle/contrib/sqlite-jdbc-3.36.0.3/arm64-darwin/libsqlitejdbc.jnilib

Isabelle starts, but having to click OK is annoying. What to do?

Tobias

smime.p7s

Email Gateway (Jun 30 2022 at 19:37):

From: Makarius <makarius@sketis.net>
Could this be a new torture device by Apple to increase "security"?

I failed to reproduce the problem with my MacMini M1 using an updated
installation of macOS Monterey 12.4. I tried both Isabelle2021-1 and
repository version b8bd01897578 from today.

Everything looks fine so far.

Makarius

Email Gateway (Jul 01 2022 at 08:00):

From: Fiedler Ben <ben.fiedler@inf.ethz.ch>
Does libsqlitejdbc.jnilib show up in System Preferences > Security? If so, then you should be able to allow execution and get rid of the error.

FWIW I don’t see that particular error on the same Machine+OS, but I’m also still running Isabelle2021-1, installed via HomeBrew.

Hope this helps!

Cheers,
Ben

Last updated: Jul 15 2022 at 23:21 UTC