From d8eba2d72f41c4494102d3f039f9db360db99319 Mon Sep 17 00:00:00 2001 From: Nikita Leshenko Date: Sat, 26 Dec 2020 22:27:10 +0200 Subject: [PATCH] scripts/update_api: Replace Z3_LIBRARY_DIRS with Z3_LIB_DIRS (#4915) The error message that is printed when libz3.so can't be loaded contains incorrect instruction to set `Z3_LIBRARY_DIRS` builtin. The correct variable name is `Z3_LIB_DIRS`. Signed-off-by: Nikita Leshenko --- scripts/update_api.py | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/scripts/update_api.py b/scripts/update_api.py index 0697c1793..dcbf7b4fc 100755 --- a/scripts/update_api.py +++ b/scripts/update_api.py @@ -1810,7 +1810,7 @@ if _lib is None: print("Could not find libz3.%s; consider adding the directory containing it to" % _ext) print(" - your system's PATH environment variable,") print(" - the Z3_LIBRARY_PATH environment variable, or ") - print(" - to the custom Z3_LIBRARY_DIRS Python-builtin before importing the z3 module, e.g. via") + print(" - to the custom Z3_LIB_DIRS Python-builtin before importing the z3 module, e.g. via") if sys.version < '3': print(" import __builtin__") print(" __builtin__.Z3_LIB_DIRS = [ '/path/to/libz3.%s' ] " % _ext)