file(GLOB_RECURSE ALL_SOURCES "*.c")

include_directories(${CMAKE_CURRENT_SOURCE_DIR}/..)

add_library(program ${ALL_SOURCES})

# program dispatches to these backends; declare the deps so the static
# libs are ordered correctly on the link line (program before svf/arm_debug).
target_link_libraries(program PUBLIC svf arm_debug)
