From a91b429e85ffe2ea549eb66a1681dcca8af3e4a4 Mon Sep 17 00:00:00 2001
From: gregory guy <g-gregory@gmx.fr>
Date: Fri, 4 Jan 2019 15:22:28 +0100
Subject: [PATCH] arts is required not requested as optional

Signed-off-by: gregory guy <g-gregory@gmx.fr>
(cherry picked from commit 851cb9c0321d23e28145c795ace887d339d1c391)
---
 ConfigureChecks.cmake | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/ConfigureChecks.cmake b/ConfigureChecks.cmake
index f1eea06..151daf3 100644
--- a/ConfigureChecks.cmake
+++ b/ConfigureChecks.cmake
@@ -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( )