[PATCH] D115513: [CMake][Z3] Add customized Z3 install path to RPATH

Dominic Chen via Phabricator via llvm-commits llvm-commits at lists.llvm.org
Tue Feb 15 17:27:48 PST 2022

Previous message: [PATCH] D115513: [CMake][Z3] Add customized Z3 install path to RPATH
Next message: [PATCH] D119810: [ProfData] Change type of options from int to uint64_t.
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

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

I haven't used the z3 integration in a long time, but looks fine to me.


Repository:
  rG LLVM Github Monorepo

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

https://reviews.llvm.org/D115513

Previous message: [PATCH] D115513: [CMake][Z3] Add customized Z3 install path to RPATH
Next message: [PATCH] D119810: [ProfData] Change type of options from int to uint64_t.
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

More information about the llvm-commits mailing list