diff options
author | Eddie Hung <eddie@fpgeh.com> | 2019-11-19 13:24:48 -0800 |
---|---|---|
committer | Eddie Hung <eddie@fpgeh.com> | 2019-11-19 13:24:48 -0800 |
commit | 84711f0e8c842b7309c7f1eff375cb757b41755b (patch) | |
tree | 1e9aedc907599759a2a63742e95b23e0eefe3a2e /frontends/verific | |
parent | 7ea0a5937ba2572f6d9d62e73e24df480c49561d (diff) | |
download | yosys-84711f0e8c842b7309c7f1eff375cb757b41755b.tar.gz yosys-84711f0e8c842b7309c7f1eff375cb757b41755b.tar.bz2 yosys-84711f0e8c842b7309c7f1eff375cb757b41755b.zip |
Print help message for verific pass
Diffstat (limited to 'frontends/verific')
-rw-r--r-- | frontends/verific/verific.cc | 21 |
1 files changed, 12 insertions, 9 deletions
diff --git a/frontends/verific/verific.cc b/frontends/verific/verific.cc index a5c4aa26a..e88702087 100644 --- a/frontends/verific/verific.cc +++ b/frontends/verific/verific.cc @@ -2073,8 +2073,10 @@ struct VerificPass : public Pass { { static bool set_verific_global_flags = true; - if (check_noverific_env()) + if (check_noverific_env()) { + help(); log_cmd_error("This version of Yosys is built without Verific support.\n"); + } log_header(design, "Executing VERIFIC (loading SystemVerilog and VHDL designs using Verific).\n"); @@ -2395,7 +2397,7 @@ struct VerificPass : public Pass { else { if (argidx == GetSize(args)) - log_cmd_error("No top module specified.\n"); + cmd_error(arg, argidx, "No top module specified.\n"); Array veri_modules, vhdl_units; for (; argidx < GetSize(args); argidx++) @@ -2481,7 +2483,7 @@ struct VerificPass : public Pass { goto check_error; } - log_cmd_error("Missing or unsupported mode parameter.\n"); + cmd_error(args, argidx, "Missing or unsupported mode parameter.\n"); check_error: if (!verific_error_msg.empty()) @@ -2490,6 +2492,7 @@ struct VerificPass : public Pass { } #else /* YOSYS_ENABLE_VERIFIC */ void execute(std::vector<std::string>, RTLIL::Design *) YS_OVERRIDE { + help(); log_cmd_error("This version of Yosys is built without Verific support.\n"); } #endif @@ -2548,14 +2551,14 @@ struct ReadPass : public Pass { static bool use_verific = verific_available; if (args.size() < 2 || args[1][0] != '-') - log_cmd_error("Missing mode parameter.\n"); + cmd_error(args, 1, "Missing mode parameter.\n"); if (args[1] == "-verific" || args[1] == "-noverific") { if (args.size() != 2) - log_cmd_error("Additional arguments to -verific/-noverific.\n"); + cmd_error(args, 1, "Additional arguments to -verific/-noverific.\n"); if (args[1] == "-verific") { if (!verific_available) - log_cmd_error("This version of Yosys is built without Verific support.\n"); + cmd_error(args, 1, "This version of Yosys is built without Verific support.\n"); use_verific = true; } else { use_verific = false; @@ -2564,7 +2567,7 @@ struct ReadPass : public Pass { } if (args.size() < 3) - log_cmd_error("Missing file name parameter.\n"); + cmd_error(args, 3, "Missing file name parameter.\n"); if (args[1] == "-vlog95" || args[1] == "-vlog2k") { if (use_verific) { @@ -2596,7 +2599,7 @@ struct ReadPass : public Pass { args[0] = "verific"; Pass::call(design, args); } else { - log_cmd_error("This version of Yosys is built without Verific support.\n"); + cmd_error(args, 1, "This version of Yosys is built without Verific support.\n"); } return; } @@ -2643,7 +2646,7 @@ struct ReadPass : public Pass { return; } - log_cmd_error("Missing or unsupported mode parameter.\n"); + cmd_error(args, 1, "Missing or unsupported mode parameter.\n"); } } ReadPass; |