pushd $HOST_HOME
-# prepare armcl library
-if [[ ! -d $ARMCL_DIR ]]; then
- echo "cannot find armcl"
- exit 1
-fi
-
# prepare rootfs
if [[ ! -d $ROOTFS_DIR ]]; then
echo "cannot find rootfs"
DOCKER_VOLUMES+=" -v $SVACE_ANALYZER_DIR:/opt/svace-analyzer"
DOCKER_VOLUMES+=" -v $ROOTFS_DIR:/opt/rootfs"
-DOCKER_VOLUMES+=" -v $ARMCL_DIR:/opt/libarmcl"
# Change .gitmodules to work around the permission issue
CMD_SUBMODULE="./scripts/command/change_gitmodule.sh"
DOCKER_RUN_OPTS+=" -it"
CMD="/bin/bash"
else
- CMD="make external_acl tflite && /opt/svace-analyzer/bin/svace init && /opt/svace-analyzer/bin/svace build make runtime testbuild"
+ CMD="make acl tflite && /opt/svace-analyzer/bin/svace init && /opt/svace-analyzer/bin/svace build make runtime testbuild"
fi
docker run $DOCKER_RUN_OPTS $DOCKER_ENV_VARS $DOCKER_VOLUMES $DOCKER_IMAGE_NAME sh -c "$CMD"