From 3a104c0760b911e7adb6d99192582a4aa6698b38 Mon Sep 17 00:00:00 2001 From: Dave Parker Date: Sat, 17 Oct 2015 07:35:17 +0000 Subject: [PATCH] Highlight some error messages in the Makefile. git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@10788 bbc10eb1-c90d-0410-af57-cb519fbb1720 --- prism/Makefile | 10 +++++----- 1 file changed, 5 insertions(+), 5 deletions(-) diff --git a/prism/Makefile b/prism/Makefile index 8674009e..cb677255 100644 --- a/prism/Makefile +++ b/prism/Makefile @@ -584,7 +584,7 @@ clean_strat: checks checks: @(if [ "$(OSTYPE)" != "linux" -a "$(OSTYPE)" != "solaris" -a "$(OSTYPE)" != "cygwin" -a "$(OSTYPE)" != "darwin" ]; then \ - echo "To compile PRISM, the environment variable OSTYPE"; \ + echo "\033[33mTo compile PRISM, the environment variable OSTYPE"; \ echo "must be set to one of: linux, solaris, cygwin or darwin,"; \ echo "depending on which operating system you are using."; \ echo "This is not the case on your system. Please specify"; \ @@ -598,7 +598,7 @@ checks: exit 1; \ fi; \ if [ "$(JAVA_DIR)" = "" ]; then \ - echo "PRISM was unable to find the directory which contains"; \ + echo "\033[33mPRISM was unable to find the directory which contains"; \ echo "your Java distribution. Please specify this manually to"; \ echo "make, as in these examples:"; \ echo; \ @@ -613,16 +613,16 @@ checks: exit 1; \ fi; \ if [ ! -d "$(JAVA_DIR)" ]; then \ - echo "Java directory \"$(JAVA_DIR)\" does not exist."; \ + echo "\033[33mJava directory \"$(JAVA_DIR)\" does not exist."; \ exit 1; \ fi; \ if [ ! -f "$(JAVA_JNI_H_DIR)"/jni.h ]; then \ - echo "Could not locate JNI header jni.h within \"$(JAVA_DIR)\"."; \ + echo "\033[33mCould not locate JNI header jni.h within \"$(JAVA_DIR)\"."; \ echo "You may need to set JAVA_DIR by hand. See the PRISM manual for details."; \ exit 1; \ fi; \ if [ ! -f "$(JAVA_JNI_MD_H_DIR)"/jni_md.h ]; then \ - echo "Could not locate JNI header jni_md.h within \"$(JAVA_DIR)\"."; \ + echo "\033[33mCould not locate JNI header jni_md.h within \"$(JAVA_DIR)\"."; \ echo "You may need to set JAVA_DIR by hand. See the PRISM manual for details."; \ exit 1; \ fi; \