[llvm-bugs] [Bug 44052] New: Pre-built binaries for ubuntu 19.04 link against a too-recent libz3

[via llvm-bugs]

https://bugs.llvm.org/show_bug.cgi?id=44052

            Bug ID: 44052
           Summary: Pre-built binaries for ubuntu 19.04 link against a
                    too-recent libz3
           Product: Packaging
           Version: unspecified
          Hardware: PC
                OS: Linux
            Status: NEW
          Severity: normal
          Priority: P
         Component: binary tarballs
          Assignee: unassignedbugs at nondot.org
          Reporter: anisse at astier.eu
                CC: llvm-bugs at lists.llvm.org

Pre-built LLVM 9.0.0 binaries for "Ubuntu 19.04" link against a too recent
libz3 for Ubuntu 19.04:

http://releases.llvm.org/download.html

clang+llvm-9.0.0-x86_64-pc-linux-gnu $ ./clang
./clang: error while loading shared libraries: libz3.so.4.8: cannot open shared
object file: No such file or directory
clang+llvm-9.0.0-x86_64-pc-linux-gnu $ ./clangd
./clangd: error while loading shared libraries: libz3.so.4.8: cannot open
shared object file: No such file or directory

libz3 4.8 needs Ubuntu 19.10:
https://packages.ubuntu.com/search?keywords=libz3-4

The good news is that the pre-built package for Ubuntu 18.04 does work on
Ubuntu 19.04.

I initially considered opening a bug against the website to just rename Ubuntu
19.04 to Ubuntu 19.10 on the download page, but I'll leave that to your
judgement.

-- 
You are receiving this mail because:
You are on the CC list for the bug.
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.llvm.org/pipermail/llvm-bugs/attachments/20191119/c8ca7123/attachment.html>