[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: [tlaplus] Problems running the toolkit on macOS (10.14.2)
On 05.02.19 17:22, raymond....@xxxxxxxxx wrote:
> 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?
could you please give the latest nightly build  a try? We have
recently fixed problems related to java 11 on macOS.