Stream: Coq Platform devs & users

Topic: z3_tptp libz3


view this post on Zulip 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)

view this post on Zulip Karl Palmskog (Jan 23 2023 at 21:43):

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 25 2024 at 15:02 UTC