diff options
| author | Hans-Nikolai Viessmann | 2019-10-21 17:09:01 +0200 |
|---|---|---|
| committer | Hans-Nikolai Viessmann | 2019-10-21 17:09:01 +0200 |
| commit | 0a7bb73e0339f8015ed11a34e32d6c73fa31df63 (patch) | |
| tree | 4178b05d22a8b4b26a93d6e995798972606850c4 /clm-wrapper.sh | |
| download | aur-0a7bb73e0339f8015ed11a34e32d6c73fa31df63.tar.gz | |
initial commit
Diffstat (limited to 'clm-wrapper.sh')
| -rw-r--r-- | clm-wrapper.sh | 18 |
1 files changed, 18 insertions, 0 deletions
diff --git a/clm-wrapper.sh b/clm-wrapper.sh new file mode 100644 index 000000000000..e52ff4ee20ca --- /dev/null +++ b/clm-wrapper.sh @@ -0,0 +1,18 @@ +#!/usr/bin/env bash + +# default paths +CLEAN_HOME=/opt/clean-itasks-dev-bin + +if [ -d "$HOME/.cache/clean-itasks-dev-bin" ]; then + CLEAN_HOME="$HOME/.cache/clean-itasks-dev-bin" +elif [ -d "$PWD/clean-itasks-dev-bin" ]; then + echo "Notice: using CWD install of clean/itasks" + CLEAN_HOME="$PWD/clean-itasks-dev-bin" +else + echo "Warning: you are calling clm using the system install of Clean," >&2 + echo " this can cause compilation to fail. Use the clenv tool" >&2 + echo " to create a user specific checkout of Clean/iTasks." >&2 +fi + +export CLEAN_HOME +exec /opt/clean-itasks-dev-bin/bin/clm "$@" |