Re: [tlaplus] How to supply dependencies when using TLC from the command line?

[Markus Kuppe <tlaplus-google-group@xxxxxxxxxxx>]

On 22.02.19 10:12, jwpowell@xxxxxxxxx wrote:
> [...]
> I'm struggling to find
> how to point TLC at a specification which another specification uses.
> [...]


Hi,

TLC defines the "TLA-Library" system property in
SimpleFilenameToStream.java [1] which - when set - adds an extra library
path.  To start TLC with an extra library path run:

java -DTLA-Library=/path/to/extra/libs/ -jar tla2tools.jar ...


What is Bazel?

Thanks
Markus

[1]
https://github.com/tlaplus/tlaplus/blob/master/tlatools/src/util/SimpleFilenameToStream.java

-- 
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 post to this group, send email to tlaplus@xxxxxxxxxxxxxxxx.
Visit this group at https://groups.google.com/group/tlaplus.
For more options, visit https://groups.google.com/d/optout.