[Feature] Add UnaryExpression and Negate (#86)
#8
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
| # ############################################################################## | |
| # OASIS: Open Algebra Software for Inferring Solutions | |
| # | |
| # cmake-multi-platform.yml | |
| # ############################################################################## | |
| name: CMake on multiple platforms | |
| on: | |
| push: | |
| branches: [ "master" ] | |
| pull_request: | |
| branches: [ "master" ] | |
| jobs: | |
| build_and_test: | |
| runs-on: ${{ matrix.os }} | |
| strategy: | |
| # Sets fail-fast to false to ensure that feedback is delivered for all platforms. | |
| fail-fast: false | |
| # Due to a bug in GCC (https://gcc.gnu.org/bugzilla/show_bug.cgi?id=111485), building with GCC is disabled. | |
| matrix: | |
| os: [ ubuntu-latest, windows-latest ] | |
| build_type: [ Release ] | |
| # c_compiler: [ gcc, clang-17, cl ] | |
| c_compiler: [ clang-17, cl ] | |
| include: | |
| # - os: ubuntu-latest | |
| # c_compiler: gcc | |
| # cpp_compiler: g++ | |
| - os: ubuntu-latest | |
| c_compiler: clang-17 | |
| cpp_compiler: clang++-17 | |
| # - os: windows-latest | |
| # c_comiler: gcc | |
| # cpp_compiler: g++ | |
| - os: windows-latest | |
| c_compiler: cl | |
| cpp_compiler: cl | |
| exclude: | |
| - os: ubuntu-latest | |
| c_compiler: cl | |
| - os: windows-latest | |
| c_compiler: clang-17 | |
| steps: | |
| # Checks out the repository. | |
| - name: Checkout repository | |
| uses: actions/checkout@v4 | |
| # Creates reusable strings to use in steps. | |
| - name: Set reusable strings | |
| id: strings | |
| shell: bash | |
| run: echo "build-dir=${{ github.workspace }}/build" >> "$GITHUB_OUTPUT" | |
| # Installs LLVM 17 on the Ubuntu runner. | |
| - name: Install LLVM 17 | |
| if: ${{ matrix.os == 'ubuntu-latest' }} | |
| run: | | |
| wget https://apt.llvm.org/llvm.sh | |
| chmod +x llvm.sh | |
| sudo ./llvm.sh 17 | |
| # Configures CMake in a subdirectory. | |
| - name: Configure CMake | |
| run: > | |
| cmake | |
| -B ${{ steps.strings.outputs.build-dir }} | |
| -S ${{ github.workspace }} | |
| -DCMAKE_C_COMPILER=${{ matrix.c_compiler }} | |
| -DCMAKE_CXX_COMPILER=${{ matrix.cpp_compiler }} | |
| -DCMAKE_BUILD_TYPE=${{ matrix.build_type }} | |
| # Builds Oasis with the given configuration. | |
| - name: Build Oasis | |
| run: > | |
| cmake | |
| --build ${{ steps.strings.outputs.build-dir }} | |
| --config ${{ matrix.build_type }} | |
| --target Oasis | |
| # Builds the tests for Oasis with the given configurations. | |
| - name: Build OasisTests | |
| run: > | |
| cmake | |
| --build ${{ steps.strings.outputs.build-dir }} | |
| --config ${{ matrix.build_type }} | |
| --target OasisTests | |
| # Runs the tests registered to CTest by CMake. | |
| - name: Test | |
| working-directory: ${{ steps.strings.outputs.build-dir }} | |
| run: ctest --build-config ${{ matrix.build_type }} | |
| # Uploads the build and test artifacts. | |
| - name: Upload artifacts | |
| uses: actions/upload-artifact@v3 | |
| with: | |
| name: build-${{ matrix.os }} | |
| path: | | |
| ${{ steps.strings.outputs.build-dir }} | |
| !${{ steps.strings.outputs.build-dir }}/_deps |