[  0%] Building kernel/version_UNKNOWN.cc
[  0%] Building kernel/celltypes.pyh
[  0%] Building kernel/consteval.pyh
[  0%] Building kernel/log.pyh
[  0%] Building kernel/register.pyh
[  0%] Building kernel/rtlil.pyh
[  0%] Building kernel/sigtools.pyh
[  0%] Building kernel/yosys.pyh
[  0%] Building kernel/cost.pyh
[  1%] Building kernel/driver.o
[  1%] Building techlibs/common/simlib_help.inc
[  1%] Building techlibs/common/simcells_help.inc
[  2%] Building kernel/rtlil.o
[  2%] Building kernel/log.o
[  2%] Building kernel/calc.o
[  3%] Building kernel/yosys.o
[  3%] Building kernel/cellaigs.o
[  4%] Building kernel/celledges.o
[  4%] Building libs/bigint/BigIntegerAlgorithms.o
[  5%] Building libs/bigint/BigInteger.o
[  5%] Building libs/bigint/BigIntegerUtils.o
[  5%] Building libs/bigint/BigUnsigned.o
[  6%] Building libs/bigint/BigUnsignedInABase.o
[  6%] Building libs/sha1/sha1.o
[  7%] Building libs/subcircuit/subcircuit.o
[  7%] Building libs/ezsat/ezsat.o
[  7%] Building libs/ezsat/ezminisat.o
[  8%] Building libs/minisat/Options.o
[  8%] Building libs/minisat/SimpSolver.o
[  9%] Building libs/minisat/Solver.o
[  9%] Building libs/minisat/System.o
[ 10%] Building frontends/aiger/aigerparse.o
[ 10%] Building frontends/ast/ast.o
[ 10%] Building frontends/ast/simplify.o
[ 11%] Building frontends/ast/genrtlil.o
[ 11%] Building frontends/ast/dpicall.o
[ 12%] Building frontends/blif/blifparse.o
[ 12%] Building frontends/ilang/ilang_parser.tab.cc
[ 12%] Building frontends/ilang/ilang_lexer.cc
[ 13%] Building frontends/ilang/ilang_frontend.o
[ 13%] Building frontends/json/jsonparse.o
[ 14%] Building frontends/liberty/liberty.o
[ 14%] Building frontends/verific/verific.o
In file included from libs/minisat/Sort.h:24,
                 from libs/minisat/SimpSolver.cc:27:
libs/minisat/Vec.h: In instantiation of ‘void Minisat::vec<T, _Size>::capacity(Minisat::vec<T, _Size>::Size) [with T = Minisat::vec<unsigned int>; _Size = int; Minisat::vec<T, _Size>::Size = int]’:
libs/minisat/Vec.h:119:13:   required from ‘void Minisat::vec<T, _Size>::growTo(Minisat::vec<T, _Size>::Size) [with T = Minisat::vec<unsigned int>; _Size = int; Minisat::vec<T, _Size>::Size = int]’
libs/minisat/IntMap.h:48:58:   required from ‘void Minisat::IntMap<K, V, MkIndex>::reserve(K) [with K = int; V = Minisat::vec<unsigned int>; MkIndex = Minisat::MkIndexDefault<int>]’
libs/minisat/SolverTypes.h:338:49:   required from ‘void Minisat::OccLists<K, Vec, Deleted, MkIndex>::init(const K&) [with K = int; Vec = Minisat::vec<unsigned int>; Deleted = Minisat::SimpSolver::ClauseDeleted; MkIndex = Minisat::MkIndexDefault<int>]’
libs/minisat/SimpSolver.cc:92:26:   required from here
libs/minisat/Vec.h:103:33: warning: ‘void* realloc(void*, size_t)’ moving an object of non-trivially copyable type ‘class Minisat::vec<unsigned int>’; use ‘new’ and ‘delete’ instead [-Wclass-memaccess]
  103 |     ||   (((data = (T*)::realloc(data, (cap += add) * sizeof(T))) == NULL) && errno == ENOMEM) )
      |                        ~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
In file included from libs/minisat/Sort.h:24,
                 from libs/minisat/SimpSolver.cc:27:
