3
0
Fork 0
mirror of https://github.com/Z3Prover/z3 synced 2025-04-05 17:14:07 +00:00

travis fixes

This commit is contained in:
Nuno Lopes 2021-02-18 19:52:30 +00:00
parent 14de590566
commit c9d6dccc12

View file

@ -141,13 +141,9 @@ if [ -n "${Z3_WARNINGS_AS_ERRORS}" ]; then
fi
case ${LINUX_BASE} in
ubuntu_16.04)
BASE_DOCKER_FILE="${DOCKER_FILE_DIR}/z3_base_ubuntu_16.04.Dockerfile"
BASE_DOCKER_IMAGE_NAME="z3_base_ubuntu:16.04"
;;
ubuntu32_16.04)
BASE_DOCKER_FILE="${DOCKER_FILE_DIR}/z3_base_ubuntu32_16.04.Dockerfile"
BASE_DOCKER_IMAGE_NAME="z3_base_ubuntu32:16.04"
ubuntu_18.04)
BASE_DOCKER_FILE="${DOCKER_FILE_DIR}/z3_base_ubuntu_18.04.Dockerfile"
BASE_DOCKER_IMAGE_NAME="z3_base_ubuntu:18.04"
;;
*)
echo "Unknown Linux base ${LINUX_BASE}"