Skip to content
Snippets Groups Projects
Commit c23dbf46 authored by Florian Fischer's avatar Florian Fischer
Browse files

add docker tooling

parent 5868607e
Branches
Tags
No related merge requests found
Pipeline #66425 passed
...@@ -8,11 +8,14 @@ LDFLAGS := -luring -pthread -lrt ...@@ -8,11 +8,14 @@ LDFLAGS := -luring -pthread -lrt
# CFLAGS := -Werror -Wall -g -O3 # CFLAGS := -Werror -Wall -g -O3
CFLAGS := -Werror -Wall -g -O0 CFLAGS := -Werror -Wall -g -O0
.PHONY: all clean eval .PHONY: all clean eval docker-eval
eval: all eval: all
@for syscall in $(SYSCALLS); do echo -n "$$syscall " ; ./bench-$$syscall; done @for syscall in $(SYSCALLS); do echo -n "$$syscall " ; ./bench-$$syscall; done
docker-eval:
./docker.sh make eval
all: $(OBJ) all: $(OBJ)
define generateTargets define generateTargets
......
#!/usr/bin/env bash
# The directory of this script is also the project's root directory.
ROOT="$( cd "$( dirname "${BASH_SOURCE[0]}" )" &> /dev/null && pwd )"
IMAGE=$(sed --regexp-extended --quiet 's;^image: "([^"]*)"$;\1;p' "${ROOT}/.gitlab-ci.yml")
docker run \
--volume="${ROOT}:${ROOT}" \
--interactive \
--tty \
--security-opt seccomp=.docker-seccomp-profile.json \
--env USER_ID="${UID}" \
--env GROUP_ID="$(id -g ${USER})" \
"${IMAGE}" \
"${ROOT}/tools/docker-prepare" "${ROOT}" $@
#!/usr/bin/env bash
set -euo pipefail
useradd -u "${USER_ID}" -o -m user
groupmod -g "${GROUP_ID}" user
if [[ ! -f "/usr/lib/libomp.so" ]] && [[ -f /usr/lib/llvm-12/lib/libomp.so ]]; then
ln -s /usr/lib/llvm-12/lib/libomp.so /usr/lib
fi
ln -s /usr/bin/perf_5.10 /usr/bin/perf
OUTSIDE_ROOT="${1}"
shift
cd "${OUTSIDE_ROOT}"
# shellcheck disable=SC2068
exec sudo -u user $@
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Please register or to comment