diff options
| author | Rob Austein <sra@hactrn.net> | 2019-09-04 16:30:35 +0000 |
|---|---|---|
| committer | Rob Austein <sra@hactrn.net> | 2019-09-04 16:30:35 +0000 |
| commit | e6fce11310541119a82a57b20cb326712445c455 (patch) | |
| tree | aa0db6b5c8c09a3e7509df150fdcb0162668165a /Makefile | |
| parent | 8a7eb9d54bd903c598e0debc65895daec3fa04de (diff) | |
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 |