Skip to content

Update to clang 15 and add CI #18

Update to clang 15 and add CI

Update to clang 15 and add CI #18

Workflow file for this run

name: CI
on:
pull_request:
push:
branches:
- main
- cheri-tests
# cancel in-progress job when a new push is performed
concurrency:
group: ci-${{ github.workflow }}-${{ github.ref }}
cancel-in-progress: true
jobs:
build:
strategy:
matrix:
version: [4.14.1]
runs-on: ubuntu-22.04
steps:
- uses: actions/checkout@v3
# clang-15 seems to be required for ClangConfig.cmake
# libclang-14-dev and libclang-cpp14-dev seem to be for the opam conf-libclang package
# llvm-15-dev seems to be for the LLVM cmake files/package
- name: System dependencies (ubuntu)
run: |
sudo apt-get install clang-15 cmake libclang-14-dev libclang-15-dev libclang-cpp14-dev llvm-15-dev opam python3
- name: Restore cached opam
id: cache-opam-restore
uses: actions/cache/restore@v4
with:
path: ~/.opam
key: ${{ matrix.version }}
- name: Setup opam
if: steps.cache-opam-restore.outputs.cache-hit != 'true'
run: |
opam init --yes --no-setup --shell=sh --compiler=${{ matrix.version }}
opam install --with-test --deps-only --yes .
- name: Save cached opam
if: steps.cache-opam-restore.outputs.cache-hit != 'true'
id: cache-opam-save
uses: actions/cache/save@v4
with:
path: ~/.opam
key: ${{ steps.cache-opam-restore.outputs.cache-primary-key }}
- name: Install c-tree-carver
run: |
opam switch ${{ matrix.version }}
eval $(opam env --switch=${{ matrix.version }})
opam install --with-test --yes .
- name: Run CI tests
run: |
opam switch ${{ matrix.version }}
eval $(opam env --switch=${{ matrix.version }})
dune runtest && cd cpp && python3 ./test/run_test.py make && python3 ./test/run_test.py for --carver clang-tree-carve.exe