[tlaplus] Re: Installing TLA+ Toolbox on a Silicon Mac

["Frederic Marand (FGM)" <fgmarand@xxxxxxxxx>]

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.

Le mardi 4 février 2025 à 04:02:08 UTC+1, Jonathan Ostroff a écrit :

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. 

-- 
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@xxxxxxxxxxxxxxxx.
To view this discussion visit https://groups.google.com/d/msgid/tlaplus/1444a938-513c-4170-83b4-bde946012407n%40googlegroups.com.