Re: [seL4] Compilation Error with version

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

Re: [seL4] Compilation Error with version

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) was not updated resulting in this non-intuitive failure. The minimal cmake

Re: [seL4] Compilation Error with version

sed 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.system

Re: [seL4] Compilation Error with version

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

Re: [seL4] Compilation Error with version

.? 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

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

Re: [seL4] Compilation Error with version

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

Re: [seL4] Compilation Error with version

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?

[seL4] Compilation Error with version

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: