[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: [tlaplus] How to build Codeplex Tlaplus Tools?
On 08.03.2015 11:50, marc magrans de abril wrote:
> I have performed the following steps:
> * Cloned the Git repo in https://tlaplus.codeplex.com/
> * Compile the default target of the customBuild.xml file under
> * This generates a tla2tools.jar
> I wonder if that's all I need to compile all the tools. Is it?
> Do you have any instructions on the procedure to compile and run a new
> Have I compiled all the tools (i.e. TLC, SANY, etc.)?
> What should I do to run this new version in my OSX?
if you just want the tools  but don't want the TLA Toolbox ,
tla2tools.jar is all you really need (you could have downloaded  the
tools from the web instead of compiling manually).
In order to run the individual tools, just add tla2tools.jar to java's
java -cp tla2tools.jar tlc2.TLC
java -cp tla2tools.jar tla2sany.SANY
java -cp tla2tools.jar pcal.trans
java -cp tla2tools.jar tla2tex.TLA
When it comes to the tools' arguments, the source files directly are a
good source of information. See tlc2.TLC , pcal.trans ,
tla2sany.SANY  and tla2tex.TLA .
May I ask why you don't want to use the Toolbox ? It provides an easy
entry into TLA+ and a graphical front-end for the tools.