Map .eblif extension as blif.

Signed-off-by: litghost <537074+litghost@users.noreply.github.com>

diff --git a/kernel/yosys.cc b/kernel/yosys.cc
index 750a154e633654cacc1ed9e6749c1842de56ddb3..dca27753251530528dc9d133f8b1d88a806f5e29 100644 (file)
--- a/kernel/yosys.cc
+++ b/kernel/yosys.cc
@@ -825,6 +825,8 @@ void run_frontend(std::string filename, std::string command, std::string *backen
                        command = "vhdl";
                else if (filename.size() > 4 && filename.substr(filename.size()-5) == ".blif")
                        command = "blif";
+               else if (filename.size() > 5 && filename.substr(filename.size()-6) == ".eblif")
+                       command = "blif";
                else if (filename.size() > 4 && filename.substr(filename.size()-5) == ".json")
                        command = "json";
                else if (filename.size() > 3 && filename.substr(filename.size()-3) == ".il")