From bf6c0074f2cc176595b45ad7f3c8d893b888b457 Mon Sep 17 00:00:00 2001 From: Michael Andres Date: Mon, 20 Jul 2009 13:16:29 +0200 Subject: [PATCH] Fix FindSatsolver cmake file --- cmake/modules/FindSatsolver.cmake | 5 +++-- 1 file changed, 3 insertions(+), 2 deletions(-) diff --git a/cmake/modules/FindSatsolver.cmake b/cmake/modules/FindSatsolver.cmake index 846fdd0..1c462bf 100644 --- a/cmake/modules/FindSatsolver.cmake +++ b/cmake/modules/FindSatsolver.cmake @@ -1,10 +1,11 @@ -if(SATSOLVER_INCLUDE_DIR AND SATSOLVER_LIBRARY) +if(SATSOLVER_INCLUDE_DIR AND SATSOLVER_LIBRARY AND SATSOLVER_EXT_LIBRARY) # Already in cache, be silent set(SATSOLVER_FIND_QUIETLY TRUE) -endif(SATSOLVER_INCLUDE_DIR AND SATSOLVER_LIBRARY) +endif(SATSOLVER_INCLUDE_DIR AND SATSOLVER_LIBRARY AND SATSOLVER_EXT_LIBRARY) set(SATSOLVER_LIBRARY) +set(SATSOLVER_EXT_LIBRARY) set(SATSOLVER_INCLUDE_DIR) FIND_PATH(SATSOLVER_INCLUDE_DIR satsolver/solvable.h -- 2.7.4