diff options
author | Clifford Wolf <clifford@clifford.at> | 2015-02-01 13:38:46 +0100 |
---|---|---|
committer | Clifford Wolf <clifford@clifford.at> | 2015-02-01 13:38:46 +0100 |
commit | 1df81f92ce171ba63cf0e4d10e6f203ca5f7f64e (patch) | |
tree | 4a8ecd5d257d5e90cb1f02984d05089bedaa9143 /techlibs | |
parent | 3fe2441185057a5d563fb32157f52a7b6c4205fd (diff) | |
download | yosys-1df81f92ce171ba63cf0e4d10e6f203ca5f7f64e.tar.gz yosys-1df81f92ce171ba63cf0e4d10e6f203ca5f7f64e.tar.bz2 yosys-1df81f92ce171ba63cf0e4d10e6f203ca5f7f64e.zip |
Added "make mklibyosys", some minor API changes
Diffstat (limited to 'techlibs')
-rw-r--r-- | techlibs/common/synth.cc | 10 |
1 files changed, 9 insertions, 1 deletions
diff --git a/techlibs/common/synth.cc b/techlibs/common/synth.cc index 5267344bb..69ef5bc55 100644 --- a/techlibs/common/synth.cc +++ b/techlibs/common/synth.cc @@ -55,6 +55,9 @@ struct SynthPass : public Pass { log(" -encfile <file>\n"); log(" passed to 'fsm_recode' via 'fsm'\n"); log("\n"); + log(" -noabc\n"); + log(" do not run abc (as if yosys was compiled without ABC support)\n"); + log("\n"); log(" -run <from_label>[:<to_label>]\n"); log(" only run the commands between the labels (see below). an empty\n"); log(" from label is synonymous to 'begin', and empty to label is\n"); @@ -96,6 +99,7 @@ struct SynthPass : public Pass { { std::string top_module, fsm_opts; std::string run_from, run_to; + bool noabc = false; size_t argidx; for (argidx = 1; argidx < args.size(); argidx++) @@ -119,6 +123,10 @@ struct SynthPass : public Pass { } continue; } + if (args[argidx] == "-noabc") { + noabc = true; + continue; + } break; } extra_args(args, argidx, design); @@ -163,7 +171,7 @@ struct SynthPass : public Pass { } #ifdef YOSYS_ENABLE_ABC - if (check_label(active, run_from, run_to, "abc")) + if (check_label(active, run_from, run_to, "abc") && !noabc) { Pass::call(design, "abc -fast"); Pass::call(design, "opt -fast"); |