--- CMakeLists.txt
+++ CMakeLists.txt
@@ -246,10 +246,10 @@
 if (Z3_USE_LIB_GMP)
   # Because this is off by default we will make the configure fail if libgmp
   # can't be found
-  find_package(GMP REQUIRED)
+  #find_package(GMP REQUIRED)
   message(STATUS "Using libgmp")
-  list(APPEND Z3_DEPENDENT_LIBS ${GMP_C_LIBRARIES})
-  list(APPEND Z3_COMPONENT_EXTRA_INCLUDE_DIRS ${GMP_INCLUDE_DIRS})
+  list(APPEND Z3_DEPENDENT_LIBS CONAN_PKG::mpir)
+  list(APPEND Z3_COMPONENT_EXTRA_INCLUDE_DIRS "${CMAKE_BINARY_DIR}" ${CONAN_INCLUDE_DIRS})
   list(APPEND Z3_COMPONENT_CXX_DEFINES "-D_MP_GMP")
 else()
   list(APPEND Z3_COMPONENT_CXX_DEFINES "-D_MP_INTERNAL")
