2023-07-11 10:49:08 +00:00
|
|
|
IMAGE_NAME:=cargo-fmt
|
|
|
|
# REMOTE_REPO:=harbor.fizz.buzz/private
|
|
|
|
|
|
|
|
.PHONY: all
|
|
|
|
all: build push
|
|
|
|
|
|
|
|
.PHONY: build
|
|
|
|
build:
|
2023-08-21 03:53:11 +00:00
|
|
|
docker build -t $(IMAGE_NAME) -f Dockerfile ../../
|
2023-07-11 10:49:08 +00:00
|
|
|
|
|
|
|
.PHONY: push
|
|
|
|
push:
|
|
|
|
ifdef REMOTE_REPO
|
|
|
|
docker tag $(IMAGE_NAME) $(REMOTE_REPO)/$(IMAGE_NAME)
|
|
|
|
docker push $(REMOTE_REPO)/$(IMAGE_NAME)
|
|
|
|
else
|
|
|
|
@echo "REMOTE_REPO not defined, not pushing to a remote repo."
|
|
|
|
endif
|
|
|
|
|
|
|
|
.PHONY: clean
|
|
|
|
clean:
|
|
|
|
docker rmi $(IMAGE_NAME)
|
|
|
|
ifdef REMOTE_REPO
|
|
|
|
docker rmi $(REMOTE_REPO)/$(IMAGE_NAME)
|
|
|
|
else
|
|
|
|
@echo "REMOTE_REPO not defined, not removing from remote repo."
|
|
|
|
endif
|
|
|
|
|
2023-08-27 21:29:55 +00:00
|
|
|
# NOTE: This target will write to folders underneath the git-root
|
2023-07-11 10:49:08 +00:00
|
|
|
.PHONY: run
|
2023-08-27 21:51:57 +00:00
|
|
|
run: build
|
2023-08-27 21:29:55 +00:00
|
|
|
docker run --rm --init -v "$$(readlink -f ../../):/source" --workdir=/source $(IMAGE_NAME)
|
2023-07-11 10:49:08 +00:00
|
|
|
|
|
|
|
.PHONY: shell
|
2023-08-27 21:51:57 +00:00
|
|
|
shell: build
|
2023-08-27 21:50:33 +00:00
|
|
|
docker run --rm -i -t --entrypoint /bin/sh -v "$$(readlink -f ../../):/source" --workdir=/source $(IMAGE_NAME)
|