From 595a2303822394984287ff86b1099915826ef70c Mon Sep 17 00:00:00 2001 From: gregory guy Date: Thu, 11 Jun 2020 13:47:08 +0200 Subject: [PATCH] Fix detection for the Facile library. Signed-off-by: gregory guy (cherry picked from commit 769ab67533bffd637f80bec1f0edc180d93ff8ea) --- kalzium/ConfigureChecks.cmake | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/kalzium/ConfigureChecks.cmake b/kalzium/ConfigureChecks.cmake index a51abf1b..bb1da003 100644 --- a/kalzium/ConfigureChecks.cmake +++ b/kalzium/ConfigureChecks.cmake @@ -64,7 +64,7 @@ if( WITH_OCAML_SOLVER ) ) endif( ) - if( NOT DEFINED FACILE_LIBRARIES OR NOT DEFINED FACILE_INCLUDE_DIR ) + if( (NOT FACILE_LIBRARIES) OR (NOT FACILE_INCLUDE_DIR) ) tde_message_fatal( "Facile is requested, but was not found on your system" ) endif( )