errors · checkdewfpga check

ERROR [yosys-slang-does-not-load]: /Users/you/fpga/yosys-slang/build/slang.so was built for another yosys (brew upgrade yosys leaves it behind), so the SystemVerilog yosys' own reader refuses would not build. Fix: dewfpga install (it rebuilds the reader, about 4 min).

dewfpga check marks the row ✗ and prints this line.

  ✗ yosys-slang      /Users/you/fpga/yosys-slang/build/slang.so does not load in Yosys 0.69
ERROR [yosys-slang-does-not-load]: /Users/you/fpga/yosys-slang/build/slang.so was built for another yosys (brew upgrade yosys leaves it behind), so the SystemVerilog yosys' own reader refuses would not build. Fix: dewfpga install  (it rebuilds the reader, about 4 min). https://nosey-dewdrop.github.io/dewfpga/errors/yosys-slang-does-not-load/

Why does it happen?

yosys-slang is a shared library that links against yosys' own headers and ABI; a new yosys from brew changes them, and the plugin fails to load. Without it, a design that yosys' own reader refuses (interfaces, unpacked arrays, foreach ...) stops with second-reader-missing.

What is the fix?

dewfpga install

Which command prints it?