diff options
| author | gregory guy <[email protected]> | 2020-06-11 13:47:08 +0200 |
|---|---|---|
| committer | Slávek Banko <[email protected]> | 2020-06-11 14:59:40 +0200 |
| commit | 595a2303822394984287ff86b1099915826ef70c (patch) | |
| tree | 2878d489a014b4142f120ae1bda12e4856540bfb | |
| parent | 7f58059a31ed250825ece7b14a110726dfbeb89b (diff) | |
| download | tdeedu-595a2303822394984287ff86b1099915826ef70c.tar.gz tdeedu-595a2303822394984287ff86b1099915826ef70c.zip | |
Fix detection for the Facile library.
Signed-off-by: gregory guy <[email protected]>
(cherry picked from commit 769ab67533bffd637f80bec1f0edc180d93ff8ea)
| -rw-r--r-- | kalzium/ConfigureChecks.cmake | 2 |
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( ) |