if (NOT DEFINED BOARD) set(BOARD iss) endif() if (NOT DEFINED ISA) set(ISA imc) endif() message(STATUS "Building firmware using ${BOARD} board configuration and isa ${ISA}") add_custom_target(fw-hello-world ALL COMMAND make -C hello-world BOARD=${BOARD} ISA=${ISA} && make -C benchmarks/dhrystone BOARD=${BOARD} ISA=${ISA} && make -C benchmarks/coremark BOARD=${BOARD} ISA=${ISA} USES_TERMINAL WORKING_DIRECTORY ${CMAKE_CURRENT_SOURCE_DIR})