summaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
authorgregory guy <[email protected]>2020-06-11 13:47:08 +0200
committergregory guy <[email protected]>2020-06-11 13:47:08 +0200
commit769ab67533bffd637f80bec1f0edc180d93ff8ea (patch)
treec85fcc8cc4071e9539af4044794ff879643596bc
parent6d5ea6084b427781dfd1486ae6bd1884187fa221 (diff)
downloadtdeedu-769ab67533bffd637f80bec1f0edc180d93ff8ea.tar.gz
tdeedu-769ab67533bffd637f80bec1f0edc180d93ff8ea.zip
Fix detection for the Facile library.
Signed-off-by: gregory guy <[email protected]>
-rw-r--r--kalzium/ConfigureChecks.cmake2
1 files changed, 1 insertions, 1 deletions
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( )