Skip to content

Commit

Permalink
Update binary-build.yml
Browse files Browse the repository at this point in the history
  • Loading branch information
msoos committed Apr 11, 2024
1 parent eb40656 commit e319c56
Showing 1 changed file with 12 additions and 6 deletions.
18 changes: 12 additions & 6 deletions .github/workflows/binary-build.yml
Original file line number Diff line number Diff line change
Expand Up @@ -74,39 +74,45 @@ jobs:
run: git submodule update --init

- name: Configure CMake for linux
working-directory: cryptominisat
if: matrix.os == 'ubuntu-20.04'
# Use a bash shell so we can use the same syntax for environment variable
# access regardless of the host operating system
#working-directory: ${{runner.workspace}}/build
# Note the current convention is to use the -S and -B options here to specify source
# and build directories, but this is only available with CMake 3.13 and higher.
# The CMake binaries on the Github Actions machines are (as of this writing) 3.12
run: cmake $GITHUB_WORKSPACE -DCMAKE_BUILD_TYPE=${{ matrix.build_type }} -DENABLE_TESTING=ON -DSTATICCOMPILE=${{ matrix.staticcompile }}
run: |
cd cryptominisat
cmake $GITHUB_WORKSPACE -DCMAKE_BUILD_TYPE=${{ matrix.build_type }} -DENABLE_TESTING=ON -DSTATICCOMPILE=${{ matrix.staticcompile }}
- name: Configure CMake for non-linux
working-directory: cryptominisat
if: matrix.os != 'ubuntu-20.04'
# Use a bash shell so we can use the same syntax for environment variable
# access regardless of the host operating system
#working-directory: ${{runner.workspace}}/build
# Note the current convention is to use the -S and -B options here to specify source
# and build directories, but this is only available with CMake 3.13 and higher.
# The CMake binaries on the Github Actions machines are (as of this writing) 3.12
run: cmake $GITHUB_WORKSPACE -DCMAKE_BUILD_TYPE=${{ matrix.build_type }} -DENABLE_TESTING=OFF -DSTATICCOMPILE=${{ matrix.staticcompile }}
run: |
cd cryptominisat
cmake $GITHUB_WORKSPACE -DCMAKE_BUILD_TYPE=${{ matrix.build_type }} -DENABLE_TESTING=OFF -DSTATICCOMPILE=${{ matrix.staticcompile }}
- name: Build
working-directory: cryptominisat
#working-directory: ${{runner.workspace}}/build
# Execute the build. You can specify a specific target with "--target <NAME>"
run: cmake --build . --config ${{ matrix.build_type }}
run: |
cd cryptominisat
cmake --build . --config ${{ matrix.build_type }}
- name: Test
working-directory: cryptominisat
#working-directory: ${{runner.workspace}}/build
# Execute tests defined by the CMake configuration.
# See https://cmake.org/cmake/help/latest/manual/ctest.1.html for more detail
run: ctest -C ${{ matrix.build_type }}
run: |
cd cryptominisat
ctest -C ${{ matrix.build_type }}
- name: Upload Artifact - Linux
if: matrix.os == 'ubuntu-20.04' && matrix.staticcompile == 'ON'
Expand Down

0 comments on commit e319c56

Please sign in to comment.