arts is required not requested as optional

Signed-off-by: gregory guy <g-gregory@gmx.fr>
pull/2/head
gregory guy 5 years ago
parent 7a0f90f280
commit 851cb9c032
No known key found for this signature in database
GPG Key ID: 6EFE0EF249A874C0

@ -48,5 +48,5 @@ endif( BUILD_TRANSLATIONS )
pkg_search_module( ARTS arts )
if( NOT ARTS_FOUND )
message( FATAL_ERROR "\naRts is requested, but was not found on your system" )
tde_message_fatal( "aRts is required, but was not found on your system" )
endif( )

Loading…
Cancel
Save