From a626b0ae35e6c91da064bf49b266b166f3f33ec2 Mon Sep 17 00:00:00 2001
From: Absoler-in-seclab_zkb-csmith <1045607979@qq.com>
Date: Sat, 11 Mar 2023 11:35:44 +0000
Subject: [PATCH] libz3.a should be in the lib/ dir

---
 CMakeLists.txt | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/CMakeLists.txt b/CMakeLists.txt
index 664f961..763bb5e 100644
--- a/CMakeLists.txt
+++ b/CMakeLists.txt
@@ -83,7 +83,7 @@ if(CMAKE_BUILD_TYPE MATCHES "Debug")
 else()
     find_library(Z3_LIBRARIES NAMES libz3.a libz3.so
             HINTS $ENV{Z3_DIR}
-            PATH_SUFFIXES bin)
+            PATH_SUFFIXES lib)
     find_path(Z3_INCLUDES NAMES z3++.h
             HINTS $ENV{Z3_DIR}
             PATH_SUFFIXES include z3)