remove cvc4

ethereum · Jun 7, 2021 · 0b75703 · 0b75703
1 parent c4bd419
commit 0b75703
Show file tree

Hide file tree

Showing 2 changed files with 9 additions and 3 deletions.
diff --git a/.circleci/config.yml b/.circleci/config.yml
@@ -581,7 +581,7 @@ jobs:
       - run:
           name: Install build dependencies
           command: |
-            pacman --noconfirm -Syu --noprogressbar --needed base-devel boost cmake z3 cvc4 git openssh tar
+            pacman --noconfirm -Syu --noprogressbar --needed base-devel boost cmake z3 git openssh tar
       - checkout
       - run: *run_build
       - store_artifacts: *artifacts_solc
@@ -726,7 +726,7 @@ jobs:
         - run:
             name: Install runtime dependencies
             command: |
-              pacman --noconfirm -Syu --noprogressbar --needed base-devel boost cmake z3 cvc4 git openssh tar
+              pacman --noconfirm -Syu --noprogressbar --needed base-devel boost cmake z3 git openssh tar
         - checkout
         - attach_workspace:
             at: build
@@ -819,7 +819,7 @@ jobs:
           name: Install test dependencies
           command: |
             apt-get update
-            apt-get install -qqy --no-install-recommends nodejs npm cvc4
+            apt-get install -qqy --no-install-recommends nodejs npm
       - run:
           name: Test solcjs
           no_output_timeout: 30m

diff --git a/.circleci/osx_install_dependencies.sh b/.circleci/osx_install_dependencies.sh
@@ -54,6 +54,12 @@ then
   cp z3-4.8.10-x64-osx-10.15.7/include/* /usr/local/include
   rm -rf z3-4.8.10-x64-osx-10.15.7
 
+  # cvc4
+  brew link cmake
+  brew link coreutils
+  brew tap cvc4/cvc4
+  brew install cvc4/cvc4/cvc4
+
   # evmone
   wget https://github.com/ethereum/evmone/releases/download/v0.7.0/evmone-0.7.0-darwin-x86_64.tar.gz
   tar xzpf evmone-0.7.0-darwin-x86_64.tar.gz -C /usr/local