Compilation Error with version

Thad Seeberger

8 Mar 2018 8 Mar '18

4:01 a.m.

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 )

Attachments:

attachment.html (text/html — 1.8 KB)

Show replies by date

Adrian.Danis＠data61.csiro.au

8 Mar 8 Mar

11:37 a.m.

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

Daniel Wang

11:43 a.m.

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, 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

Daniel Wang

3:53 p.m.

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 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, mailto:Adrian.Danis@data61.csiro.au> mailto:Adrian.Danis@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

Kent.Mcleod＠data61.csiro.au

4:11 p.m.

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 -b 15844a5f9ddd4a7b1a29144201e8a7431917efdb Having initialised a repo this way, running repo sync will not update anything.? ________________________________ From: Devel on behalf of Daniel Wang 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 mailto:danielwang.ksu@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, mailto:Adrian.Danis@data61.csiro.au> mailto:Adrian.Danis@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.systemsmailto:Devel@sel4.systems https://sel4.systems/lists/listinfo/devel _______________________________________________ Devel mailing list Devel@sel4.systemsmailto:Devel@sel4.systems https://sel4.systems/lists/listinfo/devel

Daniel Wang

4:13 p.m.

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, 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 on behalf of Daniel Wang 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 mailto:danielwang.ksu@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, mailto:Adrian.Danis@data61.csiro.au> mailto:Adrian.Danis@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

Daniel Wang

4:12 p.m.

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 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 mailto:danielwang.ksu@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, mailto:Adrian.Danis@data61.csiro.au> mailto:Adrian.Danis@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

Adrian.Danis＠data61.csiro.au

4:24 p.m.

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...) 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 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 mailto:danielwang.ksu@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, mailto:Adrian.Danis@data61.csiro.au> mailto:Adrian.Danis@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

Daniel Wang

4:32 p.m.

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, 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... https://github.com/seL4/camkes-tool/blob/master/tools/accelerator/CMakeLists...) 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 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 mailto:danielwang.ksu@gmail.com mailto:danielwang.ksu@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, mailto:Adrian.Danis@data61.csiro.au mailto:Adrian.Danis@data61.csiro.au>> mailto:Adrian.Danis@data61.csiro.aumailto:Adrian.Danis@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> 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> https://sel4.systems/lists/listinfo/devel https://sel4.systems/lists/listinfo/devel <https://sel4.systems/lists/listinfo/devel https://sel4.systems/lists/listinfo/devel>

2478

Age (days ago)

2479

Last active (days ago)

List overview

Download

8 comments

4 participants

participants (4)

Adrian.Danis＠data61.csiro.au
Daniel Wang
Kent.Mcleod＠data61.csiro.au
Thad Seeberger

Compilation Error with version

tags

participants (4)