diff options
author | Roman Grundkiewicz <rgrundki@exseed.ed.ac.uk> | 2018-11-29 19:07:09 +0300 |
---|---|---|
committer | Roman Grundkiewicz <rgrundki@exseed.ed.ac.uk> | 2018-11-29 19:07:09 +0300 |
commit | 630cbc13e2d89694747ad642b005d5889403cf3f (patch) | |
tree | 448bd044c6ec400c258745f8c06189723450504f | |
parent | 9bfc00c244cde6a4e8c0370e8511d4589b46bcd6 (diff) |
Add backward compatibility for MARIAN variable
-rwxr-xr-x | run_mrt.sh | 6 |
1 files changed, 6 insertions, 0 deletions
@@ -24,6 +24,12 @@ function logn { echo -n [$(date "+%m/%d/%Y %T")] $@ } + +# Try adding build/ to MARIAN for backward compatibility +if [[ ( $(basename "$MARIAN") = "marian" || $( basename "$MARIAN" ) = "marian-dev") && ! -e $MARIAN/marian ]]; then + MARIAN="$MARIAN/build" +fi + export MRT_ROOT="$( cd "$( dirname "${BASH_SOURCE[0]}" )" && pwd )" export MRT_TOOLS=$MRT_ROOT/tools export MRT_MARIAN="$( realpath ${MARIAN:-../build} )" |