Karl Palmskog (Jan 23 2023 at 21:40): Karl Palmskog (Jan 23 2023 at 21:40):Whenever I install z3_tptp via opam, it works, thanks to Michael's and my fiddling with compilation options in the package definition. However, for some reason the fiddling doesn't seem to have propagated to the Snap:
$ ldd /snap/coq-prover/current/coq-platform/bin/z3_tptp
linux-vdso.so.1 (0x00007fff08bf6000)
libz3.so => not found
libstdc++.so.6 => /lib/x86_64-linux-gnu/libstdc++.so.6 (0x00007fbde41d6000)
libgcc_s.so.1 => /lib/x86_64-linux-gnu/libgcc_s.so.1 (0x00007fbde46e0000)
libc.so.6 => /lib/x86_64-linux-gnu/libc.so.6 (0x00007fbde3fae000)
libm.so.6 => /lib/x86_64-linux-gnu/libm.so.6 (0x00007fbde3ec7000)
/lib64/ld-linux-x86-64.so.2 (0x00007fbde4717000)
we have /snap/coq-prover/current/coq-platform/lib/stublibs/libz3.so, but it needs to be added manually:
$ LD_LIBRARY_PATH=$LD_LIBRARY_PATH:/snap/coq-prover/current/coq-platform/lib/stublibs /snap/coq-prover/current/coq-platform/bin/z3_tptp -h
Z3tptp [4.11.0.0] (c) 2006-20**. Microsoft Corp.
Last updated: Jun 03 2023 at 04:30 UTC