/home/runner/work/SVF-1/SVF-1/tools/DDA/CMakeLists.txt File Reference

Functions
	if (DEFINED IN_SOURCE_BUILD) set(LLVM_LINK_COMPONENTS BitWriter Core IPO IrReader InstCombine Instrumentation Target Linker Analysis ScalarOpts Support Svf Cudd) add_llvm_tool(dvf dda.cpp) else() add_executable(dvf dda.cpp) target_link_libraries(dvf Svf Cudd $

Function Documentation

if()

if

(

DEFINED

IN_SOURCE_BUILD

)

Definition at line 2 of file CMakeLists.txt.

                                         {llvm_libs} )