Add community modules to the paths supplied by TLC.

Signed-off-by: Karolis Petrauskas <[email protected]>

Author: kape1395

src/tla2tools.ts

@@ -25,10 +25,12 @@ const NO_ERROR = 0;
 const MIN_TLA_ERROR = 10;           // Exit codes not related to tooling start from this number
 const LOWEST_JAVA_VERSION = 8;
 const DEFAULT_GC_OPTION = '-XX:+UseParallelGC';
+const TLA_CMODS_LIB_NAME = 'CommunityModules-deps.jar';
 const TLA_TOOLS_LIB_NAME = 'tla2tools.jar';
 const TLA_TOOLS_LIB_NAME_END_UNIX = '/' + TLA_TOOLS_LIB_NAME;
 const TLA_TOOLS_LIB_NAME_END_WIN = '\\' + TLA_TOOLS_LIB_NAME;
 const toolsJarPath = path.resolve(__dirname, '../tools/' + TLA_TOOLS_LIB_NAME);
+const cmodsJarPath = path.resolve(__dirname, '../tools/' + TLA_CMODS_LIB_NAME);
 const javaCmd = 'java' + (process.platform === 'win32' ? '.exe' : '');
 const javaVersionChannel = new ToolOutputChannel('TLA+ Java version');
 const TLA_TOOLS_STANDARD_MODULES = '/tla2sany/StandardModules';
@@ -158,7 +160,8 @@ async function runTool(
 
 export function moduleSearchPaths(): string[] {
     return [
-        'jar:file:' + toolsJarPath + '!' + TLA_TOOLS_STANDARD_MODULES
+        'jar:file:' + toolsJarPath + '!' + TLA_TOOLS_STANDARD_MODULES,
+        'jar:file:' + cmodsJarPath + '!' + '/'
     ];
 }