Fixes #126. Introduces two different stages release and debug that can be selected with docker build --target.
Building a debug image involves building a release image and throwing it away. Side benefit is that building a debug image at least verifies that a release image can be built. Not sure how to get around this without resorting to two different Dockerfiles.
Changes
Fixes #126. Introduces two different stages
release
anddebug
that can be selected withdocker build --target
.Building a debug image involves building a release image and throwing it away. Side benefit is that building a debug image at least verifies that a release image can be built. Not sure how to get around this without resorting to two different
Dockerfile
s.Verification
Ran
make docker-build && make docker-build-debug