Toolbox fails to launch on macOS Sierra

[boneskull]

I downloaded v1.5.3, opened the archive, and double-clicked on TLA+ Toolbox.app. The splash came up, but then I received an error alert referring me to a logfile, the contents of which are here.

I should note that the path noted in the log does not actually exist.
/var/folders/7f/7vr9hv5j35zd_0k42n8m4xhw0000gs/T/AppTranslocation/C0F121AC-80E0-4D2B-B2D6-BD2E6600F10F/d/TLA+ Toolbox.app/Contents/MacOS exists, but that directory only contains a toolbox directory. There is no workspace directory.

Workaround: Launching the app from my console via /Applications/TLA+\ Toolbox.app/Contents/MacOS/toolbox does launch the program, however.

[lemmy]

Hi, I can reproduce the behavior when I double-click TLA+ Toolbox.app in the Downloads/ folder. However, if the TLA+ Toolbox.app is first moved to /Applications manually, it opens correctly. As far as I remember, this is a security mechanism of macOS Sierra, such that it sandboxes applications that are run from Downloads/. The Toolbox does not support running in this sandbox.

[boneskull]

moving it to /Applications doesn't seem to have any positive effect for me

[lemmy]

Which version of macOS are you on? I'm on 10.12.5.

[boneskull]

same

[boneskull]

I have SIP disabled, as well. can I verify expected permissions? I've had problems from time-to-time with various unarchiving tools and permissions on the extracted files

[lemmy]

This issue related to a security feature of macOS Sierra called "Translocation" or "Gatekeeper Path Randomization" seems to describe what you are seeing. The gist appears to be, that you have to use the Finder to move the Toolbox to /Applications, which disables Translocation.

Translocation is apparently active for all apps launched from the Downloads/ folder. A Translocation is read-only, which stops the Toolbox from launching.

[enriquefynn]

You need to remove the quarantine flag from the directory, you can do it with:
xattr -dr com.apple.quarantine TLA+\ Toolbox.app

[boneskull]

Thanks, didn't know this. I'll try it now.

[boneskull]

Yes, it works if I use Finder.app to move the file. But I normally use Cocoatech's Path Finder, which doesn't seem to remove the "quarantined" flag!

[bitemyapp]

Moving with Finder.app and xattr -dr com.apple.quarantine TLA+\ Toolbox.app didn't seem to fix TLA+ on High Sierra for me.

[bitemyapp]

Here's the error log — missing libraries?

tla_error.log (300kb plaintext log)

[lemmy]

@bitemyapp Please install Java JDK 1.8 for macOS from http://www.oracle.com/technetwork/java/javase/downloads/jdk8-downloads-2133151.html

[bitemyapp]

@lemmy I think I had the JRE rather than the JDK. I'll try this, thank you!

[tancorko]

/.toolbox
java.lang.module.FindException: Module java.se.ee not found

But JDK is installed.

[lemmy]

@tancorko Which version of the JDK (java -version)?

[tancorko]

@lemmy 8 update 192 (build 1.8.0_192-b12)

[lemmy]

@tancorko That should work fine. Can you try to hardwire the Toolbox to a specific JVM following these instructions? Just replace "eclipse" with "toolbox".

[tancorko]

@lemmy Yes, it works. Thanks a lot!

[jasonkrasavage]

Where in the .ini file do I add the "-vm" and then the path, which for me is "/Library/Java/JavaVirtualMachines/jdk-11.0.1.jdk/Contents/Home/bin/java" if I am interpreting the tutorial correctly?

@lemmy could you lend a hand? Don't want to open a new support threat because my problem is so similar. I've already added the "-clean" right before "-vmargs" and still have the same issue: error and failure to start upon launching.

[lemmy]

@jasonkrasavage Below is how it is done on Linux which is almost identical to macOS.

-startup
plugins/org.eclipse.equinox.launcher_1.5.100.v20180827-1352.jar
--launcher.library
plugins/org.eclipse.equinox.launcher.gtk.linux.x86_64_1.1.800.v20180827-1352
--launcher.defaultAction
openFile
-name
TLA+ Toolbox
--launcher.GTK_version
2
-vm
/usr/lib/jvm/java-8-oracle/bin/
-vmargs
--add-modules=java.se.ee
-XX:+IgnoreUnrecognizedVMOptions
-Xmx1000m
-Dorg.eclipse.equinox.http.jetty.http.port=10996
-Dosgi.splashPath=platform:/base/
-Dosgi.requiredJavaVersion=1.8
-Dosgi.instance.area.default=@user.home/.tlaplus/

[jasonkrasavage]

Believe I have that correct then, what is my issue?

-startup
../Eclipse/plugins/org.eclipse.equinox.launcher_1.4.0.v20161219-1356.jar
--launcher.library
../Eclipse/plugins/org.eclipse.equinox.launcher.cocoa.macosx.x86_64_1.1.551.v20171108-1834
--launcher.defaultAction
openFile
-name
TLA+ Toolbox
-vm
/Library/Java/JavaVirtualMachines/jdk-11.0.1.jdk/Contents/Home/bin/java
-clean
-vmargs
--add-modules=java.se.ee
-XX:+IgnoreUnrecognizedVMOptions
-Xmx1000m
-Dorg.eclipse.equinox.http.jetty.http.port=10996
-Dosgi.splashPath=platform:/base/
-Dosgi.requiredJavaVersion=1.8
-Dosgi.instance.area.default=@user.home/.tlaplus/
-XstartOnFirstThread
-Dorg.eclipse.swt.internal.carbon.smallFonts

[jasonkrasavage]

After reinstalling Java JDK 1.8 for macOS from http://www.oracle.com/technetwork/java/javase/downloads/jdk8-downloads-2133151.html it is working, thank you