Auto-detect JSON front-end

diff --git a/kernel/yosys.cc b/kernel/yosys.cc
index fd5a3504afc89484e80316306e69c4cf0ab66db9..e5b22eba710786b8a6290cc8016b24a606339ba0 100644 (file)
--- a/kernel/yosys.cc
+++ b/kernel/yosys.cc
@@ -792,6 +792,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() > 4 && filename.substr(filename.size()-5) == ".json")
+                       command = "json";
                else if (filename.size() > 3 && filename.substr(filename.size()-3) == ".il")
                        command = "ilang";
                else if (filename.size() > 3 && filename.substr(filename.size()-3) == ".ys")