From 6b8aa08357c91f1e653516af8ffe0a69d0b35e9b Mon Sep 17 00:00:00 2001 From: Antonino Natale Date: Fri, 20 Aug 2021 15:37:33 +0200 Subject: [PATCH] Fix CI --- .github/workflows/cmake-build.yml | 6 +++--- .github/workflows/cmake-deploy.yml | 4 ++-- 2 files changed, 5 insertions(+), 5 deletions(-) diff --git a/.github/workflows/cmake-build.yml b/.github/workflows/cmake-build.yml index f232fd9..5774e4f 100644 --- a/.github/workflows/cmake-build.yml +++ b/.github/workflows/cmake-build.yml @@ -18,7 +18,7 @@ jobs: - name: Install Dependencies shell: bash working-directory: ${{github.workspace}} - run: sudo apt update && sudo apt install re2c bison flex libboost-dev ninja-build && conda install -c potassco clingo + run: sudo apt update && sudo apt install re2c bison flex libboost-dev build-essential && conda install -c potassco clingo - name: Create Build Environment (Debug) run: cmake -E make_directory ${{github.workspace}}/debug @@ -39,12 +39,12 @@ jobs: - name: Configure CMake (Debug) shell: bash working-directory: ${{github.workspace}}/debug - run: cmake $GITHUB_WORKSPACE -DCMAKE_BUILD_TYPE=Debug -G Ninja + run: cmake $GITHUB_WORKSPACE -DCMAKE_BUILD_TYPE=Debug - name: Configure CMake (Release) shell: bash working-directory: ${{github.workspace}}/release - run: cmake $GITHUB_WORKSPACE -DCMAKE_BUILD_TYPE=Release -G Ninja + run: cmake $GITHUB_WORKSPACE -DCMAKE_BUILD_TYPE=Release - name: Build Dependencies (Debug) working-directory: ${{github.workspace}}/debug diff --git a/.github/workflows/cmake-deploy.yml b/.github/workflows/cmake-deploy.yml index 56d4ac8..78166ff 100644 --- a/.github/workflows/cmake-deploy.yml +++ b/.github/workflows/cmake-deploy.yml @@ -19,7 +19,7 @@ jobs: - name: Install Dependencies working-directory: ${{github.workspace}} shell: bash - run: sudo apt update && sudo apt install dpkg rpm re2c bison flex libboost-dev ninja-build && conda install -c potassco clingo + run: sudo apt update && sudo apt install dpkg rpm re2c bison flex libboost-dev build-essential && conda install -c potassco clingo - name: Create Build Environment run: cmake -E make_directory ${{github.workspace}}/build @@ -32,7 +32,7 @@ jobs: - name: Configure CMake shell: bash working-directory: ${{github.workspace}}/build - run: cmake $GITHUB_WORKSPACE -DCMAKE_BUILD_TYPE=Release -G Ninja + run: cmake $GITHUB_WORKSPACE -DCMAKE_BUILD_TYPE=Release - name: Build Dependencies working-directory: ${{github.workspace}}/build