remove cvc4

Author: Leo Alt

.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

.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