chore:

misonijnik · Oct 28, 2024 · e77a06d · e77a06d
1 parent 7beb238
commit e77a06d
Showing 1 changed file with 1 addition and 2 deletions.
diff --git a/cmake/find_smithril.cmake b/cmake/find_smithril.cmake
@@ -8,9 +8,8 @@
 #===------------------------------------------------------------------------===#
 
 find_package (PkgConfig REQUIRED)
-pkg_check_modules(SMITHRIL REQUIRED IMPORTED_TARGET smithril)
+pkg_check_modules(SMITHRIL IMPORTED_TARGET smithril)
 
-# set(SMITHRIL_FOUND TRUE)
 if (SMITHRIL_FOUND)
   set(ENABLE_SOLVER_SMITHRIL_DEFAULT ON)
 else()