mirror of
https://github.com/edgelesssys/constellation.git
synced 2024-10-01 01:36:09 -04:00
73 lines
2.0 KiB
Bash
73 lines
2.0 KiB
Bash
#!/usr/bin/env bash
|
|
|
|
function setup {
|
|
# 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"
|
|
}
|
|
|
|
function startBazelServer {
|
|
local containerImage="ghcr.io/edgelesssys/bazel-container:v6.1.2-0"
|
|
local containerName="bazeld"
|
|
|
|
setup
|
|
|
|
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/builder/.cache/bazel" \
|
|
-v "${HOME}/.cache/shared_bazel_repository_cache":"/home/builder/.cache/shared_bazel_repository_cache" \
|
|
-v "${HOME}/.cache/shared_bazel_action_cache":"/home/builder/.cache/shared_bazel_action_cache" \
|
|
-v "${HOME}/.docker/config.json":"/home/builder/.docker/config.json" \
|
|
--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 $?
|
|
}
|