Ticket #84: z3fedora.patch

File z3fedora.patch, 460 bytes (added by Lukáš Zaoral, 5 years ago)

  • releng/cmake/FindZ3.cmake 

    diff -u old/releng/cmake/FindZ3.cmake new/releng/cmake/FindZ3.cmake
    old new  
    22  SET(Z3_FIND_QUIETLY TRUE)
    33ENDIF (Z3_INCLUDE_DIR)
    44
    5 FIND_PATH(Z3_INCLUDE_DIR z3.h z3++.h)
     5FIND_PATH(Z3_INCLUDE_DIR z3.h z3++.h PATH_SUFFIXES z3)
    66
    77SET(Z3_NAMES z3 libz3 ltz3 libz3 lz3)
    88FIND_LIBRARY(Z3_LIBRARY NAMES ${Z3_NAMES} )