You are not logged in.

#1 2022-08-09 20:31:00

lllrdgz
Member
Registered: 2022-08-09
Posts: 1

Solidity compiler issue

The problem is that the compiler tries to look for the libz3.so.4.8 library but it doesn't find version 4.8, the one it finds is 4.9, maybe just updating the binary and telling it to directly use the latest library, in this case 4.9, solves the problem.

$ solc
solc: error while loading shared libraries: libz3.so.4.8: cannot open shared object file: No such file or directory

Package: https://archlinux.org/packages/communit … /solidity/

Offline

#2 2022-08-09 21:01:28

Trilby
Inspector Parrot
Registered: 2011-11-29
Posts: 30,480
Website

Re: Solidity compiler issue

Yes, it just needs a rebuild.  Normally you could file a bug report for this - but a new version was just released upstream and the package has been flagged out-of-date already, so the maintainer should upgrade it when they get time anyways.

You can rebuild it yourself via the ABS if you need it sooner.


"UNIX is simple and coherent" - Dennis Ritchie; "GNU's Not Unix" - Richard Stallman

Offline

Board footer

Powered by FluxBB