Sorry to bother again. Just want to confirm the last working version for me (built on a Ubuntu 16.04 virtual machine) is camkes-arm-vm-manifest d648f10. I do not know if it is because some of the tools I have is old or something. I just found repo support local-manifest. So check out the old commit and copied the default.xml to another file in .repo and use command “repo sync -m local-manifest.xml”.
For other version it stops at building camkes-accelerator:
[camkes-accelerator] building...
-- Configuring done
-- Generating done
-- Build files have been written to: /home/daniel/Documents/camkes-arm-vmm/stage/arm/tk1/accelerator
ninja: error: '/home/daniel/Documents/camkes-arm-vmm/tools/camkes/tools/accelerator/DEPFILE', needed by 'include/version.h', missing and no known rule to make it
Makefile:137: recipe for target '/home/daniel/Documents/camkes-arm-vmm/stage/arm/tk1/accelerator/camkes-accelerator' failed
make: *** [/home/daniel/Documents/camkes-arm-vmm/stage/arm/tk1/accelerator/camkes-accelerator] Error 1
I’m afraid that the new update in default.xml in camkes-arm-vm-manifest repository may cause the problem. I could not get the old commit back, the “repo sync” seems always do a git pull before fetching… Does anyone know how to make repo download based on old manifest.xml?
I saw something similar with Camkes-arm-vm-manifest repository after I sync. Will do more test make sure it is not a issue with configuration.
Hi Thad,
Can you please provide steps to reproduce this.
Adrian
On Thu 08-Mar-2018 4:01 AM, Thad Seeberger wrote:
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
)
_______________________________________________
Devel mailing list
Devel@sel4.systems
https://sel4.systems/lists/listinfo/devel
_______________________________________________
Devel mailing list
Devel@sel4.systemshttps://sel4.systems/lists/listinfo/devel