Find our local Z3 to build remill, even if its not in it usual spot - Githubissues

lifting-bits / remill

Library for lifting machine code to LLVM bitcode

Apache License 2.0

1.29k stars 145 forks source link

Find our local Z3 to build remill, even if its not in it usual spot #420

Closed artemdinaburg closed 4 years ago

artemdinaburg commented 4 years ago

Find Z3 via environment variable or cmake definition Should fix #419