From b48f4c4184a712daecf72f7bd61526e41ff43848 Mon Sep 17 00:00:00 2001
From: "Rodrigo Q. Saramago" <rodrigoqsaramago@gmail.com>
Date: Thu, 2 Feb 2023 19:00:28 +0100
Subject: [PATCH] Release rebuild

---
 .circleci/config.yml | 11 +++++++++--
 1 file changed, 9 insertions(+), 2 deletions(-)

diff --git a/.circleci/config.yml b/.circleci/config.yml
index 09c0686cf..8e199412b 100644
--- a/.circleci/config.yml
+++ b/.circleci/config.yml
@@ -833,8 +833,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: git clone -b "v0.8.18" https://github.com/ethereum/solidity.git .
+      - run:
+          name: Release Rebuild
+          command: |
+            echo -n >prerelease.txt
+            mkdir -p build
+            cd build
+            cmake .. -DCMAKE_BUILD_TYPE=Release $CMAKE_OPTIONS -G "Unix Makefiles"
+            make
       - run:
           name: strip binary
           command: strip build/solc/solc