Stub for binary AIGER

diff --git a/frontends/aiger/aigerparse.cc b/frontends/aiger/aigerparse.cc
index 7f9feee4a0c6f5474bf8ce14fff3e049dd5ec69d..a33110ed006fd3010cb6407b47a0fec1c64522f7 100644 (file)
--- a/frontends/aiger/aigerparse.cc
+++ b/frontends/aiger/aigerparse.cc
@@ -31,6 +31,7 @@ YOSYS_NAMESPACE_BEGIN
 #define log_debug log
 
 static void parse_aiger_ascii(RTLIL::Design *design, std::istream &f, std::string clk_name);
+static void parse_aiger_binary(RTLIL::Design *design, std::istream &f, std::string clk_name);
 
 void parse_aiger(RTLIL::Design *design, std::istream &f, std::string clk_name)
 {
@@ -38,10 +39,10 @@ void parse_aiger(RTLIL::Design *design, std::istream &f, std::string clk_name)
     f >> header;
     if (header == "aag")
         return parse_aiger_ascii(design, f, clk_name);
-    else {
+    else if (header == "aig")
+        return parse_aiger_binary(design, f, clk_name);
+    else
         log_error("Unsupported AIGER file!\n");
-        return;
-    }
 }
 
 static void parse_aiger_ascii(RTLIL::Design *design, std::istream &f, std::string clk_name)
@@ -191,6 +192,10 @@ static void parse_aiger_ascii(RTLIL::Design *design, std::istream &f, std::strin
     module->fixup_ports();
 }
 
+static void parse_aiger_binary(RTLIL::Design *design, std::istream &f, std::string clk_name)
+{
+}
+
 struct AigerFrontend : public Frontend {
        AigerFrontend() : Frontend("aiger", "read AIGER file") { }
        void help() YS_OVERRIDE