Merge branch 'release-3.3'. Close #266. #46
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: Build tool on OSX | |
| on: | |
| push: | |
| pull_request: | |
| jobs: | |
| build: | |
| runs-on: macos-latest | |
| env: | |
| LDFLAGS: "-L/usr/local/opt/llvm@14/lib" | |
| CPPFLAGS: "-I/usr/local/opt/llvm@14/include" | |
| steps: | |
| - name: Checkout | |
| uses: actions/checkout@v4 | |
| - name: Install dependencies | |
| run: | | |
| brew tap nasa-sw-vnv/core | |
| brew install cmake gmp boost tbb llvm@14 apron sqlite | |
| - name: Adjust path | |
| run: | |
| echo "/usr/local/opt/llvm@14/bin" >> $GITHUB_PATH | |
| - name: Test LLVM | |
| run: | | |
| which llvm-config | |
| - name: Compile IKOS | |
| run: | | |
| mkdir build | |
| cd build | |
| cmake \ | |
| -DCMAKE_INSTALL_PREFIX="/usr/local/opt/ikos" \ | |
| -DCMAKE_BUILD_TYPE="Debug" \ | |
| -DLLVM_CONFIG_EXECUTABLE="$(which llvm-config)" \ | |
| -DPYTHON_EXECUTABLE:FILEPATH="$(which python3)" \ | |
| .. | |
| make | |
| make install | |
| - name: Add IKOS to the path | |
| run: | | |
| echo "/usr/local/opt/ikos/bin" >> $GITHUB_PATH | |
| - name: Confirm that it runs | |
| run: | | |
| ikos --version |