libs/minisat/Vec.h:39:7: note: ‘class Minisat::vec<unsigned int>’ declared here
   39 | class vec {
      |       ^~~
In file included from libs/minisat/Alg.h:24,
                 from libs/minisat/Solver.cc:29:
libs/minisat/Vec.h: In instantiation of ‘void Minisat::vec<T, _Size>::capacity(Minisat::vec<T, _Size>::Size) [with T = Minisat::vec<Minisat::Solver::Watcher>; _Size = int; Minisat::vec<T, _Size>::Size = int]’:
libs/minisat/Vec.h:119:13:   required from ‘void Minisat::vec<T, _Size>::growTo(Minisat::vec<T, _Size>::Size) [with T = Minisat::vec<Minisat::Solver::Watcher>; _Size = int; Minisat::vec<T, _Size>::Size = int]’
libs/minisat/IntMap.h:48:58:   required from ‘void Minisat::IntMap<K, V, MkIndex>::reserve(K) [with K = Minisat::Lit; V = Minisat::vec<Minisat::Solver::Watcher>; MkIndex = Minisat::MkIndexLit]’
libs/minisat/SolverTypes.h:338:49:   required from ‘void Minisat::OccLists<K, Vec, Deleted, MkIndex>::init(const K&) [with K = Minisat::Lit; Vec = Minisat::vec<Minisat::Solver::Watcher>; Deleted = Minisat::Solver::WatcherDeleted; MkIndex = Minisat::MkIndexLit]’
libs/minisat/Solver.cc:134:19:   required from here
libs/minisat/Vec.h:103:33: warning: ‘void* realloc(void*, size_t)’ moving an object of non-trivially copyable type ‘class Minisat::vec<Minisat::Solver::Watcher>’; use ‘new’ and ‘delete’ instead [-Wclass-memaccess]
  103 |     ||   (((data = (T*)::realloc(data, (cap += add) * sizeof(T))) == NULL) && errno == ENOMEM) )
      |                        ~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
In file included from libs/minisat/Alg.h:24,
                 from libs/minisat/Solver.cc:29:
