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).
Thanks,
MC
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?
Thanks
Markus
[1] https://tla.msr-inria.inria.fr/tlatoolbox/ci/dist/