Hi Daniel,
To check out a particular version of default.xml you can pin it when you checkout via: repo init -u https://github.com/SEL4PROJ/camkes-arm-vm-manifest.git -b 15844a5f9ddd4a7b1a29144201e8a7431917efdb Having initialised a repo this way, running repo sync will not update anything.? ________________________________ From: Devel <[email protected]> on behalf of Daniel Wang <[email protected]> Sent: Thursday, March 8, 2018 3:53 PM To: Danis, Adrian (Data61, Kensington NSW) Cc: [email protected] Subject: Re: [seL4] Compilation Error with version 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? Best Regards -Daniel Wang On Mar 7, 2018, at 5:43 PM, Daniel Wang <[email protected]<mailto:[email protected]>> wrote: 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. Best Regards -Daniel Wang On Mar 7, 2018, at 5:37 PM, <[email protected]<mailto:[email protected]>> <[email protected]<mailto:[email protected]>> wrote: 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 [email protected]<mailto:[email protected]> https://sel4.systems/lists/listinfo/devel _______________________________________________ Devel mailing list [email protected]<mailto:[email protected]> https://sel4.systems/lists/listinfo/devel
_______________________________________________ Devel mailing list [email protected] https://sel4.systems/lists/listinfo/devel
