Makefile 317 B

12345678910111213141516
  1. DIST := debian
  2. CODE := stretch
  3. all:
  4. apt-get download rpki-rp
  5. docker build --tag rpki-rp --build-arg 'DIST=${DIST}' --build-arg 'CODE=${CODE}' .
  6. clean:
  7. git clean -dfx
  8. base:
  9. sudo debootstrap ${CODE} ${CODE}
  10. sudo tar -C ${CODE} -c . | docker import - ${DIST}:${CODE}
  11. sudo rm -rf ${CODE}
  12. .PHONY: all clean base