/home/runner/work/SVF/SVF/svf-llvm/tools/CMakeLists.txt File Reference

Functions
	add_subdirectory (SABER) add_subdirectory(WPA) add_subdirectory(Example) add_subdirectory(DDA) add_subdirectory(MTA) add_subdirectory(CFL) add_subdirectory(LLVM2SVF) add_subdirectory(AE) set(ALL_TOOLS ae cfl dvf llvm2svf mta saber svf-ex wpa) foreach(_tool IN LISTS ALL_TOOLS) target_link_libraries($
PRIVATE SvfCore SvfLLVM	if (WIN32) if(MSVC OR CMAKE_CXX_SIMULATE_ID STREQUAL "MSVC") if(CMAKE_CXX_COMPILER_FRONTEND_VARIANT STREQUAL "GNU") target_link_options($
PRIVATE Xlinker	endif () endif() set_target_properties($

Variables
PRIVATE Xlinker	STACK
PRIVATE Xlinker	stack

Function Documentation

add_subdirectory()

add_subdirectory

(

SABER

)

Definition at line 1 of file CMakeLists.txt.

                         {_tool} PRIVATE SvfCore SvfLLVM)

endif()

PRIVATE Xlinker endif

(

)

Definition at line 39 of file CMakeLists.txt.

     {_tool}

if()

PRIVATE SvfCore SvfLLVM if

(

WIN32

)

Definition at line 27 of file CMakeLists.txt.

                             {_tool} PRIVATE -Xlinker /STACK:268435456)

Variable Documentation

STACK

PRIVATE Xlinker STACK

Definition at line 31 of file CMakeLists.txt.

stack

PRIVATE Xlinker stack

Definition at line 38 of file CMakeLists.txt.