TLC: Specifying directories in which to search for modules

13 views
Skip to first unread message

Aman Shaikh

unread,
Oct 8, 2022, 9:15:10 PM10/8/22
to tla...@googlegroups.com
Hi

Is there a way to provide a list of directories to TLC in which it can search for modules encountered in EXTENDS / INSTANCE statements?

(I looked at all the options by running TLC with -h option, but it didn't seem there was a way to do this.)

thx
aman
Reply all
Reply to author
Forward
0 new messages