On 19.01.2018 19:45, Pedro Paiva wrote:
> I've just downloaded the new release from TLA toolbox (1.5.5) for Mac,
> but it can't run on my computer (Mac OS high Sierra). A message is
> prompted: "TLA+ Toolbox is damaged and can’t be opened". I downloaded it
> from https://github.com/tlaplus/
tlaplus/releases/tag/v1.5.5. Is someone
> else facing this problem? Thanks!
the problem results from MacOS' security controls. Please follow the
steps outlined in this Github issue  which I copy& pasted below:
1) open a terminal
2) enter command "sudo spctl --master-disable"
3) install app
4) open using finder with ctrl-open
5) tell OSX this app is ok to run... (tla+displays splash image and runs)
6) enter command in terminal - "sudo spctl --master-enable"
You received this message because you are subscribed to the Google Groups "tlaplus" group.
To unsubscribe from this group and stop receiving emails from it, send an email to tlaplus+unsubscribe@
To post to this group, send email to tla...@xxxxxxxxxxxxxxxx.
Visit this group at https://groups.google.com/
For more options, visit https://groups.google.com/d/