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

Problems running the toolkit on macOS (10.14.2)

From: raymond....@xxxxxxxxx
Date: Tue, 5 Feb 2019 17:22:13 -0800 (PST)

Is anyone else having problems running the toolkit on the Mac?  When, I click on TLA+ Toolkit in Applications, the screen momentarily flashes and then nothing actually launches.

I tried a manual install from Github and homebrew cask install as well.  Also, I've tried "xattr -dr com.apple.quarantine TLA+\ Toolbox.app".  My Java SDK is current:

$ java --version
openjdk 11.0.2 2019-01-15

Any ideas?

Follow-Ups:
- Re: [tlaplus] Problems running the toolkit on macOS (10.14.2)
  - From: Markus Kuppe

Prev by Date: Re: How does Fairness relate to the State Graph
Next by Date: Re: [tlaplus] Re: Comparison between TLAPS and other proof assitants
Previous by thread: [tlaplus] Re: How does Fairness relate to the State Graph
Next by thread: Re: [tlaplus] Problems running the toolkit on macOS (10.14.2)
Index(es):
- Date
- Thread