#!/usr/bin/env bash function setup { (stopBazelServer && sleep 1) || true # Ensure that the cache directories exist, so they are not created by docker with root permissions. mkdir -p "${HOME}/.cache/bazel" mkdir -p "${HOME}/.cache/shared_bazel_repository_cache" mkdir -p "${HOME}/.cache/shared_bazel_action_cache" if [[ ! -f "${HOME}/.docker/config.json" ]]; then echo "ERROR: ${HOME}/.docker/config.json does not exist." echo "Please login into your container registry to create it." echo "echo | docker login ghcr.io -u --password-stdin" exit 1 fi } function startBazelServer { local containerImage="ghcr.io/edgelesssys/bazel-container:v6.4.0" local containerName="bazeld" setup # In-container .bazelrc overwrite. mkdir -p "/tmp/bazel-container" cat << EOF > "/tmp/bazel-container/.bazelrc" startup --output_user_root=/home/${USER}/.cache/bazel/_bazel_${USER} EOF local hostWorkspaceDir hostWorkspaceDir="$(git rev-parse --show-toplevel)" if [[ $? -ne 0 ]]; then echo Could not find git repository root. Are you in a git repository? return 1 fi echo Starting bazel container as daemon... echo You can stop this command using: echo docker kill "${containerName}" docker run \ --rm \ --detach \ --name "${containerName}" \ -v "${hostWorkspaceDir}":/workspace \ -v "${HOME}/.cache/bazel":"${HOME}/.cache/bazel" \ -v "${HOME}/.cache/shared_bazel_repository_cache":"${HOME}/.cache/shared_bazel_repository_cache" \ -v "${HOME}/.cache/shared_bazel_action_cache":"${HOME}/.cache/shared_bazel_action_cache" \ -v "${HOME}/.docker/config.json":"/home/builder/.docker/config.json" \ -v "${HOME}/.aws":"/home/builder/.aws" \ -v "/tmp/bazel-container/.bazelrc":"/etc/bazel.bazelrc" \ --entrypoint=/bin/sleep \ "${containerImage}" \ infinity || return $? } function stopBazelServer { local containerName="bazeld" echo Stopping bazel container... docker kill "${containerName}" || return $? } function bazel { local containerName="bazeld" local hostWorkspaceDir hostWorkspaceDir="$(git rev-parse --show-toplevel)" if [[ $? -ne 0 ]]; then echo Could not find git repository root. Are you in a git repository? return 1 fi local containerWorkDir containerWorkDir=$(realpath -m "/workspace/$(realpath --relative-base="${hostWorkspaceDir}" .)") if [[ $? -ne 0 ]]; then echo Could not determine container work directory. return 1 fi docker exec \ -it \ --workdir "${containerWorkDir}" \ --env "HOST_CACHE=${HOME}/.cache" \ "${containerName}" \ bazel "$@" || return $? }