add_custom_target(fw-hello-world ALL 
	  		COMMAND make -C ${riscvfw_SOURCE_DIR}/hello-world
			USES_TERMINAL
			WORKING_DIRECTORY ${CMAKE_CURRENT_SOURCE_DIR})
	  	add_custom_target(fw-dhrystone ALL 
	  		COMMAND make -C ${riscvfw_SOURCE_DIR}/benchmarks/dhrystone
	        USES_TERMINAL
	        WORKING_DIRECTORY ${CMAKE_CURRENT_SOURCE_DIR})
	  	add_custom_target(fw-coremark ALL 
	  		COMMAND make -C ${riscvfw_SOURCE_DIR}/benchmarks/coremark/cm PORT_DIR=../tgc
	        USES_TERMINAL
	        WORKING_DIRECTORY ${CMAKE_CURRENT_SOURCE_DIR})