[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?
the next Toolbox won't require users to add
"--add-modules=java.activation" on Java 9 onward anymore (see ).
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+\
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