2018-11-19 15:49:56 +01:00
|
|
|
#!/usr/bin/env sh
|
|
|
|
|
2016-06-10 14:03:23 +02:00
|
|
|
# Small script to run tests for a target (or all targets) inside all the
|
|
|
|
# respective docker images.
|
|
|
|
|
|
|
|
set -ex
|
|
|
|
|
2019-05-28 19:10:23 +02:00
|
|
|
echo "${HOME}"
|
|
|
|
pwd
|
|
|
|
|
2016-06-10 14:03:23 +02:00
|
|
|
run() {
|
2018-11-19 15:49:56 +01:00
|
|
|
echo "Building docker container for target ${1}"
|
2018-11-24 20:18:51 +01:00
|
|
|
|
2017-02-23 20:08:29 +01:00
|
|
|
# use -f so we can use ci/ as build context
|
2018-11-19 15:49:56 +01:00
|
|
|
docker build -t libc -f "ci/docker/${1}/Dockerfile" ci/
|
2016-11-16 23:12:12 +01:00
|
|
|
mkdir -p target
|
2017-04-19 15:59:04 +02:00
|
|
|
if [ -w /dev/kvm ]; then
|
2018-11-19 15:49:56 +01:00
|
|
|
kvm="--volume /dev/kvm:/dev/kvm"
|
|
|
|
else
|
|
|
|
kvm=""
|
2017-04-19 15:59:04 +02:00
|
|
|
fi
|
2018-11-19 15:49:56 +01:00
|
|
|
|
2016-06-10 14:03:23 +02:00
|
|
|
docker run \
|
2016-10-08 20:33:09 +02:00
|
|
|
--rm \
|
2019-05-28 19:10:23 +02:00
|
|
|
--user "$(id -u)":"$(id -g)" \
|
2016-11-16 23:12:12 +01:00
|
|
|
--env CARGO_HOME=/cargo \
|
2019-05-28 19:10:23 +02:00
|
|
|
--env CARGO_TARGET_DIR=/checkout/target \
|
|
|
|
--volume "$(dirname "$(dirname "$(command -v cargo)")")":/cargo \
|
2018-11-19 15:49:56 +01:00
|
|
|
--volume "$(rustc --print sysroot)":/rust:ro \
|
|
|
|
--volume "$(pwd)":/checkout:ro \
|
|
|
|
--volume "$(pwd)"/target:/checkout/target \
|
2019-05-28 19:10:23 +02:00
|
|
|
$kvm \
|
|
|
|
--init \
|
2016-11-16 23:12:12 +01:00
|
|
|
--workdir /checkout \
|
|
|
|
libc \
|
2019-05-28 19:10:23 +02:00
|
|
|
sh -c "HOME=/tmp PATH=\$PATH:/rust/bin exec ci/run.sh ${1}"
|
2016-06-10 14:03:23 +02:00
|
|
|
}
|
|
|
|
|
2018-11-19 15:49:56 +01:00
|
|
|
if [ -z "${1}" ]; then
|
|
|
|
for d in ci/docker/*; do
|
|
|
|
run "${d}"
|
2016-06-10 14:03:23 +02:00
|
|
|
done
|
|
|
|
else
|
2018-11-19 15:49:56 +01:00
|
|
|
run "${1}"
|
2016-06-10 14:03:23 +02:00
|
|
|
fi
|