diff options
author | Roman Grundkiewicz <rgrundki@exseed.ed.ac.uk> | 2018-11-26 18:11:32 +0300 |
---|---|---|
committer | Roman Grundkiewicz <rgrundki@exseed.ed.ac.uk> | 2018-11-26 18:11:32 +0300 |
commit | ce5b0fde9a148ada0a4ffad90114d992402b0cf8 (patch) | |
tree | 4abb58400f29bf705f3a12e144273a05dd0ef6d6 | |
parent | 36fd4ea9fcefd2827dcd034342a2e231aa85a2e0 (diff) |
Abort if no marian tools in MARIAN/MRT_MARIAN
-rwxr-xr-x | run_mrt.sh | 8 |
1 files changed, 8 insertions, 0 deletions
@@ -32,6 +32,14 @@ export MRT_DATA=$MRT_ROOT/data log "Using Marian: $MRT_MARIAN" +# Check if required tools are present in marian directory +for cmd in marian marian-decoder marian-scorer marian-server marian-vocab; do + if [ ! -e $MRT_MARIAN/$cmd ]; then + echo "Error: '$cmd' is not installed in '$MRT_MARIAN', you need to compile the toolkit first" + exit 1 + fi +done + # Get CMake settings cd $MRT_MARIAN cmake -L 2> /dev/null > $MRT_ROOT/cmake.log |