From bcf10f2668a3f092c1fa276de4735bc86167219a Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Kamil=20=C5=9Aliwak?= <kamil.sliwak@codepoets.it>
Date: Wed, 15 Jun 2022 17:52:25 +0200
Subject: [PATCH] Hard-code b_ubu_static to download the 0.8.14 binary

---
 .circleci/config.yml | 14 ++++++++------
 1 file changed, 8 insertions(+), 6 deletions(-)

diff --git a/.circleci/config.yml b/.circleci/config.yml
index 53636d149..9cb21f0a1 100644
--- a/.circleci/config.yml
+++ b/.circleci/config.yml
@@ -839,13 +839,15 @@ jobs:
       MAKEFLAGS: -j 10
       CMAKE_OPTIONS: -DCMAKE_BUILD_TYPE=Release -DUSE_Z3_DLOPEN=ON -DUSE_CVC4=OFF -DSOLC_STATIC_STDLIBS=ON
     steps:
-      - checkout
-      - run: *run_build
-      - run:
-          name: strip binary
-          command: strip build/solc/solc
+      - run: |
+          mkdir -p build/solc/
+          curl https://binaries.soliditylang.org/linux-amd64/solc-linux-amd64-v0.8.14+commit.80d49f37 --output build/solc/solc
+          chmod +x build/solc/solc
       - store_artifacts: *artifacts_solc
-      - persist_to_workspace: *artifacts_executables
+      - persist_to_workspace:
+          root: build
+          paths:
+            - solc/solc
       - gitter_notify_failure_unless_pr
 
   b_ubu_codecov: