diff options
author | Patrick Lehmann <Patrick.Lehmann@tu-dresden.de> | 2016-06-21 00:42:19 +0200 |
---|---|---|
committer | Patrick Lehmann <Patrick.Lehmann@tu-dresden.de> | 2016-06-21 00:42:19 +0200 |
commit | bbac47a54fabf812db845329b674b83f1cfd39fb (patch) | |
tree | 59c62d41cedafa9cd18238359c1f9ae4fdc365ff /libraries/vendors/compile-osvvm.sh | |
parent | f2b83716c79e7c6123aa9b6215a6dc6ac1c9d83b (diff) | |
download | ghdl-bbac47a54fabf812db845329b674b83f1cfd39fb.tar.gz ghdl-bbac47a54fabf812db845329b674b83f1cfd39fb.tar.bz2 ghdl-bbac47a54fabf812db845329b674b83f1cfd39fb.zip |
Implemented a work around for Mac OS.
Diffstat (limited to 'libraries/vendors/compile-osvvm.sh')
-rwxr-xr-x | libraries/vendors/compile-osvvm.sh | 11 |
1 files changed, 7 insertions, 4 deletions
diff --git a/libraries/vendors/compile-osvvm.sh b/libraries/vendors/compile-osvvm.sh index f7bbdba5f..f9f3b05d3 100755 --- a/libraries/vendors/compile-osvvm.sh +++ b/libraries/vendors/compile-osvvm.sh @@ -1,4 +1,4 @@ -#! /bin/bash +#! /usr/bin/env bash # EMACS settings: -*- tab-width: 2; indent-tabs-mode: t -*- # vim: tabstop=2:shiftwidth=2:noexpandtab # kate: tab-width 2; replace-tabs off; indent-width 2; @@ -34,10 +34,13 @@ # ============================================================================== # --------------------------------------------- +# work around for Darwin (Mac OS) +READLINK=readlink; if [[ $(uname) == "Darwin" ]]; then READLINK=greadlink; fi + # save working directory WorkingDir=$(pwd) ScriptDir="$(dirname $0)" -ScriptDir="$(readlink -f $ScriptDir)" +ScriptDir="$($READLINK -f $ScriptDir)" # source configuration file from GHDL's 'vendors' library directory source $ScriptDir/config.sh @@ -88,7 +91,7 @@ while [[ $# > 0 ]]; do shift # skip argument ;; *) # unknown option - echo 1>&2 -e "${COLORED_ERROR} Unknown command line option.${ANSI_RESET}" + echo 1>&2 -e "${COLORED_ERROR} Unknown command line option '$key'.${ANSI_NOCOLOR}" exit -1 ;; esac @@ -170,7 +173,7 @@ GHDL_OPTIONS=(-fexplicit -frelaxed-rules --no-vital-checks --warn-binding --mb-c # Cleanup directory # ============================================================================== if [ "$CLEAN" == "TRUE" ]; then - echo -e "${ANSI_YELLOW}Cleaning up directory ...${ANSI_RESET}" + echo -e "${ANSI_YELLOW}Cleaning up directory ...${ANSI_NOCOLOR}" rm *.o 2> /dev/null rm *.cf 2> /dev/null fi |