4 # Download latest TCM tool from
5 # https://github.sec.samsung.net/RS-TCM/tca-standalone/releases/download/v0.0.8/tca-standalone-0.0.8.jar
8 # Create symbolic link `./src` for source directory to be analyzed which has `.ahub` configuration.
11 # run this `build-tcm.sh` script.
13 # See the following link for additional details.
14 # https://github.sec.samsung.net/RS-TCM/tca-standalone/wiki/Tutorials-CPP-Gtest
17 echo ${PROJECT_DIR:=${PWD}}
19 java -jar $PROJECT_DIR/tca-standalone-0.0.8.jar \
20 --outdir=$PROJECT_DIR/tcm-output \
21 --config=$PROJECT_DIR/src/.ahub/tcchecker-tca/config.yaml \
22 --local=$PROJECT_DIR/src \
23 --logfile=$PROJECT_DIR/tcm-output/tcm.log \