runtimeverification / llvm-backend

KORE to llvm translation
BSD 3-Clause "New" or "Revised" License
34 stars 19 forks source link

Update to build on Ubuntu Noble #1072

Closed Baltoli closed 1 month ago

Baltoli commented 1 month ago

This PR sets up a parallel build for Ubuntu 24.04 (Noble) alongside our current 22.04 (Jammy) build. Everywhere where we previously built only on Jammy, we now build on both:

The changes here are largely procedural; there are only a couple of places we need to do things that aren't just pattern-matching or version parameterisation:

On Noble, we use LLVM 17 for the time being because of a known bug affecting LLVM 18 in the package repositories that prevents us from using it to package .debs. It does not affect source builds in the same way; there's no real downside to doing this other than not having a totally up-to-date LLVM dependency.

Baltoli commented 1 month ago

Note that this PR will look like checks are missing; this is because of the matrix renaming. I'll update the branch protection rules when the PR is ready to merge.