[adopt: #4504] README: Add libunwind-dev to list of dependencies for …

…Debian (#4512) Without this installed the build on Debian still works, but the following error is produced when you try to run `kompile`: ld.lld: error: unable to find library -lunwind clang: error: linker command failed with exit code 1... There is no need to rebuild the K framework after installing `libunwind-dev`; it's just the shared library in its dependency `libunwind8` that we need to fix this. (But we use `libunwind-dev` in the README anyway for consistency.) This is apparently not seen on MacOS, probably because -lunwind because it's a part of LLVM there. > This is an adopted PR from @0cjs (#4504) Co-authored-by: Curt J. Sampson <[email protected]> Co-authored-by: rv-jenkins <[email protected]>
runtimeverification · Jul 10, 2024 · 4a5587c · 4a5587c
1 parent 67ffc46
commit 4a5587c
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/README.md b/README.md
@@ -91,6 +91,7 @@ sudo apt-get install    \
     libjemalloc-dev     \
     libmpfr-dev         \
     libsecp256k1-dev    \
+    libunwind-dev       \
     libyaml-dev         \
     libz3-dev           \
     lld-15              \