rpp_setup: Fail early when user selects wrong CSS directory

diff --git a/rpp/rpp/rpp_setup.m b/rpp/rpp/rpp_setup.m
index 440057d02f4b6755bb7acae80275335be5409a3b..477dc2b635a04b4a3c424443666b5c5772c60b74 100644 (file)
--- a/rpp/rpp/rpp_setup.m
+++ b/rpp/rpp/rpp_setup.m
@@ -53,6 +53,12 @@ function rpp_setup()
     TargetRoot   = fix_slash(currentPath);
     RppLibRoot   = fullfile(fileparts(TargetRoot), 'lib');
 
+    armcl = fullfile(CompilerRoot, 'bin', 'armcl');
+    if ~exist(armcl),
+        disp(sprintf('Error: "%s" does not exist!', armcl));
+        return;
+    end
+
     % Save preferences
     if ispref('rpp')
         rmpref('rpp');