Merge "Enable z3 on ubuntu bionic tempest tests"

This commit is contained in:
Zuul 2019-01-30 07:39:52 +00:00 committed by Gerrit Code Review
commit faf260b625
2 changed files with 6 additions and 1 deletions

View File

@ -64,7 +64,7 @@
TEMPEST_PLUGINS: '"/opt/stack/congress-tempest-plugin /opt/stack/telemetry-tempest-plugin /opt/stack/murano-tempest-plugin /opt/stack/heat-tempest-plugin /opt/stack/mistral-tempest-plugin /opt/stack/monasca-tempest-plugin"'
CONGRESS_MULTIPROCESS_DEPLOYMENT: true
CONGRESS_EXPOSE_ENCRYPTION_KEY_FOR_TEST: true
ENABLE_CONGRESS_Z3: false
ENABLE_CONGRESS_Z3: true
USE_Z3_RELEASE: 4.7.1
- job:

View File

@ -151,6 +151,11 @@ function _install_z3 {
pushd $CONGRESS_Z3_DIR
z3rel="z3-${USE_Z3_RELEASE}"
z3file="${z3rel}-x64-${os_VENDOR,,}-${os_RELEASE}"
# binary not available for ubuntu-18, so use ubuntu-16 binary instead
if [ ${os_VENDOR,,} == "ubuntu" ] && [ ${os_RELEASE} == "18.04" ]; then
z3file="${z3rel}-x64-ubuntu-16.04"
echo "WARNING: Using ${z3file} binary on ${os_VENDOR,,}-${os_RELEASE} because ${z3rel}-x64-${os_VENDOR,,}-${os_RELEASE} is not available."
fi
url="https://github.com/Z3Prover/z3/releases/download/${z3rel}/${z3file}.zip"
if [ ! -f "${z3file}.zip" ]; then
wget "${url}" || true