Error in kraft build

[ASheng1019]

I installed kraft v0.8.1 and execute "kraft build" for qemu/x86_64, which reported:

 W  /host/app-python3/.unikraft/unikraft/lib/uksched/sched.c:38:10: fatal error: sys/membarrier.h: No such file or directory
 W     38 | #include <sys/membarrier.h>
 W        |          ^~~~~~~~~~~~~~~~~~
 W  compilation terminated.
 W  make[1]: *** [/host/app-python3/.unikraft/unikraft/support/build/Makefile.build:27: /host/app-python3/.unikraft/build/libuksched/sched.o] Error 1

I have no idea why this happened. Would you please give me some advice? Thank you a lot.

[StefanJum]

This should have been fixed yesterday, did you try it now or is it an older issue?

[ASheng1019]

I tried "kraft build" again and the results remain the same. What had been changed yesterday?

[StefanJum]

What had been changed yesterday?

This commit was merged unikraft/lib-musl@fd1abc9

Maybe try a kraft clean --proper and then kraft build again. If it still does not work, I'll try to reproduce it on my end.

[ASheng1019]

Maybe try a kraft clean --proper and then kraft build again. If it still does not work, I'll try to reproduce it on my end.

It did not work still. The error report remained the same.

[StefanJum]

On Thu, Mar 28, 2024 at 07:23:36PM -0700, Sheng wrote: > Maybe try a `kraft clean --proper` and then `kraft build` again. If it still does not work, I'll try to reproduce it on my end. It did not work still. The error report remained the same.

Ok. I'll try it and see what the issue is.