diff options
Diffstat (limited to '.travis.yml')
| -rw-r--r-- | .travis.yml | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/.travis.yml b/.travis.yml index 73987565..9163efa4 100644 --- a/.travis.yml +++ b/.travis.yml @@ -38,12 +38,14 @@ jobs: # Because these write to the same install directory, they must run in the # same script - stage: prepare - name: "Install: [Verilator, Yosys]" + name: "Install: [Verilator, Yosys, Z3]" script: - bash .install_verilator.sh - verilator --version - bash .install_yosys.sh - yosys -V + - bash .install_z3.sh + - z3 -version - stage: prepare name: "Compile FIRRTL to share with subsequent stages" script: |