[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?
> Thanks
> Markus

Can you please also check if the current nightly build [1] fixes your
incompatibility issues?


[1] https://tla.msr-inria.inria.fr/tlatoolbox/ci/dist/