| #!/bin/bash | |
| set -e | |
| GIT_ROOT=$(git rev-parse --show-toplevel) | |
| while [[ "$#" -gt 0 ]]; do | |
| case $1 in | |
| --avm_build_dir) avm_build_dir="$2"; shift ;; | |
| *) echo "Unknown arg: $1"; exit 1 ;; | |
| esac | |
| shift | |
| done | |
| if [[ -z ${avm_build_dir} ]]; then | |
| echo "Usage: ./build_avm_docker.sh --avm_build_dir <OUTPUT_PATH>" | |
| exit 1 | |
| fi | |
| mkdir -p ${avm_build_dir} | |
| AVM_BUILD_CMD="/scripts/build_avm.sh --avm_build_dir /avm_build --avm_source_dir /avm" | |
| docker run -it --rm -v ${GIT_ROOT}:/avm:ro -v $(realpath ${avm_build_dir}):/avm_build avm_analyzer_runtime bash -c "${AVM_BUILD_CMD}" |