Hi Gerwin,
Unfortunately that does not work for me either. I am using the seL4
docker container if that matters.
This is an example gist setting up the problem I am encountering:
https://gist.github.com/fosslinux/96a9a24eaa4ebaea9d4b829a099bb01f
Kind regards,
ST
On 27/9/21 11:10 am, Gerwin Klein wrote:
Hi ST,
it might be as simple as `x86_64` instead of `X86_64`, at least I'm getting the
same error when I use upper case for the platform.
You will need to start in a fresh build directory (i.e. delete the old one),
because the attempt that produces the error already leaves behind files that
CMake will try to use.
This succeeds for me:
mkdir build
cd build
../init-build.sh -DPLATFORM=x86_64 -DSIMULATION=TRUE
>
Cheers,
Gerwin
_______________________________________________
Devel mailing list -- [email protected]
To unsubscribe send an email to [email protected]
