mirror of
https://github.com/Z3Prover/z3
synced 2025-04-06 17:44:08 +00:00
parent
996e5b1755
commit
6aaaa3b015
|
@ -1825,6 +1825,7 @@ if _lib is None:
|
|||
else:
|
||||
print(" import builtins")
|
||||
print(" builtins.Z3_LIB_DIRS = [ '/path/to/libz3.%s' ] " % _ext)
|
||||
print(_failures)
|
||||
raise Z3Exception("libz3.%s not found." % _ext)
|
||||
|
||||
|
||||
|
|
Loading…
Reference in a new issue