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