cerc-io/solidity
16
0
Fork 0
mirror of https://github.com/ethereum/solidity synced 2023-10-03 13:03:40 +00:00
Code Issues Actions Packages Projects Releases Wiki Activity

Merge pull request #13306 from ethereum/no-smt-on-arch

Browse Source 
Disable SMT tests on Arch Linux
This commit is contained in:
Kamil Śliwak 2022-07-26 18:25:29 +02:00 committed by GitHub
commit 849d6f6230
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
1 changed files with 5 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

7
.circleci/config.yml
View File

@ -927,11 +927,14 @@ jobs:
environment: environment:
TERM: xterm TERM: xterm
MAKEFLAGS: -j 5 MAKEFLAGS: -j 5
# Build without Z3. We won't be running SMT tests on Arch because that requires a specific
# version of Z3 and the one with the official repos is often not the one we need.
USE_Z3: OFF
steps: steps:
- run: - run:
name: Install build dependencies name: Install build dependencies
command: | command: |
pacman --noconfirm -Syu --noprogressbar --needed base-devel boost cmake z3 cvc4 git openssh tar pacman --noconfirm -Syu --noprogressbar --needed base-devel boost cmake cvc4 git openssh tar
- checkout - checkout
- run: *run_build - run: *run_build
- store_artifacts: *artifacts_solc - store_artifacts: *artifacts_solc
@ -1047,7 +1050,7 @@ jobs:
TERM: xterm TERM: xterm
# For Archlinux we do not have prebuilt docker images and we would need to build evmone from source, # For Archlinux we do not have prebuilt docker images and we would need to build evmone from source,
# thus we forgo semantics tests to speed things up. # thus we forgo semantics tests to speed things up.
SOLTEST_FLAGS: --no-semantic-tests SOLTEST_FLAGS: --no-semantic-tests --no-smt
steps: steps:
- run: - run:
name: Install runtime dependencies name: Install runtime dependencies