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.

[enriquefynn]

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

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