diff options
| author | Claire Xen <claire@symbioticeda.com> | 2020-12-01 12:31:34 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2020-12-01 12:31:34 +0100 |
| commit | 7b0cfd5c36af774ae255459d4ef0fa0934929902 (patch) | |
| tree | cf7fce2a15b877ca8fbbaa2dba24c6d35e4814bb | |
| parent | ef5b2777c3a6e3abaa0aa24012bd47e2a2c8a4db (diff) | |
| parent | c1f6ce8b33b1c06a4e38b621e27876d5715eb26d (diff) | |
| download | yosys-7b0cfd5c36af774ae255459d4ef0fa0934929902.tar.gz yosys-7b0cfd5c36af774ae255459d4ef0fa0934929902.tar.bz2 yosys-7b0cfd5c36af774ae255459d4ef0fa0934929902.zip | |
Merge pull request #2463 from georgerennie/fix_verilog_frontend_auto_defines
Fix SYNTHESIS always being defined in Verilog frontend
| -rw-r--r-- | frontends/verilog/preproc.cc | 1 | ||||
| -rw-r--r-- | frontends/verilog/verilog_frontend.cc | 3 |
2 files changed, 3 insertions, 1 deletions
diff --git a/frontends/verilog/preproc.cc b/frontends/verilog/preproc.cc index ea23139e2..752f7a7a8 100644 --- a/frontends/verilog/preproc.cc +++ b/frontends/verilog/preproc.cc @@ -321,7 +321,6 @@ struct define_body_t define_map_t::define_map_t() { add("YOSYS", "1"); - add(formal_mode ? "FORMAL" : "SYNTHESIS", "1"); } // We must define this destructor here (rather than relying on the default), because we need to diff --git a/frontends/verilog/verilog_frontend.cc b/frontends/verilog/verilog_frontend.cc index 2e9c9b2e2..5319a45ad 100644 --- a/frontends/verilog/verilog_frontend.cc +++ b/frontends/verilog/verilog_frontend.cc @@ -446,6 +446,9 @@ struct VerilogFrontend : public Frontend { } break; } + + defines_map.add(formal_mode ? "FORMAL" : "SYNTHESIS", "1"); + extra_args(f, filename, args, argidx); log_header(design, "Executing Verilog-2005 frontend: %s\n", filename.c_str()); |