I've forgotten and had to rediscover the different ways of using the community modules more than once, so this documents all of them.
In particular, the JAR has to be added to the classpath, while -DTLA-Library only works for source files. The Toolbox adds things on its "TLA+ library path" to both the classpath and -DTLA-Library.
Feel free to edit.
Also, when would one opt to use CommunityModules.jar over CommunityModules-deps.jar?
I've forgotten and had to rediscover the different ways of using the community modules more than once, so this documents all of them.
In particular, the JAR has to be added to the classpath, while
-DTLA-Libraryonly works for source files. The Toolbox adds things on its "TLA+ library path" to both the classpath and-DTLA-Library.Feel free to edit.
Also, when would one opt to use CommunityModules.jar over CommunityModules-deps.jar?