import abc command into zabc to protect against yosys hq changes

Author: tdbesson

src/CMakeLists.txt

@@ -18,6 +18,7 @@ add_library(wildebeest SHARED
     zopt_const_dff.cc
     zqcsat.cc
     zsimplemap.cc
+    zabc.cc
     ${CMAKE_CURRENT_BINARY_DIR}/version.h
 )
 target_include_directories(wildebeest

src/synth_fpga.cc

@@ -2395,7 +2395,7 @@ struct SynthFpgaPass : public ScriptPass
 
     if (opt == "") {
        log_header(yosys_get_design(), "Performing OFFICIAL PLATYPUS optimization\n");
-       run("abc -lut " + sc_syn_lut_size);
+       run("zabc -lut " + sc_syn_lut_size);
        return;
     }
 
@@ -2459,7 +2459,7 @@ struct SynthFpgaPass : public ScriptPass
 
     log_header(yosys_get_design(), "Calling ABC script in '%s' mode\n", mode.c_str());
 
-    run("abc -script " + abc_script);
+    run("zabc -script " + abc_script);
   }
 
   // -------------------------