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
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
vers
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-manifes
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 com
.?
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-a
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 W
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
>
>
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?
>
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/xxx