From 1d2130c6d1d880f62871926573ca446fb20199af Mon Sep 17 00:00:00 2001
From: chriseth <chris@ethereum.org>
Date: Wed, 30 Sep 2020 14:49:27 +0200
Subject: [PATCH] Static release build.

---
 .circleci/config.yml | 16 ++++++++++++++++
 1 file changed, 16 insertions(+)

diff --git a/.circleci/config.yml b/.circleci/config.yml
index daefe4472..ccc257d38 100644
--- a/.circleci/config.yml
+++ b/.circleci/config.yml
@@ -459,6 +459,19 @@ jobs:
       FORCE_RELEASE: ON
       MAKEFLAGS: -j 10
 
+  b_ubu_static:
+    <<: *build_ubuntu2004
+    environment:
+      MAKEFLAGS: -j 10
+      CMAKE_OPTIONS: -DCMAKE_BUILD_TYPE=Release -DSOLC_LINK_STATIC=1 -DUSE_CVC4=OFF -DUSE_Z3=OFF
+    steps:
+      - checkout
+      - run: *run_build
+      - run:
+          name: strip binary
+          command: strip build/solc/solc
+      - store_artifacts: *artifacts_solc
+
   b_ubu18: &build_ubuntu1804
     docker:
       - image: << pipeline.parameters.ubuntu-1804-docker-image >>
@@ -973,6 +986,9 @@ workflows:
       - b_archlinux: *workflow_trigger_on_tags
       - t_archlinux_soltest: *workflow_archlinux
 
+      # Static build
+      - b_ubu_static: *workflow_trigger_on_tags
+
       # Ubuntu build and tests
       - b_ubu: *workflow_trigger_on_tags
       - b_ubu18: *workflow_trigger_on_tags