From 6a254e27a1762f967af0d8295eed6044adf5ffb2 Mon Sep 17 00:00:00 2001 From: Alex Beregszaszi Date: Sat, 30 Nov 2019 11:58:40 +0100 Subject: [PATCH] Turn on LLL testing in test_ubuntu1904_clang --- .circleci/config.yml | 10 ++++++++-- 1 file changed, 8 insertions(+), 2 deletions(-) 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: