Building refs/pull/1595/merge with OASIS #37
Workflow file for this run
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: oasis | |
| run-name: Building ${{ github.ref }} with OASIS | |
| on: | |
| - pull_request | |
| jobs: | |
| build: | |
| strategy: | |
| matrix: | |
| os: | |
| - ubuntu-20.04 | |
| - macos-11 | |
| ocaml-compiler: | |
| - 4.08.x | |
| - 4.14.x | |
| exclude: | |
| - os: macos-11 | |
| ocaml-compiler: 4.08.x | |
| runs-on: ${{ matrix.os }} | |
| continue-on-error: ${{ matrix.os == 'macos-11'}} | |
| env: | |
| TMPDIR: /tmp | |
| XDG_CACHE_HOME: /tmp/cache | |
| BAP_LOG_DIR: /tmp/bap-log | |
| OPAMJOBS: 2 | |
| OPAMRETRES: 8 | |
| steps: | |
| - name: Checkout code | |
| uses: actions/checkout@v2 | |
| - name: Prepare Ubuntu | |
| if: matrix.os == 'ubuntu-20.04' | |
| run: | | |
| sudo apt-get update -y | |
| sudo apt-get install dejagnu -y | |
| - name: Prepare macOS | |
| if: matrix.os == 'macos-11' | |
| run: | | |
| echo 'LLVM_CONFIG=/usr/local/opt/llvm@9/bin/llvm-config' >> $GITHUB_ENV | |
| brew install deja-gnu | |
| - name: Install OCaml ${{ matrix.ocaml-compiler }} | |
| uses: ocaml/setup-ocaml@v2 | |
| with: | |
| ocaml-compiler: ${{ matrix.ocaml-compiler }} | |
| dune-cache: ${{ matrix.os != 'macos-11' }} | |
| opam-disable-sandboxing: true | |
| opam-repositories: | | |
| default: git+https://github.com/ocaml/opam-repository.git | |
| bap: git+https://github.com/BinaryAnalysisPlatform/opam-repository#testing | |
| - name: Install OPAM dependencies | |
| run: opam install . --deps-only | |
| - name: Install dependencies requires for the OASIS build | |
| run: opam install oasis ppx_bap conf-bap-llvm conf-binutils | |
| - name: Configure BAP | |
| run: >- | |
| BAP_DEBUG=true | |
| opam exec -- | |
| ./configure --enable-everything | |
| --disable-ghidra | |
| --disable-ida | |
| --prefix=$(opam var prefix) | |
| --with-llvm-config=$(opam var conf-bap-llvm:config) | |
| --with-llvm-version=$(opam var conf-bap-llvm:package-version) | |
| --objdump-paths="$(opam var conf-binutils:objdumps)" | |
| - name: Build BAP | |
| run: opam exec -- make | |
| - name: Install BAP | |
| run: opam exec -- make reinstall | |
| - name: Run functional tests | |
| run: opam exec -- make check | |
| - uses: actions/upload-artifact@v2 | |
| if: ${{ always() }} | |
| with: | |
| name: bap-log | |
| path: ~/.local/state/bap | |
| - uses: actions/upload-artifact@v2 | |
| if: ${{ always() }} | |
| with: | |
| name: fun-tests-log | |
| path: | | |
| testsuite/*.log | |
| testsuite/logs |