diff options
| author | Alberto Gonzalez <boqwxp@airmail.cc> | 2020-04-10 19:30:22 +0000 |
|---|---|---|
| committer | Alberto Gonzalez <boqwxp@airmail.cc> | 2020-04-15 16:15:50 +0000 |
| commit | b5ecbbef9451ab5648822b02fd8e458cfac49a80 (patch) | |
| tree | 93ad70a6516e4a95482b1ff38cf9d8d5513d2782 /kernel | |
| parent | 7c06cb615745fce4490c1d5b9dcf48d40fa00445 (diff) | |
| download | yosys-b5ecbbef9451ab5648822b02fd8e458cfac49a80.tar.gz yosys-b5ecbbef9451ab5648822b02fd8e458cfac49a80.tar.bz2 yosys-b5ecbbef9451ab5648822b02fd8e458cfac49a80.zip | |
Allow reading file input from stdin, improving REPL experience.
Diffstat (limited to 'kernel')
| -rw-r--r-- | kernel/register.cc | 13 |
1 files changed, 7 insertions, 6 deletions
diff --git a/kernel/register.cc b/kernel/register.cc index af8c1b8e8..ad9d0ac94 100644 --- a/kernel/register.cc +++ b/kernel/register.cc @@ -479,26 +479,27 @@ void Frontend::extra_args(std::istream *&f, std::string &filename, std::vector<s { std::string arg = args[argidx]; - if (arg.compare(0, 1, "-") == 0) + if (arg.compare(0, 1, "-") == 0 && arg != "-") cmd_error(args, argidx, "Unknown option or option in arguments."); if (f != NULL) cmd_error(args, argidx, "Extra filename argument in direct file mode."); - filename = arg; + filename = (arg == "-")? "<stdin>" : arg; + //Accommodate heredocs with EOT marker spaced out from "<<", e.g. "<< EOT" vs. "<<EOT" if (filename == "<<" && argidx+1 < args.size()) filename += args[++argidx]; - if (filename.compare(0, 2, "<<") == 0) { - if (Frontend::current_script_file == NULL) + if (filename.compare(0, 2, "<<") == 0 || filename == "<stdin>") { + if (Frontend::current_script_file == NULL && filename != "<stdin>") log_error("Unexpected here document '%s' outside of script!\n", filename.c_str()); if (filename.size() <= 2) log_error("Missing EOT marker in here document!\n"); - std::string eot_marker = filename.substr(2); + std::string eot_marker = filename == "<stdin>"? "EOT" : filename.substr(2); //"EOT" hardcoded as EOT marker when reading from stdin last_here_document.clear(); while (1) { std::string buffer; char block[4096]; while (1) { - if (fgets(block, 4096, Frontend::current_script_file) == NULL) + if (fgets(block, 4096, filename == "<stdin>"? stdin : Frontend::current_script_file) == NULL) log_error("Unexpected end of file in here document '%s'!\n", filename.c_str()); buffer += block; if (buffer.size() > 0 && (buffer[buffer.size() - 1] == '\n' || buffer[buffer.size() - 1] == '\r')) |