MacOS ARM release is damaged

[jaraujo98]

It has been reported that when downloading and unzipping the MacOS ARM release the user gets an error saying that the app is damaged. This appears to be due to recent Apple quarantine policies.

A workaround for getting the app to run is to execute

xattr -d com.apple.quarantine prover9-mace4.app

However, this goes against the goal of user-friendliness. We should figure out a way to make the ARM release work right away.

[emiliosanfilippo]

Hi, I'm trying to run prover9-mace4 on a MacBookPro (os 11.6), Apple M1.
The command line in the previous thread solves partially the problem. Still, the GUI doeesn't work; I get a message saying: prover9-mace4 has encountered a fatal error and will now terminate.

Any idea about how to deal with it?
Thanks

[jaraujo98]

Hello @emiliosanfilippo,

could you please do the following steps and report on the results?

1. Right-click the prover9-mace4.app icon
2. Click Show Package Contents
3. Go to Contents/MacOS
4. Double-click the prover9-mace4 executable
5. A terminal window should open, and print a series of messages. Could you paste here the contents of that terminal window after the app terminates?

Thank you.

[emiliosanfilippo]

Hi @jaraujo98, thanks for the feedback.
The problem is that the executable doesn't work, it terminates saying that is damaged and cannot be opened. I downloaded it twice and got the same issue.