[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: [tlaplus] TLA tools
Command-line tools work with Java 11 using the build you pointed to. As for the toolbox, I edited the Info.plist to use Java 10 (it won't start at all on Java 11).
On Thursday, November 15, 2018 at 11:15:10 AM UTC-5, Markus Alexander Kuppe wrote:
On 15.11.18 08:03, Markus Kuppe wrote:
> On 15.11.18 05:34, Michel Charpentier wrote:
>> I'm now running into difficulties with Java 11. Is any TLC
>> (command-line or toolbox) supposed to be working with Java 11?
> Hi Michel,
> Java 11 hasn't been tested extensively and for now I would advise to
> keep using Java 1.8. That said, TLC and SANY both work with Oracle Java
> 11.0.1 x86_64 here.
> What difficulties do you actually see?
Can you please also check if the current nightly build  fixes your