[tlaplus] SANY command-line -- how to include other libraries?

[Vic Putz <vbputz@xxxxxxxxx>]

I'm trying to mix and match a few emacs/TLA modes together such as Christian Barthel's nice command-line commands probably placed behind a transient porcelain with Davidbrcz's lovely treesitter-based highlighting.  My needs are minimal, which is good (my raw TLA+ skills don't need more than the very basic, but I can't break out of emacs for editing; I use the Toolbox for actual TLC and everything else, just like the pcal translation and SANY check within emacs).

I've run into an annoyance though--if I use external modules such as the community modules, I can set them to load and be used in the IDE, but the command-line of SANY doesn't see them ("Cannot find source file for module Functions imported in module..." etc).

Looking through the SANY source mostly confused me.  I tried adding a " -DTLA-Library=path/to/CommunityModules.jar" which didn't help either.  Is there a way to munge the command line to add the community modules/deps jars to CLI SANY?

-- 
You received this message because you are subscribed to the Google Groups "tlaplus" group.
To unsubscribe from this group and stop receiving emails from it, send an email to tlaplus+unsubscribe@xxxxxxxxxxxxxxxx.
To view this discussion on the web visit https://groups.google.com/d/msgid/tlaplus/6ea74bcf-8459-4206-90eb-a2364aada5c8n%40googlegroups.com.