Add z3 to CI

will be expanded (or removed).

Author: petr-bauch

.travis.yml

@@ -103,6 +103,7 @@ jobs:
             - parallel
             - jq
             - gdb
+            - z3
       before_install:
         - mkdir bin
         - ln -s /usr/bin/gcc-5 bin/gcc

buildspec-linux-clang.yml

@@ -14,7 +14,7 @@ phases:
       - wget -O - https://apt.llvm.org/llvm-snapshot.gpg.key | apt-key add -
       - add-apt-repository 'deb http://apt.llvm.org/bionic/ llvm-toolchain-bionic-8 main'
       - apt-get update -y
-      - apt-get install -y clang-8 flex bison make git libwww-perl patch ccache libc6-dev-i386 jq gdb
+      - apt-get install -y clang-8 flex bison make git libwww-perl patch ccache libc6-dev-i386 jq gdb z3
   build:
     commands:
       - echo Build started on `date`

buildspec.yml

@@ -13,7 +13,7 @@ phases:
     commands:
       - sed -i 's#/archive.ubuntu.com#/us-east-1.ec2.archive.ubuntu.com#g' /etc/apt/sources.list
       - apt-get update -y
-      - apt-get install -y flex bison make git libwww-perl patch ccache libc6-dev-i386 jq gdb
+      - apt-get install -y flex bison make git libwww-perl patch ccache libc6-dev-i386 jq gdb z3
   build:
     commands:
       - echo Build started on `date`