docker.mk

##############################
## Container images
##
SHELL := /bin/bash
REGISTRY ?= localhost:5000
VERSION ?= latest #$(shell git describe --tags)

define build_image
	#echo "Dockerfile $(1)"
	#echo "container $(2)"
	#echo "Current dependencies $^"
	@CDATE=$$(docker image inspect $(2) --format '{{.Created}}'); \
	if [[ $$? != 0 ]]; then \
		docker pull $(REGISTRY)/$(2):$(VERSION); \
		docker tag $(REGISTRY)/$(2):$(VERSION) $(2); \
		CDATE=$$(docker image inspect $(2) --format '{{.Created}}'|| echo "1970-01-01 00:00:00.000000"); \
	fi; \
	CTIME=$$(date --date="$$(echo $$CDATE | awk '{print $$1" "$$2}')" +"%s"); \
	for file in $^; do \
	  if [[ $$CTIME -lt $$(stat -c %Y $$file) ]]; then \
	    echo "$$file is newer than the container"; \
	    OLDID=$$(docker images $(2) --format '{{.ID}}'); \
	    docker -D -l debug build \
			--build-arg http_proxy=$${HTTP_PROXY:-$${http_proxy:-$(HTTP_PROXY)}} \
			--build-arg https_proxy=$${HTTPS_PROXY:-$${https_proxy:-$(HTTP_PROXY)}} \
			-f $(1) \
			-t $(2) .; \
	    NEWID=$$(docker images $(2) --format '{{.ID}}'|grep -v $$OLDID); \
	    if [[ "$$OLDID" != "" && "$$OLDID" != "$$NEWID" ]]; then echo "Removing image $$OLDID"; docker rmi $$OLDID; fi; \
	    break; \
	  fi; \
	done; if [ "$$NEWID" == "" ]; then echo "Container image $(2) is already up-to-date"; fi
endef

define push_image
	#echo local image name $(1)
	echo "Tagging and pushing $(1) as $(REGISTRY)/$(1):$(VERSION)"; \
	docker tag $(1) $(REGISTRY)/$(1):$(VERSION); \
	docker push $(REGISTRY)/$(1):$(VERSION)
endef