[PATCH] D85195: Add Z3 to system libraries list if enabled

[Mateusz Mikuła via Phabricator via llvm-commits]

mati865 added a comment.

Could you commit it for me please? I don't have write permission to the repo.


Repository:
  rG LLVM Github Monorepo

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

https://reviews.llvm.org/D85195