diff --git a/frontends/aiger/CMakeLists.txt b/frontends/aiger/CMakeLists.txt index 0792d5892..b08a87592 100644 --- a/frontends/aiger/CMakeLists.txt +++ b/frontends/aiger/CMakeLists.txt @@ -1,4 +1,4 @@ -yosys_frontend(aigerparse +yosys_frontend(aiger aigerparse.cc aigerparse.h REQUIRES diff --git a/passes/techmap/CMakeLists.txt b/passes/techmap/CMakeLists.txt index 6c3d54477..bb5896325 100644 --- a/passes/techmap/CMakeLists.txt +++ b/passes/techmap/CMakeLists.txt @@ -83,6 +83,7 @@ yosys_pass(abc9 design opt portarcs + read_aiger read_verilog scc select @@ -90,6 +91,7 @@ yosys_pass(abc9 submod techmap wbflip + write_xaiger ) yosys_pass(abc_new abc_new.cc diff --git a/techlibs/analogdevices/CMakeLists.txt b/techlibs/analogdevices/CMakeLists.txt index 34962f7f8..40ee0dcf4 100644 --- a/techlibs/analogdevices/CMakeLists.txt +++ b/techlibs/analogdevices/CMakeLists.txt @@ -33,6 +33,7 @@ yosys_pass(synth_analogdevices share simplemap stat + synth techmap tribuf wreduce diff --git a/techlibs/fabulous/CMakeLists.txt b/techlibs/fabulous/CMakeLists.txt index ff6c08a0d..f1825cd4f 100644 --- a/techlibs/fabulous/CMakeLists.txt +++ b/techlibs/fabulous/CMakeLists.txt @@ -22,6 +22,7 @@ yosys_pass(synth_fabulous read_verilog share stat + synth techmap tribuf wreduce diff --git a/techlibs/gatemate/CMakeLists.txt b/techlibs/gatemate/CMakeLists.txt index dbd8d745e..2cdca879a 100644 --- a/techlibs/gatemate/CMakeLists.txt +++ b/techlibs/gatemate/CMakeLists.txt @@ -40,6 +40,7 @@ yosys_pass(synth_gatemate share simplemap stat + synth techmap tribuf wreduce diff --git a/techlibs/gowin/CMakeLists.txt b/techlibs/gowin/CMakeLists.txt index f74305818..1ab7ffb10 100644 --- a/techlibs/gowin/CMakeLists.txt +++ b/techlibs/gowin/CMakeLists.txt @@ -31,6 +31,7 @@ yosys_pass(synth_gowin sort splitnets stat + synth techmap tribuf wreduce diff --git a/techlibs/ice40/CMakeLists.txt b/techlibs/ice40/CMakeLists.txt index 86b2e59a2..0d36a163f 100644 --- a/techlibs/ice40/CMakeLists.txt +++ b/techlibs/ice40/CMakeLists.txt @@ -60,6 +60,7 @@ yosys_pass(synth_ice40 share simplemap stat + synth techmap tribuf wreduce diff --git a/techlibs/intel/CMakeLists.txt b/techlibs/intel/CMakeLists.txt index 1f1d30b7a..8b6219699 100644 --- a/techlibs/intel/CMakeLists.txt +++ b/techlibs/intel/CMakeLists.txt @@ -24,6 +24,7 @@ yosys_pass(synth_intel read_verilog setundef stat + synth techmap tribuf wreduce diff --git a/techlibs/intel_alm/CMakeLists.txt b/techlibs/intel_alm/CMakeLists.txt index fa8c7fd46..3eaa8b8e6 100644 --- a/techlibs/intel_alm/CMakeLists.txt +++ b/techlibs/intel_alm/CMakeLists.txt @@ -25,6 +25,7 @@ yosys_pass(synth_intel_alm read_verilog share stat + synth techmap tribuf wreduce diff --git a/techlibs/lattice/CMakeLists.txt b/techlibs/lattice/CMakeLists.txt index 8f0557c27..c4dbd1349 100644 --- a/techlibs/lattice/CMakeLists.txt +++ b/techlibs/lattice/CMakeLists.txt @@ -44,6 +44,7 @@ yosys_pass(synth_lattice share simplemap stat + synth techmap tribuf wreduce diff --git a/techlibs/microchip/CMakeLists.txt b/techlibs/microchip/CMakeLists.txt index 491315f77..020ef5eda 100644 --- a/techlibs/microchip/CMakeLists.txt +++ b/techlibs/microchip/CMakeLists.txt @@ -53,6 +53,7 @@ yosys_pass(synth_microchip share simplemap stat + synth techmap tribuf wreduce diff --git a/techlibs/nanoxplore/CMakeLists.txt b/techlibs/nanoxplore/CMakeLists.txt index db5479ed6..74cd30385 100644 --- a/techlibs/nanoxplore/CMakeLists.txt +++ b/techlibs/nanoxplore/CMakeLists.txt @@ -31,6 +31,7 @@ yosys_pass(synth_nanoxplore setundef share stat + synth techmap tribuf wreduce diff --git a/techlibs/quicklogic/CMakeLists.txt b/techlibs/quicklogic/CMakeLists.txt index 8d7409056..043a5f9cd 100644 --- a/techlibs/quicklogic/CMakeLists.txt +++ b/techlibs/quicklogic/CMakeLists.txt @@ -68,6 +68,7 @@ yosys_pass(synth_quicklogic share shregmap stat + synth techmap tribuf wreduce diff --git a/techlibs/xilinx/CMakeLists.txt b/techlibs/xilinx/CMakeLists.txt index ccc432552..6fab77495 100644 --- a/techlibs/xilinx/CMakeLists.txt +++ b/techlibs/xilinx/CMakeLists.txt @@ -65,6 +65,7 @@ yosys_pass(synth_xilinx simplemap sort stat + synth techmap tribuf wreduce