[tlaplus] Installing TLA+ Toolbox on a Silicon Mac

[Jonathan Ostroff <jonathan.s.ostroff@xxxxxxxxx>]

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/415f6c4a-9533-4450-88c7-8fedba9cf292n%40googlegroups.com.