python解释器下安装z3_python z3库问题“ builtins.Z3_LIB_DIRS = [ '/path/to/libz3.so' ]”

当出现如下问题说明z3 库的环境没有找到

Could not find libz3.so; consider adding the directory containing it to

- your system's PATH environment variable,

- the Z3_LIBRARY_PATH environment variable, or

- to the custom Z3_LIBRARY_DIRS Python-builtin before importing the z3 module, e.g. via

import builtins

builtins.Z3_LIB_DIRS = [ '/path/to/libz3.so' ]

root@win-node01:/data# cat /etc/ld.so.conf

include /etc/ld.so.conf.d/*.conf

/opt/z3/bin/

/opt/z3/bin/libz3.so:

/sbin/ldconfig.real: Can't open directory /opt/z3/bin/libz3.so: Not a directory

/lib:

/usr/lib:

root@win-node01:~# vim /etc/ld.so.conf

root@win-node01:~#

root@win-node01:~#

root@win-node01:~# ldconfig -v

/sbin/ldconfig.real: Can't stat /usr/local/lib/x86_64-linux-gnu: No such file or directory

/sbin/ldconfig.real: Path `/lib/x86_64-linux-gnu' given more than once

/sbin/ldconfig.real: Path `/usr/lib/x86_64-linux-gnu' given more than once

/usr/lib/x86_64-linux-gnu/libfakeroot:

libfakeroot-0.so -> libfakeroot-tcp.so

/usr/local/lib:

/lib/x86_64-linux-gnu:

liblvm2cmd.so.2.02 -> liblvm2cmd.so.2.02

libkmod.so.2 -> libkmod.so.2.3.2

liblzo2.so.2 -> liblzo2.so.2.0.0

libss.so.2 -> libss.so.2.0

.

.

libpciaccess.so.0 -> libpciaccess.so.0.11.1

libsigsegv.so.2 -> libsigsegv.so.2.0.5

libxcb-glx.so.0 -> libxcb-glx.so.0.0.0

libmenuw.so.5 -> libmenuw.so.5.9

/opt/z3/bin:

libz3java.so -> libz3java.so

libz3.so -> libz3.so

/lib:

/usr/lib: