File tree Expand file tree Collapse file tree 2 files changed +5
-5
lines changed
Expand file tree Collapse file tree 2 files changed +5
-5
lines changed Original file line number Diff line number Diff line change 1818 - name : Install Dependencies
1919 shell : bash
2020 working-directory : ${{github.workspace}}
21- run : sudo apt update && sudo apt install re2c bison flex libboost-dev ninja- build && conda install -c potassco clingo
21+ run : sudo apt update && sudo apt install re2c bison flex libboost-dev build-essential && conda install -c potassco clingo
2222
2323 - name : Create Build Environment (Debug)
2424 run : cmake -E make_directory ${{github.workspace}}/debug
@@ -39,12 +39,12 @@ jobs:
3939 - name : Configure CMake (Debug)
4040 shell : bash
4141 working-directory : ${{github.workspace}}/debug
42- run : cmake $GITHUB_WORKSPACE -DCMAKE_BUILD_TYPE=Debug -G Ninja
42+ run : cmake $GITHUB_WORKSPACE -DCMAKE_BUILD_TYPE=Debug
4343
4444 - name : Configure CMake (Release)
4545 shell : bash
4646 working-directory : ${{github.workspace}}/release
47- run : cmake $GITHUB_WORKSPACE -DCMAKE_BUILD_TYPE=Release -G Ninja
47+ run : cmake $GITHUB_WORKSPACE -DCMAKE_BUILD_TYPE=Release
4848
4949 - name : Build Dependencies (Debug)
5050 working-directory : ${{github.workspace}}/debug
Original file line number Diff line number Diff line change 1919 - name : Install Dependencies
2020 working-directory : ${{github.workspace}}
2121 shell : bash
22- run : sudo apt update && sudo apt install dpkg rpm re2c bison flex libboost-dev ninja- build && conda install -c potassco clingo
22+ run : sudo apt update && sudo apt install dpkg rpm re2c bison flex libboost-dev build-essential && conda install -c potassco clingo
2323
2424 - name : Create Build Environment
2525 run : cmake -E make_directory ${{github.workspace}}/build
3232 - name : Configure CMake
3333 shell : bash
3434 working-directory : ${{github.workspace}}/build
35- run : cmake $GITHUB_WORKSPACE -DCMAKE_BUILD_TYPE=Release -G Ninja
35+ run : cmake $GITHUB_WORKSPACE -DCMAKE_BUILD_TYPE=Release
3636
3737 - name : Build Dependencies
3838 working-directory : ${{github.workspace}}/build
You can’t perform that action at this time.
0 commit comments