Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Fix CI job for Mac due to image upgrade #276

Merged
merged 2 commits into from
Aug 29, 2024
Merged

Fix CI job for Mac due to image upgrade #276

merged 2 commits into from
Aug 29, 2024

Commits on Aug 29, 2024

  1. Fix paths of LLVM in CI job. Refs NASA-SW-VnV#275. 

    The CI job for Mac seems to have updated the image and it's failing to
build when it used to work before. The way that LLVM is installed now
has changed.

This commit fixes the paths of LLVM-related binaries and headers to
point to their new locations.
    @ivanperez-keera
    ivanperez-keera committed Aug 29, 2024
    Configuration menu
    Copy the full SHA
    00ad28f View commit details
    Browse the repository at this point in the history

  2. Install IKOS in HOME directory in CI job. Refs NASA-SW-VnV#275. 

    The CI job for Mac seems to have updated the image and it's failing to
build when it used to work before. The permissions of top-level
directories in the image now prevent us from installing ikos at the top
level.

This change makes the CI job install IKOS in the user's HOME directory
instead.
    @ivanperez-keera
    ivanperez-keera committed Aug 29, 2024
    Configuration menu
    Copy the full SHA
    3b5b3e0 View commit details
    Browse the repository at this point in the history