378b6bb391
This was previously using the standard docker makefile I use as a starting point for all of my docker makefiles. Now it will properly mount the source directory.
37 lines
814 B
Makefile
37 lines
814 B
Makefile
IMAGE_NAME:=cargo-fmt
|
|
# REMOTE_REPO:=harbor.fizz.buzz/private
|
|
|
|
.PHONY: all
|
|
all: build push
|
|
|
|
.PHONY: build
|
|
build:
|
|
docker build -t $(IMAGE_NAME) -f Dockerfile ../../
|
|
|
|
.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
|
|
|
|
# NOTE: This target will write to folders underneath the git-root
|
|
.PHONY: run
|
|
run:
|
|
docker run --rm --init -v "$$(readlink -f ../../):/source" --workdir=/source $(IMAGE_NAME)
|
|
|
|
.PHONY: shell
|
|
shell:
|
|
docker run --rm -i -t --entrypoint /bin/sh $(IMAGE_NAME)
|