Good day. I am getting hung up compiling the CAmkES compiles. I'm getting following error which I believe is because the version.h.d does not exist. Where is the version set?

thx

[camkes-accelerator] building...

-- Configuring done

-- Generating done

-- Build files have been written to: /home/xxxx/seL4_camkes_x86_64/stage/x86/pc99/accelerator

ninja: error: '/home/xxxx/seL4_camkes_x86_64/tools/camkes/tools/accelerator/DEPFILE', needed by '.', missing and no known rule to make it

make: *** [/home/xxxx/seL4_camkes_x86_64/stage/x86/pc99/accelerator/camkes-accelerator] Error 1

ive traced it down I think to this block in the Cmakeadd_custom_command(

OUTPUT ${CMAKE_CURRENT_BINARY_DIR}

OUTPUT ${CMAKE_CURRENT_BINARY_DIR}/include/version.h

OUTPUT ${CMAKE_CURRENT_BINARY_DIR}/version.h.d

# Build a valid dependency file from the print-deps script, this is a little awkward

COMMAND echo "include/version.h: " > "${CMAKE_CURRENT_BINARY_DIR}/version.h.d"

COMMAND "${CMAKE_CURRENT_SOURCE_DIR}/print-deps.py" >> "${CMAKE_CURRENT_BINARY_DIR}/version.h.d"

COMMAND sed -i "s/$$/\\/" "${CMAKE_CURRENT_BINARY_DIR}/version.h.d"

COMMAND

COMMAND "${CMAKE_CURRENT_SOURCE_DIR}/mkversion.py" >"${CMAKE_CURRENT_BINARY_DIR}/include/version.h"

DEPENDS mkversion.py

DEPENDS print-deps.py

DEPFILE ${CMAKE_CURRENT_BINARY_DIR}/version.h.d

)