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

Re: [tlaplus] Re: Trouble Running Toolbox on macOS Sierra

Hi Markus

I pasted the output in pastebin: https://pastebin.com/R3X0DrJi

One thing that I noticed is this line:
-vm /Library/Java/JavaVirtualMachines/jdk-9.jdk/Contents/Home/bin/../lib/server/libjvm.dylib

I read somewhere that JDK 9 will be supported by the version 1.5.4 of the toolbox, but is it worth trying to force it to JDK 8, or is there something else going on with the security exception in the trace?

Kind regards

Hi Dave,

yes the directory is create automatically. Your Toolbox appears to be
seriously broken. What do you get when you launch the Toolbox from the
Terminal with:

/Applications/TLA+\ Toolbox.app/Contents/MacOS/toolbox -debug -consoleLog