diff options
Diffstat (limited to 'Makefile')
-rw-r--r-- | Makefile | 12 |
1 files changed, 10 insertions, 2 deletions
@@ -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 |