From a38a324ad2bbce306900fbf4178b0f9c42a9c7e0 Mon Sep 17 00:00:00 2001 From: Antoine Date: Thu, 10 Sep 2020 22:31:39 +0200 Subject: [PATCH] add Makefile release target for graal native image --- Makefile | 8 +++++++- 1 file changed, 7 insertions(+), 1 deletion(-) diff --git a/Makefile b/Makefile index 15014fc..2ce3b63 100644 --- a/Makefile +++ b/Makefile @@ -1,5 +1,7 @@ .PHONY: build run debug docker-build docker-run docker-graal-introspect docker-graal-build docker-graal-run +NATIVE_VERSION=1.0.0 + build: ./mvnw compile @@ -21,8 +23,12 @@ docker-graal-introspect: docker build -f ./Dockerfile-agent -t docker.registry:5000/wikiproject-native-introspect . docker run -p 8080:$(RUN_PORT) -e RUN_PORT=$(RUN_PORT) --rm -v $$(pwd):/build docker.registry:5000/wikiproject-native-introspect +docker-graal-build: NATIVE_VERSION=latest docker-graal-build: - docker build -t docker.registry:5000/wikiproject-native . + docker build -t docker.registry:5000/wikiproject-native:$(NATIVE_VERSION) . + +docker-graal-release: + docker tag docker.registry:5000/wikiproject-native:latest docker.registry:5000/wikiproject-native:$(NATIVE_VERSION) docker-graal-run: RUN_PORT=8080 docker-graal-run: