From 6aaaa3b0156c05ddd1a51b28f14eba91db038270 Mon Sep 17 00:00:00 2001 From: Nikolaj Bjorner Date: Fri, 31 Mar 2023 09:56:23 -0700 Subject: [PATCH] fix #6660 Signed-off-by: Nikolaj Bjorner --- scripts/update_api.py | 1 + 1 file changed, 1 insertion(+) diff --git a/scripts/update_api.py b/scripts/update_api.py index a3d92a7e9..4295b8961 100755 --- a/scripts/update_api.py +++ b/scripts/update_api.py @@ -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)