[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: [tlaplus] Problemas with toolbox release 1.5.5

Hi Markus,

Thank you very much!


2018-01-19 16:51 GMT-02:00 Markus Alexander Kuppe <tlaplus-go...@xxxxxxxxxxx>:
On 19.01.2018 19:45, Pedro Paiva wrote:
> Hi,
> 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!

Hi Pedro,

the problem results from MacOS' security controls. Please follow the
steps outlined in this Github issue [1] 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"


[1] https://github.com/tlaplus/tlaplus/issues/83#issuecomment-336662490

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@googlegroups.com.
To post to this group, send email to tla...@xxxxxxxxxxxxxxxx.
Visit this group at https://groups.google.com/group/tlaplus.
For more options, visit https://groups.google.com/d/optout.

Pedro Yuri Arbs Paiva
Engenheiro Eletrônico
Instituto Tecnológico de Aeronáutica (T-16)
(+55) 12 98106-4129