Fix detection for the Facile library.

Signed-off-by: gregory guy <gregory-tde@laposte.net>
(cherry picked from commit 769ab67533)
r14.0.x
gregory guy 4 years ago committed by Slávek Banko
parent 7f58059a31
commit 595a230382
No known key found for this signature in database
GPG Key ID: 608F5293A04BE668

@ -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( )

Loading…
Cancel
Save