Fix detection for the Facile library.

Signed-off-by: gregory guy <gregory-tde@laposte.net>
pull/12/head
gregory guy 4 년 전
부모 6d5ea6084b
커밋 769ab67533
No known key found for this signature in database
GPG 키 ID: 3BCCA0F7AB4536F4

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

불러오는 중...
취소
저장