luke
/
verilator
mirror of https://github.com/verilator/verilator.git
1
0
Fork 0
Code Issues Packages Projects Releases Wiki Activity

Add VERILATOR_SOLVER to `verilator -V`

This commit is contained in:
Wilson Snyder 2025-09-01 08:45:01 -04:00
parent 4bf2d0d755
commit 37c79532fe
1 changed files with 2 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
src/V3Options.cpp
View File

@ -2091,6 +2091,7 @@ void V3Options::showVersion(bool verbose) {
cout << " SYSTEMC_INCLUDE = " << DEFENV_SYSTEMC_INCLUDE << "\n";
cout << " SYSTEMC_LIBDIR = " << DEFENV_SYSTEMC_LIBDIR << "\n";
cout << " VERILATOR_ROOT = " << DEFENV_VERILATOR_ROOT << "\n";
cout << " VERILATOR_SOLVER = " << DEFENV_VERILATOR_SOLVER << "\n";
cout << " SystemC system-wide = " << cvtToStr(systemCSystemWide()) << "\n";
// If update below, also update V3Options::getenvBuiltins()
@ -2106,6 +2107,7 @@ void V3Options::showVersion(bool verbose) {
// wrapper uses VERILATOR_BIN
cout << " VERILATOR_BIN = " << V3Os::getenvStr("VERILATOR_BIN", "") << "\n";
cout << " VERILATOR_ROOT = " << V3Os::getenvStr("VERILATOR_ROOT", "") << "\n";
cout << " VERILATOR_SOLVER = " << V3Os::getenvStr("VERILATOR_SOLVER", "") << "\n";
// If update below, also update V3Options::getSupported()
cout << "\n";