Skip to content

Building refs/pull/1603/merge with OASIS #55

Building refs/pull/1603/merge with OASIS

Building refs/pull/1603/merge with OASIS #55

Workflow file for this run

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