We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
1 parent b682e63 commit 9d5a63cCopy full SHA for 9d5a63c
1 file changed
scripts/docker/Makefile
@@ -3,6 +3,7 @@
3
# --------------------------------------------------------------------
4
VARIANT ?= build
5
TAG ?= main
6
+BARGS += --build-arg EC_VERSION=$(TAG)
7
8
9
.PHONY: default build publish
@@ -12,6 +13,7 @@ default: build
12
13
build:
14
docker build -f Dockerfile.$(VARIANT) \
15
--platform linux/amd64 \
16
+ $(BARGS) \
17
-t ghcr.io/easycrypt/ec-$(VARIANT)-box:$(TAG) \
18
.
19
0 commit comments