diff --git a/.circleci/config.yml b/.circleci/config.yml
index 3dcadf211..87236581a 100644
--- a/.circleci/config.yml
+++ b/.circleci/config.yml
@@ -295,6 +295,7 @@ jobs:
     environment:
       CC: clang
       CXX: clang++
+      CMAKE_OPTIONS: -DLLL=ON
     steps:
       - checkout
       - run: *run_build
@@ -304,6 +305,8 @@ jobs:
   b_ubu: &build_ubuntu1904
     docker:
       - image: ethereum/solidity-buildpack-deps:ubuntu1904-<< pipeline.parameters.docker-image-rev >>
+    environment:
+      CMAKE_OPTIONS: -DLLL=ON
     steps:
       - checkout
       - run: *run_build
@@ -314,12 +317,13 @@ jobs:
     <<: *build_ubuntu1904
     environment:
       FORCE_RELEASE: ON
+      CMAKE_OPTIONS: -DLLL=ON
 
   b_ubu18: &build_ubuntu1804
     docker:
       - image: ethereum/solidity-buildpack-deps:ubuntu1804-<< pipeline.parameters.docker-image-rev >>
     environment:
-      CMAKE_OPTIONS: -DCMAKE_CXX_FLAGS=-O2
+      CMAKE_OPTIONS: -DCMAKE_CXX_FLAGS=-O2 -DLLL=ON
       CMAKE_BUILD_TYPE: RelWithDebugInfo
     steps:
       - checkout
@@ -364,7 +368,7 @@ jobs:
     <<: *build_ubuntu1904
     environment:
       CMAKE_BUILD_TYPE: Debug
-      CMAKE_OPTIONS: -DCMAKE_TOOLCHAIN_FILE=cmake/toolchains/cxx20.cmake -DUSE_CVC4=OFF
+      CMAKE_OPTIONS: -DCMAKE_TOOLCHAIN_FILE=cmake/toolchains/cxx20.cmake -DUSE_CVC4=OFF -DLLL=ON
     steps:
       - checkout
       - run: *run_build
@@ -404,6 +408,7 @@ jobs:
       - image: archlinux/base
     environment:
       TERM: xterm
+      CMAKE_OPTIONS: -DLLL=ON
     steps:
       - run:
           name: Install build dependencies
@@ -420,6 +425,7 @@ jobs:
     environment:
       TERM: xterm
       CMAKE_BUILD_TYPE: Debug
+      CMAKE_OPTIONS: -DLLL=ON
     steps:
       - checkout
       - restore_cache: