-
Notifications
You must be signed in to change notification settings - Fork 37
New issue
Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.
By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.
Already on GitHub? Sign in to your account
Fix renode rcc build failure (close #170) #171
Conversation
Updates grlib version used by upstream dependency Update Dockerfile ENV key format
7166d38
to
61ff814
Compare
Annoyingly, it will auto-block the merge even though none of the CI docker builds use this directory 🙄 @gmacario, care to test this out and report back? |
With great pleasure 😃 Logged in as cd ~/github/space-ros/docker/renode_rcc
git fetch --all --prune
git checkout 170-renode_rcc-failure-to-build-docker-image
./build.sh Result: OK
Inspect the resulting image:
|
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
As already stated in #171 (comment) and #171 (comment) LGTM
The upstream repository used by this Dockerfile updated their internal dependencies (antmicro/renode-rtems-leon3@4e962e4) which are referenced by version number here:
docker/renode_rcc/Dockerfile
Line 39 in ad020b8
I considered pinning the upstream version given the magic-numbers at play, but because git doesn't support cloning by commit hash, (and the upstream works without branches, tags, or releases), I opted to just fix the bug at hand and leave detection of future issues to the already open #69