diff options
Diffstat (limited to 'adei/Makefile')
| -rw-r--r-- | adei/Makefile | 24 |
1 files changed, 21 insertions, 3 deletions
diff --git a/adei/Makefile b/adei/Makefile index eb40411..1a88f6f 100644 --- a/adei/Makefile +++ b/adei/Makefile @@ -1,7 +1,25 @@ -all: build -install: push +all: build build-mini +mini: build-mini +install: push push-mini +install-mini: push-mini -.PHONY: rebuild build push start stop restart bash +.PHONY: rebuild build push start stop restart bash mini install-mini deps-mini build-mini rebuild-mini push-mini bash-mini + +deps-mini: + docker pull chsa/microadei:latest + +build-mini: deps-mini Dockerfile.mini + docker build -f Dockerfile.mini --tag chsa/adei-minimal:latest . +# docker build -f Dockerfile.mini --tag chsa/adei-minimal-squashed:latest --squash . + +rebuild-mini: deps-mini Dockerfile.mini + docker build -f Dockerfile.mini --tag chsa/adei-minimal:lates --no-cache . + +push-mini: build-mini + docker push chsa/adei-minimal:latest + +bash-mini: build-mini + docker exec -it adei-minimal /bin/bash build: Dockerfile docker build --tag chsa/adei:latest . |