search

chipsalliance / synlig

SystemVerilog support for Yosys
Apache License 2.0
160 stars 21 forks source link

glibc version mismatch #1832

Open Andrea-Spitale opened 1 year ago

Andrea-Spitale commented 1 year ago

Hi, I face the very same issue as https://github.com/antmicro/yosys-systemverilog/issues/1776.

How did you solve it? Is it just a matter of updating glibc? I am using a dockerized version of openlane, which includes yosis, hence updating glibc is not really straightforward, and I am running Ubuntu 22.04 thourhg windows subsystem for linux. EDIT: the error I am getting is "ERROR: Can't load module ./systemverilog': /lib64/libm.so.6: versionGLIBC_2.29' not found (required by /build/bin/../share/yosys/plugins/systemverilog.so)" Thanks!

tgorochowik commented 1 year ago

Hi, we're working on improving the releases we produce to get rid of the dependencies on a specific GLIBC version

Andrea-Spitale commented 1 year ago

Hi @tgorochowik Thanks for your reply. I'll wait then :)

wormyrocks commented 1 year ago

FWIW, I got around this by installing oss-cad-suite and copying the yosys binary from the antmicro release over the one from oss-cad-suite. Then installing the systemverilog plugin as usual.

gmlarumbe commented 1 year ago

FWIW, I got around this by installing oss-cad-suite and copying the yosys binary from the antmicro release over the one from oss-cad-suite. Then installing the systemverilog plugin as usual.

This one worked for me. However with this workaround the ghdl plugin bundled with oss-cad-suite will not load anymore:

yosys> plugin -i ghdl
ERROR: Can't load module `./ghdl': libffi.so.7: cannot open shared object file: No such file or directory
Seyviour commented 10 months ago

FWIW, I got around this by installing oss-cad-suite and copying the yosys binary from the antmicro release over the one from oss-cad-suite. Then installing the systemverilog plugin as usual.

Hello. I have the GLIBC mismatch problem running yosys from oss-cad-suite on Ubuntu 22.04. I've tried searching for the antmicro yosys release but I can't seem to find it; could you kindly point me to where I could get it?