Installing TLA+ Toolbox on a Silicon Mac

30 views

Skip to first unread message

Jonathan Ostroff

unread,

Feb 3, 2025, 10:02:08 PMFeb 3

to tlaplus

I have TLAToolbox-1.7.4-macosx.cocoa.x86_64.zip installed on an older Mac. I have a new Mac Silicon. What are the prerequisites for the latest TLA+ Toolbox/TLC. There is no Java yet on the new laptop. I note that https://github.com/tlaplus/tlaplus/releases shows version 1.8 but no MacOs version. Does that mean that I would have to install the older version (with rosetta/java x86). What are the steps for the install?

I would prefer to wait if there is a silicon 1.8 in the works.

Thank you.

Frederic Marand (FGM)

unread,

Feb 4, 2025, 7:20:11 AMFeb 4

to tlaplus

Just installed it yesterday. You need to have Rosetta installed - to support the current x86-64 build - which is something I found I had to do pretty much the first week I got that machine anyway. Then get a JVM. For some reason there was already OpenJDK on the machine, and the homebrew docs say it is provided by macOS. Possibly as part of the XCode CLI tools, which I always install right after receiving a new mac.

Reply all

Reply to author

Forward

0 new messages