search

tlaplus / vscode-tlaplus

TLA+ language support for Visual Studio Code
MIT License
346 stars 31 forks source link

TLA+ CommunityModules and vscode-tlaplus #249

Open lemmy opened 2 years ago

lemmy commented 2 years ago

The popularity of the CommunityModules warrants that we bundle (or otherwise) include its jar in the vscode extension.

ZacAttack commented 2 years ago

Community Modules in vscode can be enabled with the following steps:

  1. Download the CommunityModules.jar and CommunityModules-deps.jar from the CommunityModules release page. Be sure to save these jars to a path that vscode has access to (otherwise it fails silently).

  2. Download the prerelease version of tla2tools.jar from the release page. Other releases have some issues similar to whats described here.

  3. In vscode, go to the settings editor and from there go to Extensions->TLA+. In the Tlaplus › Java: Options field, add: -cp /path/to/jars/CommunityModules.jar:/path/to/jars/CommunityModules-deps.jar:/path/to/jars/tla2tools.jar

    Screen Shot 2022-05-05 at 1 22 47 PM

  4. You can additionally specify your java path here if you have multiple versions of java installed. You must have a java version greater then 9 otherwise you will get other errors.

  5. Run check model to verify that everything loads properly. You should be now able to use CommunityModules in your spec!