projects / cvc5.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | patch | inline | side by side (parent: 862dc35)
[CMake] Remove redundant code (#8885)
authorAndres Noetzli <andres.noetzli@gmail.com>
Thu, 16 Jun 2022 18:33:56 +0000 (11:33 -0700)
committerGitHub <noreply@github.com>
Thu, 16 Jun 2022 18:33:56 +0000 (18:33 +0000)
cmake/FindEditline.cmake patch | blob | history

diff --git a/cmake/FindEditline.cmake b/cmake/FindEditline.cmake
index b884a9de4205d636437dcc97268db46008fff47a..f525d7bf74bdf951abf3f278d7997ea768dafc4e 100644 (file)
--- a/cmake/FindEditline.cmake
+++ b/cmake/FindEditline.cmake
@@ -41,9 +41,7 @@ if(Editline_INCLUDE_DIRS)
   unset(CMAKE_REQUIRED_LIBRARIES)
   unset(CMAKE_REQUIRED_INCLUDES)
 
-  if(CMAKE_SYSTEM_NAME STREQUAL "Darwin")
-    set(Editline_LIBRARIES ${Editline_LIBRARIES})
-  else()
+  if(NOT CMAKE_SYSTEM_NAME STREQUAL "Darwin")
     set(Editline_LIBRARIES ${Editline_LIBRARIES} bsd tinfo)
   endif()
 endif()