mirror of
https://github.com/AdaCore/OpenUxAS.git
synced 2026-02-12 13:07:16 -08:00
RunLmcpGen.py is renamed to run_lmcpgen.py, to be consistent with python module naming guidelines. run_lmcpgen.py is now wrapped by a shell script, `run-lmcpgen`. This allows it to be used without requiring the user to manually activate the python venv - just like run-example or anod. This also means that the user is prompted to install infrastructure it needed. Logging in run_lmcpgen.py is much improved: it is more verbose on info (communicates what is being done to the user) and more accurate on warning and critical (actually explain the problem correctly) and provide remedial action (run anod devel-setup). Logger config for run_lmcpgen.py and run-example.py is regularized and refactored into uxas.util.logging - this eliminates redundant code between the two files. e3 is still not required, but is used if available. A workflow has been added to GitHub Actions to test the invocation of run-lmcpgen automatically.