search

laitep / Prover9-Mace4-GUI

Self-contained user interface for Prover9 and Mace4.
GNU General Public License v3.0
0 stars 0 forks source link

MacOS ARM release is damaged #1

Open jaraujo98 opened 9 months ago

jaraujo98 commented 9 months ago

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 commented 4 months ago

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 commented 4 months ago

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 commented 4 months ago

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.

jaraujo98 commented 3 months ago

Hello @emiliosanfilippo,

I'm sorry for not getting back to you sooner. This slipped...

I'll need more information to be able to help you. Could you please open a separate issue and provide

  1. Your OS version and computer hardware
  2. The link to the executable which you are downloading
  3. The exact steps you are taking that lead you to the issue

Thanks!

abdelaziz-mahdy commented 3 days ago

i have the same error so

  1. Apple M2 Pro,14.6.1 (23G93)
  2. https://github.com/laitep/Prover9-Mace4-GUI/releases/download/v1.0.0/prover9-mace4_macOS_arm.zip
  3. just downloading the zip file and extracting it and then running the app image

note: i have vmware fusion so i was able to run it on the windows machine but i am just providing the details incase it can be fixed so i use the macos one

edit: running the command you provided and rerunning the app makes it work without a problem