You are not logged in.
Pages: 1
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
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
Pages: 1