I see. I thought it might be due to my old configuration. Thank you for 
pointing it out for me. I will update my cmake.

Best Regards
-Daniel Wang



> On Mar 7, 2018, at 10:24 PM, <adrian.da...@data61.csiro.au> 
> <adrian.da...@data61.csiro.au> wrote:
> 
> 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
>  
> <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> <mailto: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> 
>>>>> <mailto:adrian.da...@data61.csiro.au 
>>>>> <mailto:adrian.da...@data61.csiro.au>>> <adrian.da...@data61.csiro.au 
>>>>> <mailto:adrian.da...@data61.csiro.au><mailto: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> 
>>>>>> <mailto:Devel@sel4.systems <mailto:Devel@sel4.systems>>
>>>>>> https://sel4.systems/lists/listinfo/devel 
>>>>>> <https://sel4.systems/lists/listinfo/devel> 
>>>>>> <https://sel4.systems/lists/listinfo/devel 
>>>>>> <https://sel4.systems/lists/listinfo/devel>>
>>>>>> 
>>>>> _______________________________________________
>>>>> Devel mailing list
>>>>> Devel@sel4.systems <mailto:Devel@sel4.systems> <mailto:Devel@sel4.systems 
>>>>> <mailto:Devel@sel4.systems>>
>>>>> https://sel4.systems/lists/listinfo/devel 
>>>>> <https://sel4.systems/lists/listinfo/devel> 
>>>>> <https://sel4.systems/lists/listinfo/devel 
>>>>> <https://sel4.systems/lists/listinfo/devel>>

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

Reply via email to