Revert "add libunwind as dependency (#1081)"

runtimeverification / llvm-backend

KORE to llvm translation

BSD 3-Clause "New" or "Revised" License

34 stars 19 forks source link

Closed Baltoli closed 4 weeks ago

Baltoli commented 1 month ago

This reverts commit d86e338b81987c3a332864555ef506703c511e34.

The PR breaks the K release: https://github.com/runtimeverification/k/actions/runs/9414468293/job/25935024808; I'll aim to get a macOS smoke test added that would have caught this before getting so far through the process.

Baltoli commented 4 weeks ago

Superseded by an actual fix in #1093