Comments (6)
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.
Related Issues (20)
- Issues building images, due to apt error HOT 1
- make user doesn't work on mac HOT 3
- Docker option :exec not accepted by docker. HOT 2
- make user does not work HOT 5
- `make user` fails with `docker: Error response from daemon: Unable to find group stack.` on MacOS HOT 1
- Investigate if linter can be PR scoped HOT 1
- make user failed on MacBook Pro with Apple M1 chipset HOT 46
- Freeze Python package dependencies (camkes-deps currently breaks) HOT 2
- Clarification on pull request #42
- delete merged branches "spdx" and "fix_os" HOT 1
- Update Haskell toolchain in containers HOT 5
- Do not run Authenticate and Push on forks HOT 1
- Update QEMU to 7.0 as is enforces stronger RISC-V spec compliance HOT 6
- review bash invocations in this repo
- deploy action is running out of disk space HOT 1
- timezone setting on MacOS broken again HOT 8
- remove cogent HOT 1
- Suggest updating to a more recent base.
- sign containers and check signatures of content in containers HOT 1
Recommend Projects
-
React
A declarative, efficient, and flexible JavaScript library for building user interfaces.
-
Vue.js
🖖 Vue.js is a progressive, incrementally-adoptable JavaScript framework for building UI on the web.
-
Typescript
TypeScript is a superset of JavaScript that compiles to clean JavaScript output.
-
TensorFlow
An Open Source Machine Learning Framework for Everyone
-
Django
The Web framework for perfectionists with deadlines.
-
Laravel
A PHP framework for web artisans
-
D3
Bring data to life with SVG, Canvas and HTML. 📊📈🎉
-
Recommend Topics
-
javascript
JavaScript (JS) is a lightweight interpreted programming language with first-class functions.
-
web
Some thing interesting about web. New door for the world.
-
server
A server is a program made to process requests and deliver data to clients.
-
Machine learning
Machine learning is a way of modeling and interpreting data that allows a piece of software to respond intelligently.
-
Visualization
Some thing interesting about visualization, use data art
-
Game
Some thing interesting about game, make everyone happy.
Recommend Org
-
Facebook
We are working to build community through open source technology. NB: members must have two-factor auth.
-
Microsoft
Open source projects and samples from Microsoft.
-
Google
Google ❤️ Open Source for everyone.
-
Alibaba
Alibaba Open Source for everyone
-
D3
Data-Driven Documents codes.
-
Tencent
China tencent open source team.
from sel4-camkes-l4v-dockerfiles.