Hi Daniel, The accelerator was changed in a way that requires some newer cmake features, but the cmake minimum required version (https://github.com/seL4/camkes-tool/blob/master/tools/accelerator/CMakeLists.txt#L15) was not updated resulting in this non-intuitive failure. The minimal cmake version is now 3.7.2 and I will update the accelerator accordingly, but you should make sure your version of cmake is at least that.
Adrian On Thu 08-Mar-2018 4:12 PM, Daniel Wang wrote: > 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 > > > Best Regards > -Daniel Wang > > > >> On Mar 7, 2018, at 9:53 PM, Daniel Wang <danielwang....@gmail.com> wrote: >> >> 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 <danielwang....@gmail.com >>> <mailto:danielwang....@gmail.com>> 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, <adrian.da...@data61.csiro.au >>>> <mailto:adrian.da...@data61.csiro.au>> <adrian.da...@data61.csiro.au >>>> <mailto:adrian.da...@data61.csiro.au>> 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 >>>>> Devel@sel4.systems <mailto:Devel@sel4.systems> >>>>> https://sel4.systems/lists/listinfo/devel >>>>> <https://sel4.systems/lists/listinfo/devel> >>>>> >>>> _______________________________________________ >>>> Devel mailing list >>>> Devel@sel4.systems <mailto:Devel@sel4.systems> >>>> https://sel4.systems/lists/listinfo/devel >>>> <https://sel4.systems/lists/listinfo/devel> >>> >> > > _______________________________________________ Devel mailing list Devel@sel4.systems https://sel4.systems/lists/listinfo/devel