diff options
-rw-r--r-- | Dockerfile | 6 | ||||
-rw-r--r-- | Makefile | 12 |
2 files changed, 14 insertions, 4 deletions
@@ -1,8 +1,10 @@ # Given that this is security software, you might want to consider # generating your own debian:stretch base image using debbootstrap -# rather than trusting Dockerhub +# rather than trusting Dockerhub, see "base" target in the Makefile. -FROM debian:stretch +ARG DIST=debian +ARG CODE=stretch +FROM $DIST:$CODE # Prerequisites. Current version of python-django is a bit too recent # for the rpki-ca GUI, but rpki-rp only uses the ORM, which hasn't @@ -1,8 +1,16 @@ +DIST := debian +CODE := stretch + all: apt-get download rpki-rp - docker build -t rpki-rp . + docker build --tag rpki-rp --build-arg 'DIST=${DIST}' --build-arg 'CODE=${CODE}' . clean: git clean -dfx -.PHONY: all clean +base: + sudo debootstrap ${CODE} ${CODE} + sudo tar -C ${CODE} -c . | docker import - ${DIST}:${CODE} + sudo rm -rf ${CODE} + +.PHONY: all clean base |