diff options
| -rw-r--r-- | .circleci/config.yml | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/.circleci/config.yml b/.circleci/config.yml index cf9c9212..dd0011c1 100644 --- a/.circleci/config.yml +++ b/.circleci/config.yml @@ -146,6 +146,7 @@ jobs: TERM: xterm CC: /usr/bin/clang-7 CXX: /usr/bin/clang++-7 + CMAKE_OPTIONS: -DLLL=ON steps: - checkout - run: @@ -167,6 +168,7 @@ jobs: xcode: "10.0.0" environment: TERM: xterm + CMAKE_OPTIONS: -DLLL=ON steps: - checkout - run: |