From 47aac95f64fd696fa19d1036d07852ce857036e7 Mon Sep 17 00:00:00 2001 From: Akash Levy Date: Wed, 5 Feb 2025 05:58:49 -0800 Subject: [PATCH] Fix incdir, ydir, libext issues --- frontends/verific/verific.cc | 8 ++++++++ 1 file changed, 8 insertions(+) diff --git a/frontends/verific/verific.cc b/frontends/verific/verific.cc index ebd3d53eb..0115aa2de 100644 --- a/frontends/verific/verific.cc +++ b/frontends/verific/verific.cc @@ -3881,6 +3881,14 @@ struct VerificPass : public Pass { if (!filename) log_cmd_error("Filename must be specified.\n"); + // SILIMATE: Add include directories, library directories, and library extensions + for (auto &dir : verific_incdirs) + veri_file::AddIncludeDir(dir.c_str()); + for (auto &dir : verific_libdirs) + veri_file::AddYDir(dir.c_str()); + for (auto &ext : verific_libexts) + veri_file::AddLibExt(ext.c_str()); + unsigned analysis_mode = verilog_mode; // keep default as provided by user if not defined in file Array *file_names = veri_file::ProcessFFile(filename, flags, analysis_mode); if (analysis_mode != verilog_mode)