Stuck on an issue?
Lightrun Answers was designed to reduce the constant googling that comes with debugging 3rd party libraries. It collects links to all the places you might be looking at while hunting down a tough bug.
And, if you’re still stuck at the end, we’re happy to hop on a call to see how we can help out.
Add TLA_PATH environment variable to load modules from
See original GitHub issueRun TLC with -DTLA-Library=/path/to/lib/archive or add the library archive to the Toolbox (File > Preferences > TLA+ Preferences > TLA+ library path locations).
It would be great to have a standard environment variable, e.g., called TLA_PATH. Similar to PATH, PYTHON_PATH, JAVA_LIBRARY_PATH, etc., it would list directories, from which the TLA+ tools would pull the library modules.
Issue Analytics
- State:
- Created 3 years ago
- Comments:7 (4 by maintainers)
Top Results From Across the Web
Understanding the Python Path Environment Variable in Python
To set the python environment variable PYTHONPATH on Mac, follow the given steps: Step 1: Open the Terminal. ... Step 4: Save this...
Read more >Module load-PATH-env variables - Stack Overflow
Just create a directory structure, then add your own numpy/version modulefile in it (such modulefile should define the environment variables ...
Read more >Check and add the module search path with sys.path in Python
Use the environment variable PYTHONPATH to permanently add the module search path. 1. Command line and environment - PYTHONPATH — Python 3.10.0 ...
Read more >13.2.1 Module Search Path Environment Variables
For Python, add folders to the PYTHONPATH environment variable. The value of this variable is a list of paths separated by a semicolon...
Read more >Environment Modules — Modules documentation
Typically modulefiles instruct the module command to alter or set shell environment variables such as PATH , MANPATH , etc.
Read more >
Top Related Medium Post
No results found
Top Related StackOverflow Question
No results found
Troubleshoot Live Code
Lightrun enables developers to add logs, metrics and snapshots to live code - no restarts or redeploys required.
Start Free
Top Related Reddit Thread
No results found
Top Related Hackernoon Post
No results found
Top Related Tweet
No results found
Top Related Dev.to Post
No results found
Top Related Hashnode Post
No results found
util.FilenameToStreamand its subclasses such asutil.SimpleFilenameToStreamSince
TLA_PATHis an alternative to “TLA-Library”, it should work for SANY and the other tools such as TLC.@lemmy what do you think about also adding this as a TLC command line option? You can define additional directories to search for TLA files when running TLC. This would also help when outputting TE specs to a subdirectory; you can switch working directory to that subdirectory, then run TLC on the TE spec while asking TLC to look for the original spec in the parent directory via a command line option. This is also nice because running TLC on a spec identified by absolute path (rather than in current working directory) does not seem to be currently supported.