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

Re: [tlaplus] Problems running the toolkit on macOS (10.14.2)

From: Markus Kuppe <tlaplus-go...@xxxxxxxxxxx>
Date: Tue, 5 Feb 2019 18:53:25 -0800
References: <b76b424d-6818-4054-b83b-9537c544e662@googlegroups.com>

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?
> 

Hi Raymond,

could you please give the latest nightly build [1] a try?  We have
recently fixed problems related to java 11 on macOS.

Thanks
Markus

[1] http://nightly.tlapl.us

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

References:
- Problems running the toolkit on macOS (10.14.2)
  - From: raymond . . . .

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