From 2775be20d997c91eaa85254ad42ef663a9548eaf Mon Sep 17 00:00:00 2001 From: Daniel Larraz Date: Tue, 16 Jan 2024 12:21:27 -0600 Subject: [PATCH] ci: Downgrade ubuntu and macOS versions (#10276) This PR builds cvc5 on Ubuntu 20.04 and macOS 11 to ensure compatibility of the dynamically linked binaries with these older OS versions. --- .github/actions/install-dependencies/action.yml | 2 +- .github/workflows/ci.yml | 6 +++--- src/expr/node_manager_template.cpp | 2 ++ 3 files changed, 6 insertions(+), 4 deletions(-) diff --git a/.github/actions/install-dependencies/action.yml b/.github/actions/install-dependencies/action.yml index 6d37b4424c9..e9868183170 100644 --- a/.github/actions/install-dependencies/action.yml +++ b/.github/actions/install-dependencies/action.yml @@ -30,7 +30,7 @@ runs: flex \ libfl-dev \ flexc++ - python3 -m pip install --user pexpect setuptools tomli + python3 -m pip install --user pexpect setuptools tomli pyparsing # Make ImageVersion accessible as env.image_version. Environment # variables of the runner are not automatically imported: # diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml index cf9af1a03f7..6051fe00462 100644 --- a/.github/workflows/ci.yml +++ b/.github/workflows/ci.yml @@ -12,7 +12,7 @@ jobs: matrix: include: - name: ubuntu:production - os: ubuntu-latest + os: ubuntu-20.04 config: production --auto-download --all-bindings --editline --docs cache-key: production strip-bin: strip @@ -24,7 +24,7 @@ jobs: run_regression_args: --tester base --tester model --tester synth --tester abduct --tester dump - name: macos:production - os: macos-latest + os: macos-11 config: production --auto-download --editline # config: production --auto-download --python-bindings --editline cache-key: production @@ -36,7 +36,7 @@ jobs: run_regression_args: --tester base --tester model --tester synth --tester abduct --tester dump - name: macos:production-arm64 - os: macos-latest + os: macos-11 config: production --auto-download --editline --arm64 # config: production --auto-download --python-bindings --editline --arm64 cache-key: production-arm64 diff --git a/src/expr/node_manager_template.cpp b/src/expr/node_manager_template.cpp index 8a44f695c8e..d3319517ef3 100644 --- a/src/expr/node_manager_template.cpp +++ b/src/expr/node_manager_template.cpp @@ -1272,6 +1272,8 @@ NodeClass NodeManager::mkConstInternal(Kind k, const T& val) && (__GNUC__ > 4 || (__GNUC__ == 4 && __GNUC_MINOR__ >= 6)) #pragma GCC diagnostic push #pragma GCC diagnostic ignored "-Warray-bounds" +#endif +#if defined(__GNUC__) && (__GNUC__ > 9) #pragma GCC diagnostic ignored "-Wzero-length-bounds" #endif