This repository was archived by the owner on Oct 30, 2025. It is now read-only.
File tree Expand file tree Collapse file tree 1 file changed +4
-3
lines changed
Expand file tree Collapse file tree 1 file changed +4
-3
lines changed Original file line number Diff line number Diff line change @@ -343,6 +343,7 @@ add_executable(parser_tests
343343 unittests/Parser/ParserTests.cpp
344344)
345345
346+ find_package (Threads)
346347set (LLVM_LDFLAGS "${LLVM_LDFLAGS} ${ALIVE_LDFLAGS} " )
347348foreach (target souper internal -solver-test lexer-test parser-test souper-check count-insts
348349 souperExtractor souperInfer souperInst souperKVStore souperParser
@@ -377,9 +378,9 @@ target_link_libraries(parser-test souperParser)
377378target_link_libraries (souper-check souperTool souperExtractor souperKVStore souperSMTLIB2 souperParser ${HIREDIS_LIBRARY} ${ALIVE_LIBRARY} ${Z3_LIBRARY} )
378379target_link_libraries (clang-souper souperClangTool souperExtractor souperKVStore souperParser souperSMTLIB2 souperTool kleeExpr ${CLANG_LIBS} ${LLVM_LIBS} ${LLVM_LDFLAGS} ${HIREDIS_LIBRARY} ${ALIVE_LIBRARY} ${Z3_LIBRARY} )
379380target_link_libraries (count-insts souperParser)
380- target_link_libraries (extractor_tests souperExtractor ${GTEST_LIBS} ${ALIVE_LIBRARY} )
381- target_link_libraries (inst_tests souperInst ${GTEST_LIBS} ${ALIVE_LIBRARY} )
382- target_link_libraries (parser_tests souperParser ${GTEST_LIBS} ${ALIVE_LIBRARY} )
381+ target_link_libraries (extractor_tests souperExtractor ${GTEST_LIBS} ${ALIVE_LIBRARY} ${CMAKE_THREAD_LIBS_INIT} )
382+ target_link_libraries (inst_tests souperInst ${GTEST_LIBS} ${ALIVE_LIBRARY} ${CMAKE_THREAD_LIBS_INIT} )
383+ target_link_libraries (parser_tests souperParser ${GTEST_LIBS} ${ALIVE_LIBRARY} ${CMAKE_THREAD_LIBS_INIT} )
383384
384385SET (BUILD_CLANG_TOOL 1 CACHE BOOL "Build the Souper Clang tool" )
385386if (NOT BUILD_CLANG_TOOL)
You can’t perform that action at this time.
0 commit comments