summaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
authorAndrea Censi <acensi@ethz.ch>2021-10-16 14:42:16 +0200
committerAndrea Censi <acensi@ethz.ch>2021-10-16 14:42:16 +0200
commit738acb0c3ef00272f57cf960a5b79e1857464c78 (patch)
treed5eeee882e22c79d84f494d442a4730222adfcc2
parentBump to version 7.1.2110152134 (diff)
downloadact4e-738acb0c3ef00272f57cf960a5b79e1857464c78.tar.gz
act4e-738acb0c3ef00272f57cf960a5b79e1857464c78.zip
fix
-rw-r--r--Dockerfile3
-rw-r--r--Makefile6
2 files changed, 6 insertions, 3 deletions
diff --git a/Dockerfile b/Dockerfile
index 8377abd..0d45fbc 100644
--- a/Dockerfile
+++ b/Dockerfile
@@ -1,4 +1,5 @@
-FROM docker.io/andreacensi/act4e:spring2021
+ARG REGISTRY
+FROM ${REGISTRY}/act4e/act4e-tests:alphubel
WORKDIR /ACT4E
diff --git a/Makefile b/Makefile
index 037ff7a..cea6e06 100644
--- a/Makefile
+++ b/Makefile
@@ -1,12 +1,14 @@
all:
+REGISTRY ?= reg-z7-prod.zuper.ai
+
tag=mytag
pull:
- docker pull andreacensi/act4e:spring2021
+ docker pull ${REGISTRY}/act4e/act4e-tests:alphubel
build: pull
- docker build -t $(tag) .
+ docker build -t $(tag) .
check: build