| #!/bin/bash |
| set -e |
| |
| while [[ "$#" -gt 0 ]]; do |
| case $1 in |
| --avm_build_dir) avm_build_dir="$2"; shift ;; |
| --avm_source_dir) avm_source_dir="$2"; shift ;; |
| *) echo "Unknown arg: $1"; exit 1 ;; |
| esac |
| shift |
| done |
| |
| if [[ -z ${avm_build_dir} || -z ${avm_source_dir} ]]; then |
| echo "Usage: ./build_avm.sh --avm_source_dir <AVM_GIT_ROOT> --avm_build_dir <OUTPUT_PATH>" |
| exit 1 |
| fi |
| mkdir -p ${avm_build_dir} |
| |
| cd ${avm_build_dir} |
| cmake ${avm_source_dir} -DCMAKE_CXX_COMPILER=g++ -DCMAKE_C_COMPILER=gcc \ |
| -DCMAKE_BUILD_TYPE=Release -DCONFIG_ACCOUNTING=1 -DCONFIG_INSPECTION=1 \ |
| -DCONFIG_EXTRACT_PROTO=1 |
| make -j |