libs/minisat/Vec.h:39:7: note: ‘class Minisat::vec<Minisat::Solver::Watcher>’ declared here
   39 | class vec {
      |       ^~~
[ 14%] Building frontends/verilog/verilog_parser.tab.cc
[ 14%] Building frontends/verilog/verilog_lexer.cc
[ 15%] Building frontends/verilog/preproc.o
[ 16%] Building frontends/verilog/verilog_frontend.o
[ 16%] Building frontends/verilog/const2ast.o
[ 17%] Building passes/cmds/add.o
[ 17%] Building passes/cmds/delete.o
[ 18%] Building passes/cmds/design.o
[ 18%] Building passes/cmds/select.o
[ 18%] Building passes/cmds/show.o
[ 19%] Building passes/cmds/rename.o
[ 19%] Building passes/cmds/connect.o
[ 20%] Building passes/cmds/scatter.o
[ 20%] Building passes/cmds/setundef.o
[ 20%] Building passes/cmds/splitnets.o
[ 21%] Building passes/cmds/stat.o
[ 21%] Building passes/cmds/setattr.o
[ 22%] Building passes/cmds/copy.o
[ 22%] Building passes/cmds/splice.o
[ 23%] Building passes/cmds/scc.o
[ 23%] Building passes/cmds/torder.o
[ 23%] Building passes/cmds/logcmd.o
[ 24%] Building passes/cmds/tee.o
[ 24%] Building passes/cmds/write_file.o
[ 25%] Building passes/cmds/connwrappers.o
[ 25%] Building passes/cmds/cover.o
[ 25%] Building passes/cmds/trace.o
[ 26%] Building passes/cmds/plugin.o
[ 26%] Building passes/cmds/check.o
[ 27%] Building passes/cmds/qwp.o
[ 27%] Building passes/cmds/edgetypes.o
[ 28%] Building passes/cmds/chformal.o
[ 28%] Building passes/cmds/chtype.o
[ 28%] Building passes/cmds/blackbox.o
[ 29%] Building passes/cmds/ltp.o
[ 29%] Building passes/cmds/bugpoint.o
[ 30%] Building passes/equiv/equiv_make.o
[ 30%] Building passes/equiv/equiv_miter.o
[ 30%] Building passes/equiv/equiv_simple.o
[ 31%] Building passes/equiv/equiv_status.o
[ 31%] Building passes/equiv/equiv_add.o
[ 32%] Building passes/equiv/equiv_remove.o
[ 32%] Building passes/equiv/equiv_induct.o
[ 33%] Building passes/equiv/equiv_struct.o
[ 33%] Building passes/equiv/equiv_purge.o
[ 33%] Building passes/equiv/equiv_mark.o
[ 34%] Building passes/equiv/equiv_opt.o
[ 34%] Building passes/fsm/fsm.o
[ 35%] Building passes/fsm/fsm_detect.o
[ 35%] Building passes/fsm/fsm_extract.o
[ 36%] Building passes/fsm/fsm_opt.o
[ 36%] Building passes/fsm/fsm_expand.o
[ 36%] Building passes/fsm/fsm_recode.o
[ 37%] Building passes/fsm/fsm_info.o
[ 37%] Building passes/fsm/fsm_export.o
[ 38%] Building passes/fsm/fsm_map.o
[ 38%] Building passes/hierarchy/hierarchy.o
[ 38%] Building passes/hierarchy/uniquify.o
[ 39%] Building passes/hierarchy/submod.o
[ 39%] Building passes/memory/memory.o
[ 40%] Building passes/memory/memory_dff.o
[ 40%] Building passes/memory/memory_share.o
[ 41%] Building passes/memory/memory_collect.o
[ 41%] Building passes/memory/memory_unpack.o
[ 41%] Building passes/memory/memory_bram.o
[ 42%] Building passes/memory/memory_map.o
[ 42%] Building passes/memory/memory_memx.o
[ 43%] Building passes/memory/memory_nordff.o
[ 43%] Building passes/opt/opt.o
[ 43%] Building passes/opt/opt_merge.o
[ 44%] Building passes/opt/opt_muxtree.o
[ 44%] Building passes/opt/opt_reduce.o
[ 45%] Building passes/opt/opt_rmdff.o
[ 45%] Building passes/opt/opt_clean.o
[ 46%] Building passes/opt/opt_expr.o
[ 46%] Building passes/opt/share.o
[ 46%] Building passes/opt/wreduce.o
[ 47%] Building passes/opt/opt_demorgan.o
[ 47%] Building passes/opt/rmports.o
[ 48%] Building passes/opt/opt_lut.o
[ 48%] Building passes/opt/pmux2shiftx.o
[ 48%] Building passes/opt/muxpack.o
[ 48%] Building passes/pmgen/ice40_dsp_pm.h
[ 48%] Building passes/pmgen/peepopt_pm.h
[ 50%] Building passes/proc/proc.o
[ 50%] Building passes/proc/proc_clean.o
[ 51%] Building passes/proc/proc_rmdead.o
[ 51%] Building passes/proc/proc_init.o
[ 51%] Building passes/proc/proc_arst.o
[ 52%] Building passes/proc/proc_mux.o
[ 52%] Building passes/proc/proc_dlatch.o
[ 53%] Building passes/proc/proc_dff.o
[ 53%] Building passes/sat/sat.o
[ 54%] Building passes/sat/freduce.o
[ 54%] Building passes/sat/eval.o
[ 54%] Building passes/sat/sim.o
[ 55%] Building passes/sat/miter.o
[ 55%] Building passes/sat/expose.o
[ 56%] Building passes/sat/assertpmux.o
[ 56%] Building passes/sat/clk2fflogic.o
[ 56%] Building passes/sat/async2sync.o
[ 57%] Building passes/sat/supercover.o
[ 57%] Building passes/sat/fmcombine.o
passes/sat/freduce.cc: In member function ‘void {anonymous}::PerformReduction::analyze(std::vector<std::set<int> >&, std::map<int, int>&, std::vector<int>&, std::string, std::string)’:
passes/sat/freduce.cc:457:55: error: ‘numeric_limits’ is not a member of ‘std’
  457 |                                 out_depth[idx] = std::numeric_limits<int>::max();
      |                                                       ^~~~~~~~~~~~~~
passes/sat/freduce.cc:457:70: error: expected primary-expression before ‘int’
  457 |                                 out_depth[idx] = std::numeric_limits<int>::max();
      |                                                                      ^~~
passes/sat/freduce.cc: In member function ‘void {anonymous}::PerformReduction::analyze(std::vector<std::vector<{anonymous}::equiv_bit_t> >&, int)’:
passes/sat/freduce.cc:531:55: error: ‘numeric_limits’ is not a member of ‘std’
  531 |                                 out_depth[idx] = std::numeric_limits<int>::max();
      |                                                       ^~~~~~~~~~~~~~
passes/sat/freduce.cc:531:70: error: expected primary-expression before ‘int’
  531 |                                 out_depth[idx] = std::numeric_limits<int>::max();
      |                                                                      ^~~
[ 58%] Building passes/sat/mutate.o
[ 58%] Building passes/sat/cutpoint.o
[ 58%] Building passes/techmap/techmap.inc
[ 59%] Building passes/techmap/simplemap.o
[ 59%] Building passes/techmap/dfflibmap.o
make: *** [Makefile:598: passes/sat/freduce.o] Error 1
make: *** Waiting for unfinished jobs....
==> ERROR:(B A failure occurred in build().(B
    Aborting...(B