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