blob: ad2ac73a06fc4c4e2b6cfb251895d02108b28bd6 (
plain) (
blame)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
|
#!/bin/bash
# Build all the docker containers utilized, that would be
# also build by TravisCI.
#
# Every line starting with " - LLVM_VERSION=" is a single setup
set -e
DIR="$(cd "$(dirname "$0")" && pwd)"
# Build dependencies only
export DOCKER_BUILD_DEPS_ONLY=1
export KLEE_TRAVIS_BUILD="1"
export REPOSITORY="klee"
export TRAVIS_OS_NAME="linux"
while read -r line
do
name=$(echo $line| grep "\- LLVM" | xargs -L 1 | cut -d "-" -f 2)
if [[ "x$name" == "x" ]]; then
continue
fi
/bin/bash -c "$name ./scripts/build/build-docker.sh"
done < "${DIR}/../../.travis.yml"
|
