Is the stack group required for a regular build environment? about sel4-camkes-l4v-dockerfiles HOT 6 CLOSED

Ah, right, I see the issue - you're right, it should not be added in this case.

The makefile is mistakenly assuming that the stack group has been added - but this will only have occurred when using the camkes image.

I'll put up a fix soon.

from sel4-camkes-l4v-dockerfiles.

It is so that the haskell dependencies for the capDL loader (I believe) can be cached for building camkes apps.

Removing it should still work, but it means that the first time a camkes app is built, it has to go and fetch everything from stack.

Is it causing an issue for you?

from sel4-camkes-l4v-dockerfiles.

I was helping someone get going with seL4test and we were running into problems because there wasn't a stack group on the host machine.

from sel4-camkes-l4v-dockerfiles.

That's a bit odd - the host machine groups shouldn't cause an issue, because the --group-add should only be acting in the container.
Do you have any logs that show the issue?

from sel4-camkes-l4v-dockerfiles.

When I build with make -C ${DOCKER_PATH} user_sel4-riscv USER_IMG=jesse-sel4-riscv HOST_DIR=$(pwd) I get this:

Successfully tagged jesse-sel4-riscv:latest
docker run \
	-it \
	--hostname in-container \
	--rm \
	-u 1000:1000  \
	--group-add stack \
	--group-add sudo \
	-v /home/jesse/Code/gitrepos/sel4test:/host:z \
	-v jesse-home:/home/jesse \
	-v /etc/localtime:/etc/localtime:ro \
	jesse-sel4-riscv bash
docker: Error response from daemon: Unable to find group stack.
Makefile:138: recipe for target 'user_run' failed
make: *** [user_run] Error 125
make: Leaving directory '/home/jesse/Code/gitrepos/seL4-CAmkES-L4v-dockerfiles'

When I remove that line it's fine.

from sel4-camkes-l4v-dockerfiles.

This should be fixed up via 76e0b7e
Sorry for the delays, and let us know if there are still issues.

from sel4-camkes-l4v-dockerfiles.