cmake MAAT_HAS_SOLVER_BACKEND examples

trailofbits/maat CMakeLists.txt :130 

target_compile_definitions(maat_maat PUBLIC MAAT_Z3_BACKEND=1 MAAT_HAS_SOLVER_BACKEND=1)

trailofbits/maat bindings/bindings.cmake :81 

target_compile_definitions(maat_python PRIVATE MAAT_Z3_BACKEND=1 MAAT_HAS_SOLVER_BACKEND=1)