tlaplus: Toolbox fails to launch on macOS Sierra

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.

About this issue

Original URL
State: closed
Created 7 years ago
Reactions: 2
Comments: 22 (7 by maintainers)

Most upvoted comments

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

enriquefynn on Jun 16, 2017

@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/

lemmy on Nov 11, 2018

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 on Oct 6, 2017

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.

lemmy on Jun 2, 2017