camkes: re-add lib32stdc++-10-dev #85
Conversation
|
Not sure if what will happen on the ARM64 container, maybe we need something like |
|
Possible. I was hoping for the PR build to show me if that's working or not. |
|
Hm, I'm starting to understand what you probably meant. The arm64 version of that package will probably install fine, but probably not help at all with building that x86 VMM. Not sure what the VMM build there actually expects. |
It will probably be trying to cross compile for guest user-level programs which will be ia32-linux which is why it needs those headers. |
ef7632c removed lib32stdc++-10-dev, but it is still needed for the 32bit CamkES Linux VMM. Signed-off-by: Gerwin Klein <[email protected]>
|
It looks like |
ef7632c removed lib32stdc++-10-dev, but it is still needed for the 32bit CamkES Linux VMM.
This should fix #84, although I haven't been able to try it out yet.