You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
Community Modules in vscode can be enabled with the following steps:
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).
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
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.
Run check model to verify that everything loads properly. You should be now able to use CommunityModules in your spec!
lemmy
changed the title
Bundle CommunityModules as part of extension
TLA+ CommunityModules and vscode-tlaplus
May 5, 2022
The popularity of the CommunityModules warrants that we bundle (or otherwise) include its jar in the vscode extension.
The text was updated successfully, but these errors were encountered: