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

How to build Codeplex Tlaplus Tools?



Dear Tlaplus Tools experts,

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 tlaplus/tlatools
* 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 version?

Have I compiled all the tools (i.e. TLC, SANY, etc.)?

What should I do to run this new version in my OSX?

Thanks,
Marc