Checkout submodules. #166
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| name: KLEE Test | |
| on: | |
| push: | |
| branches: [ "main" ] | |
| pull_request: | |
| # The branches below must be a subset of the branches above | |
| branches: [ "main" ] | |
| workflow_dispatch: | |
| jobs: | |
| klee: | |
| runs-on: ubuntu-latest | |
| container: | |
| image: klee/klee:3.0 | |
| options: -u 0 --ulimit="stack=-1:-1" | |
| steps: | |
| - name: Get the Kitware APT repository signing key | |
| run: | | |
| wget -O - https://apt.kitware.com/keys/kitware-archive-latest.asc 2>/dev/null | gpg --dearmor - | sudo tee /usr/share/keyrings/kitware-archive-keyring.gpg >/dev/null | |
| - name: Add Kitware repository | |
| run: | | |
| CODENAME=$(lsb_release -c | sed -n -e 's/Codename:[[:space:]]*//gp') | |
| echo "deb [signed-by=/usr/share/keyrings/kitware-archive-keyring.gpg] https://apt.kitware.com/ubuntu/ $CODENAME main" | sudo tee /etc/apt/sources.list.d/kitware.list >/dev/null | |
| - name: apt update | |
| run: | | |
| sudo apt-get update | |
| - name: Install the kitware-archive-keyring package | |
| run: | | |
| sudo rm /usr/share/keyrings/kitware-archive-keyring.gpg | |
| sudo apt-get install -y kitware-archive-keyring | |
| - name: Upgrade git | |
| run: | | |
| sudo add-apt-repository -y ppa:git-core/ppa | |
| sudo apt-get install -y git | |
| - name: Install cmake, ninja | |
| run: | | |
| sudo apt-get install -y cmake ninja-build | |
| - name: Checkout repository | |
| uses: actions/checkout@v4 | |
| with: | |
| submodules: 'True' | |
| - name: Create Build Environment | |
| run: cmake -E make_directory "${{ github.workspace }}/build" | |
| - name: Configure | |
| run: | | |
| cmake -G Ninja \ | |
| -B "${{ github.workspace }}/build" \ | |
| -S "$GITHUB_WORKSPACE" \ | |
| -D CMAKE_BUILD_TYPE=Release \ | |
| -D CMAKE_CXX_COMPILER=clang++ \ | |
| -D CMAKE_C_COMPILER=clang \ | |
| -D WERROR=Yes | |
| - name: Build and Test | |
| run: | | |
| cmake --build "${{ github.workspace }}/build" --target klee-all |