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

[tlaplus] Re: New to TLA+ Trying to install 1.7.3 from Github

Hi Andrew,

The latest TLA+ release is available here: https://github.com/tlaplus/tlaplus/releases/latest
This release page says the latest TLA+ Toolbox is available here: https://github.com/tlaplus/tlaplus/releases/tag/v1.7.1#latest-tla-files

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.


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,

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 on the web visit https://groups.google.com/d/msgid/tlaplus/7b52b3f3-97f1-4926-a244-d2e76a860742n%40googlegroups.com.