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

How do I use the command-line tools?

From: James Fisher <jamesh...@xxxxxxxxx>
Date: Mon, 17 Nov 2014 14:02:39 -0800 (PST)

I initially downloaded the .jar file, but couldn't figure out how it is meant to be used. This is what I tried:

> java -jar ~/bin/tla2tools.jar 
no main manifest attribute, in /Users/jhf/bin/tla2tools.jar

I then downloaded the .zip file, and, following the instructions, tried:

> java -cp . tla2sany.SANY -help
Illegal switch: -help
> java -cp . tla2sany.SANY --help
Illegal switch: --help
> java -cp . tla2sany.SANY help

****** SANY2 Version 2.1 created 24 February 2014

Cannot find the specified file help.

Okay, so the website describes the CLI as "one of these commands ... followed by the command arguments, which consist of zero or more switches followed by the name of a  .tla  file." So ... what are those switches? Where is the documentation?

Follow-Ups:
- Re: How do I use the command-line tools?
  - From: Leslie Lamport
- Re: [tlaplus] How do I use the command-line tools?
  - From: Stephan Merz
- Re: [tlaplus] How do I use the command-line tools?
  - From: Markus Alexander Kuppe

Prev by Date: How can I open .tla files in TLA+ Toolbox?
Next by Date: tlaplus.net is down
Previous by thread: Re: Toolbox builds based on recent Eclipse 4.4 (was Re: [tlaplus] How can I open .tla files in TLA+ Toolbox?)
Next by thread: Re: [tlaplus] How do I use the command-line tools?
Index(es):
- Date
- Thread