#!/usr/bin/env sh # Small script to run tests for a target (or all targets) inside all the # respective docker images. set -ex run() { target=$(echo "${1}" | sed 's/-emulated//') echo "Building docker container for TARGET=${1}" docker build -t stdarch -f "ci/docker/${1}/Dockerfile" ci/ mkdir -p target c_programs rust_programs echo "Running docker" # shellcheck disable=SC2016 docker run \ --rm \ --user "$(id -u)":"$(id -g)" \ --env CARGO_HOME=/cargo \ --env CARGO_TARGET_DIR=/checkout/target \ --env TARGET="${target}" \ --env STDARCH_TEST_EVERYTHING \ --env STDARCH_ASSERT_INSTR_IGNORE \ --env STDARCH_DISABLE_ASSERT_INSTR \ --env NOSTD \ --env NORUN \ --env RUSTFLAGS \ --env STDARCH_TEST_NORUN \ --volume "${HOME}/.cargo":/cargo \ --volume "$(rustc --print sysroot)":/rust:ro \ --volume "$(pwd)":/checkout:ro \ --volume "$(pwd)"/target:/checkout/target \ --volume "$(pwd)"/c_programs:/checkout/c_programs \ --volume "$(pwd)"/rust_programs:/checkout/rust_programs \ --init \ --workdir /checkout \ --privileged \ stdarch \ sh -c "HOME=/tmp PATH=\$PATH:/rust/bin exec ci/run.sh ${1}" } if [ -z "$1" ]; then for d in ci/docker/*; do run "${d}" done else run "${1}" fi