if(BUILD_BOCHS)
	set(SRCS
		CPU.cc
		CPUState.cc
		Listener.cc
		ListenerManager.cc
		SALConfig.cc
		Register.cc
		SimulatorController.cc
		bochs/BochsController.cc
		bochs/BochsListener.cc
		bochs/BochsCPU.cc
	)
elseif(BUILD_GEM5)
	set(SRCS
		CPU.cc
		CPUState.cc
		Listener.cc
		ListenerManager.cc
		SALConfig.cc
		Register.cc
		SimulatorController.cc
		gem5/Gem5Controller.cc
	)
	if(BUILD_ARM)
		set(SRCS ${SRCS}
			gem5/Gem5ArmCPU.cc
		)
	endif(BUILD_ARM)
elseif(BUILD_OVP)
	set(SRCS
		CPU.cc
		CPUState.cc
		Listener.cc
		ListenerManager.cc
		SALConfig.cc
		Register.cc
		SimulatorController.cc
		${VARIANT}/OVPController.cc
	)
elseif(BUILD_QEMU)
	set(SRCS
		CPU.cc
		CPUState.cc
		Listener.cc
		ListenerManager.cc
		SALConfig.cc
		Register.cc
		SimulatorController.cc
		qemu/QEMUController.cc
		qemu/wrappers.cc
	)
elseif(BUILD_T32)
	set(SRCS
		CPU.cc
		CPUState.cc
		Listener.cc
		ListenerManager.cc
		SALConfig.cc
		Register.cc
		SimulatorController.cc
		t32/T32Controller.cc
		t32/wrappers.cc
	)
endif(BUILD_BOCHS)

if(BUILD_X86)
	set(SRCS ${SRCS}
		x86/Architecture.cc
	)
elseif(BUILD_ARM)
	set(SRCS ${SRCS}
		arm/Architecture.cc
	)
endif(BUILD_X86)

# Don't include these sources if perf-stuff is disabled
# (reduces compiler overhead):
if(CONFIG_FAST_WATCHPOINTS)
	set(SRCS ${SRCS}
		perf/WatchpointBuffer.cc
	)
endif(CONFIG_FAST_WATCHPOINTS)

if(CONFIG_FAST_BREAKPOINTS)
	set(SRCS ${SRCS}
		perf/BreakpointBuffer.cc
	)
endif(CONFIG_FAST_BREAKPOINTS)


add_library(fail-sal ${SRCS})
add_dependencies(fail-sal fail-efw)