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

Re: [tlaplus] TLA tools

I'm now running into difficulties with Java 11.  Is any TLC (command-line or toolbox) supposed to be working with Java 11?

On Friday, September 7, 2018 at 7:59:58 PM UTC-4, Markus Alexander Kuppe wrote:
On 06.09.2018 04:58, Michel Charpentier wrote:
> Thanks for the help.  Adding --add-modules solves the problem.  Is this
> documented anywhere?
> As a side note, is there a way to run the TLC from the Toolbox using the
> command-line?  Why the need for a separate program?

Hi Michel,

the next Toolbox won't require users to add
"--add-modules=java.activation" on Java 9 onward anymore (see [1]).

Assuming I understand your question correctly, you can run command-line
TLC also from a Toolbox installation. Let /opt/TLA+Toolbox be the path
to the Toolbox installation on Linux :

java -cp /opt/TLA+Toolbox/plugins/org.lamport.tlatools_[0-9.]*/ tlc2.TLC ...

For macOS and the Toolbox installed to /Applications:

java -cp /Applications/TLA+\
tlc2.TLC ...

For Windows:

java -cp (get-item 'C:\Program
Files\TLA+Toolbox\plugins\org.lamport.tlatools_*') tlc2.TLC ...

We provide tla2tools.jar for users who do not want to download the full