search

runtimeverification / haskell-backend

The symbolic execution engine powering the K Framework
BSD 3-Clause "New" or "Revised" License
208 stars 41 forks source link

Install missing prerequisites for Ubuntu package on release #3958

Closed Baltoli closed 3 months ago

Baltoli commented 3 months ago

This is a simple oversight on my part; I forgot to replicate this stanza from the test to the release job when making #3955.

Baltoli commented 3 months ago

failure: https://github.com/runtimeverification/haskell-backend/actions/runs/9615943206/job/26524341293

jberthold commented 3 months ago

Was thinking about asking that on #3955 ... there will certtainly be a few more dependencies on (dynamically-loaded) C libraries required to execute any Haskell program, as well as specific other ones we might need for the crypto hook support. Let's have a try with the current minimal explicit dependencies, though, as it all depends on the actual use case for the created package.

Baltoli commented 3 months ago

as it all depends on the actual use case for the created package.

Currently, this package can be thought of as a sort of "orphan" package that will only be consumed by the K CI process; the full set of runtime dependencies for these executables will get installed there. If we want to make this package more widely available we'd need to audit the dependencies installed a bit more carefully.