Commit e6a94ca9 authored by Tomáš Sušovský's avatar Tomáš Sušovský
Browse files

Update LLVM to version 9 in cmake

parent d8d1af81

CMakeLists.txt

+1 −1
Original line number Diff line number Diff line
@@ -88,7 +88,7 @@ target_include_directories(tindger 


target_link_libraries(tindger

        PRIVATE

        LLVM-7

        LLVM-9

        z3

        )