Fix CI

kwrx · Aug 20, 2021 · 6b8aa08 · 6b8aa08
1 parent ea92b34
commit 6b8aa08
Show file tree

Hide file tree

Showing 2 changed files with 5 additions and 5 deletions.
diff --git 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
@@ -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