[PATCH] D132799: Make sure libLLVM users link with libatomic if needed

Chris Bieneman via Phabricator via llvm-commits llvm-commits at lists.llvm.org
Fri Sep 9 06:19:24 PDT 2022


beanz accepted this revision.
beanz added a comment.
This revision is now accepted and ready to land.

Sorry, got distracted. The Z3 Solver is an external dependency that gets put on any user of libLLVM if they are building with Z3, so that's correct too.

This LGTM.


Repository:
  rG LLVM Github Monorepo

CHANGES SINCE LAST ACTION
  https://reviews.llvm.org/D132799/new/

https://reviews.llvm.org/D132799



More information about the llvm-commits mailing list