Hi Andrew,
Since you're on Linux, I'd recommend you install the Toolbox through the .deb file. That's how I did it haha
If you can't install the Toolbox through the .deb file:
- Download the TLAToolbox .zip file,
- Extract the toolbox directory, and either:
- Add this directory to your PATH variable or
- Create a symlink in some directory that belongs to your PATH variable, maybe ~/.local/bin.
I can also recommend you use
tla-bin to download and install the most recent TLC version, and add a
tlc command to your command line. This is their URL with further documentation:
https://github.com/pmer/tla-bin
As an alternative to the TLA+ Toolbox, you might also like the VSCode TLA+ extension.
Best,
Jones
On Thursday 14 March 2024 at 16:18:18 UTC-3 Andrew Frances wrote:
Hi Folks:
I am new to TLA+. I don't do much Java these days. I downloaded 1.7.3 and untarred it. I looked at the Linux instructions. I have looked at the Read.me. I cannot seem to find instructions on stuff like setting up the classpath. How do I run the toolbox? Any help would be appreciated. Also perhaps I can help update the Linux instructions?
Thank you,
Andrew
You received this message because you are subscribed to a topic in the Google Groups "tlaplus" group.
To unsubscribe from this topic, visit https://groups.google.com/d/topic/tlaplus/x8seO38f2mk/unsubscribe.
To unsubscribe from this group and all its topics, send an email to tlaplus+unsubscribe@xxxxxxxxxxxxxxxx.
To view this discussion on the web visit https://groups.google.com/d/msgid/tlaplus/7b52b3f3-97f1-4926-a244-d2e76a860742n%40googlegroups.com.