From 37c79532fe228f738461e2505b38ed16409b1d41 Mon Sep 17 00:00:00 2001 From: Wilson Snyder Date: Mon, 1 Sep 2025 08:45:01 -0400 Subject: [PATCH] Add VERILATOR_SOLVER to `verilator -V` --- src/V3Options.cpp | 2 ++ 1 file changed, 2 insertions(+) diff --git a/src/V3Options.cpp b/src/V3Options.cpp index 35a81cc48..103d7b593 100644 --- a/src/V3Options.cpp +++ b/src/V3Options.cpp @@ -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";