search

calebegg / proof-pad-classic

An IDE for ACL2
http://proofpad.org
GNU General Public License v3.0
21 stars 4 forks source link

ProofPad is damaged for OSX? #74

Open danlee0516 opened 8 years ago

danlee0516 commented 8 years ago

I tried opening ProofPad but OSX tells me the app is damaged and can't be opened?

andrewenright commented 8 years ago

I figured out that you need to change your security & privacy settings. Go to system preferences -> security & privacy -> general tab. In the "Allow apps downloaded from:" make sure Anywhere is checked.

If you are running macOS Sierra like I am, there is no "Anywhere" option so paste this in a terminal window to re-enable it.

sudo spctl --master-disable