Thank you so much Kent! It took me a while. I was trying to use -b 15844a5 but it does work.
Best Regards -Daniel Wang > On Mar 7, 2018, at 10:11 PM, <kent.mcl...@data61.csiro.au> > <kent.mcl...@data61.csiro.au> wrote: > > 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 > <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 <devel-bounces@sel4.systems> on behalf of Daniel Wang > <danielwang....@gmail.com> > Sent: Thursday, March 8, 2018 3:53 PM > To: Danis, Adrian (Data61, Kensington NSW) > Cc: devel@sel4.systems > 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 <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