From 142e822849f0b1632665897de2ea381ac5669a23 Mon Sep 17 00:00:00 2001 From: Sverre Hamre Date: Thu, 24 Oct 2024 22:20:20 +0200 Subject: [PATCH] Change the ghdl docker build to use docker images from docker.io --- debian-bullseye/ghdl.dockerfile | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/debian-bullseye/ghdl.dockerfile b/debian-bullseye/ghdl.dockerfile index 445dd878..f6d86c8a 100644 --- a/debian-bullseye/ghdl.dockerfile +++ b/debian-bullseye/ghdl.dockerfile @@ -23,7 +23,7 @@ ARG REGISTRY='gcr.io/hdl-containers/debian/bullseye' #--- -FROM ghdl/pkg:bullseye-mcode AS build-mcode +FROM docker.io/ghdl/pkg:bullseye-mcode AS build-mcode # TODO Build GHDL on $REGISTRY/build/build instead of picking ghdl/pkg:bullseye-mcode @@ -35,7 +35,7 @@ COPY --from=build-mcode / /ghdl/usr/local/ #--- -FROM ghdl/pkg:bullseye-llvm-11 AS build-llvm +FROM docker.io/ghdl/pkg:bullseye-llvm-11 AS build-llvm # TODO Build GHDL on $REGISTRY/build/build instead of picking ghdl/pkg:bullseye-mcode