Re: [tlaplus] problems with the command-line tools

[Markus Kuppe <tlaplus-google-group@xxxxxxxxxxx>]

On 14.03.19 10:36, Brian Beckman wrote:
> Hello --- 
> 
> I'd be grateful for a little help running the command-line tools on
> Windows. I have placed them in this directory
> 
> [...]


Hi Brian,

in the spec/model directory you want to run:

java -cp C:\Users\bbeckman\tla\tla tlc2.TLC wire.tla

but it will break on Java 11.  Alternatively, you could just let the
Toolbox handle all of it for you.

Cheers
Markus

-- 
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 post to this group, send email to tlaplus@xxxxxxxxxxxxxxxx.
Visit this group at https://groups.google.com/group/tlaplus.
For more options, visit https://groups.google.com/d/optout.