summaryrefslogtreecommitdiff
path: root/kernel/driver.cc
diff options
context:
space:
mode:
Diffstat (limited to 'kernel/driver.cc')
-rw-r--r--kernel/driver.cc10
1 files changed, 5 insertions, 5 deletions
diff --git a/kernel/driver.cc b/kernel/driver.cc
index 87109f53..83374c4b 100644
--- a/kernel/driver.cc
+++ b/kernel/driver.cc
@@ -101,12 +101,14 @@ static void run_backend(std::string filename, std::string command, RTLIL::Design
command = "verilog";
else if (filename.size() > 3 && filename.substr(filename.size()-3) == ".il")
command = "ilang";
+ else if (filename.size() > 5 && filename.substr(filename.size()-5) == ".blif")
+ command = "blif";
else if (filename == "-")
command = "ilang";
else if (filename.empty())
return;
else
- log_error("Can't guess frontend for input file `%s' (missing -f option)!\n", filename.c_str());
+ log_error("Can't guess backend for output file `%s' (missing -b option)!\n", filename.c_str());
}
if (filename.empty())
@@ -461,7 +463,6 @@ int main(int argc, char **argv)
printf("%s\n", yosys_version_str);
exit(0);
case 'S':
- backend_command = "verilog -noattr";
passes_commands.push_back("hierarchy");
passes_commands.push_back("proc");
passes_commands.push_back("opt");
@@ -557,10 +558,9 @@ int main(int argc, char **argv)
fprintf(stderr, " print version information and exit\n");
fprintf(stderr, "\n");
fprintf(stderr, "The option -S is an alias for the following options that perform a simple\n");
- fprintf(stderr, "transformation of the input to a gate-level netlist. This can be helpful when\n");
- fprintf(stderr, "e.g. using yosys as a pre-processor for a tool that can't understand full verilog.\n");
+ fprintf(stderr, "transformation of the input to a gate-level netlist.\n");
fprintf(stderr, "\n");
- fprintf(stderr, " -b 'verilog -noattr' -p hierarchy -p proc -p opt -p memory -p opt -p techmap -p opt\n");
+ fprintf(stderr, " -p hierarchy -p proc -p opt -p memory -p opt -p techmap -p opt\n");
fprintf(stderr, "\n");
fprintf(stderr, "For more complex synthesis jobs it is recommended to use the read_* and write_*\n");
fprintf(stderr, "commands in a script file instead of specifying input and output files on the\n");