Skip to content

Instantly share code, notes, and snippets.

@jaredsampson

jaredsampson/README.md

Created January 8, 2019 02:03
Show Gist options
  • Save jaredsampson/d219a36bd36c12c769015ec79e5ec87f to your computer and use it in GitHub Desktop.
Save jaredsampson/d219a36bd36c12c769015ec79e5ec87f to your computer and use it in GitHub Desktop.
Download ZIP
TLA+ Mac App
Raw
README.md

Installing TLA+ via homebrew (brew cask install tla-plus-toolbox) resulted for me in a binary that couldn't launch from a double click in Finder.

Starting from the command line gave the following error:

$ /Applications/TLA+\ Toolbox.app/Contents/MacOS/toolbox
Error occurred during initialization of boot layer
java.lang.module.FindException: Module java.se.ee not found

The solution for this is to follow the toolbox.ini editing instructions here, which amounts to the following substitution. In the file "/Applications/TLA+\ Toolbox.app/Contents/Eclipse/toolbox.ini", before the line -vmargs, add the following two lines to specify which Java virtual machine to use:

-vm
/Library/Java/JavaVirtualMachines/jdk1.8.0_192.jdk/Contents/Home/bin

This of course also assumes that you have the 1.8 JDK installed (download).

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment