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

[Jones Martins <jonesmvc@xxxxxxxxx>]

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.

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 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.