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> 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
>>> 
>> _______________________________________________
>> Devel mailing list
>> Devel@sel4.systems <mailto:Devel@sel4.systems>
>> https://sel4.systems/lists/listinfo/devel
> 

_______________________________________________
Devel mailing list
Devel@sel4.systems
https://sel4.systems/lists/listinfo/devel

Reply via email to