mirrors/z3
3
0
Fork 0
mirror of https://github.com/Z3Prover/z3 synced 2025-04-12 20:18:18 +00:00
Code Activity

[TravisCI] Fix Z3_BUILD_TYPE variable that was not propagated

Browse source 
into the Docker image as an environment variable.
This commit is contained in:
Dan Liew 2017-10-15 11:54:05 +01:00
parent 675a3ae9dd
commit fd391e75a6
1 changed files with 1 additions and 0 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

1
contrib/ci/Dockerfiles/z3_build.Dockerfile
View file

@ -52,6 +52,7 @@ ENV \
USE_OPENMP=${USE_OPENMP} \ USE_OPENMP=${USE_OPENMP} \
Z3_SRC_DIR=${Z3_SRC_DIR} \ Z3_SRC_DIR=${Z3_SRC_DIR} \
Z3_BUILD_DIR=/home/user/z3_build \ Z3_BUILD_DIR=/home/user/z3_build \
Z3_BUILD_TYPE=${Z3_BUILD_TYPE} \
Z3_CMAKE_GENERATOR=${Z3_CMAKE_GENERATOR} \ Z3_CMAKE_GENERATOR=${Z3_CMAKE_GENERATOR} \
Z3_VERBOSE_BUILD_OUTPUT=${Z3_VERBOSE_BUILD_OUTPUT} \ Z3_VERBOSE_BUILD_OUTPUT=${Z3_VERBOSE_BUILD_OUTPUT} \
Z3_STATIC_BUILD=${Z3_STATIC_BUILD} \ Z3_STATIC_BUILD=${Z3_STATIC_BUILD} \