diff options
| author | umarcor <unai.martinezcorral@ehu.eus> | 2021-10-03 00:52:08 +0200 |
|---|---|---|
| committer | eine <eine@users.noreply.github.com> | 2021-10-03 01:31:14 +0200 |
| commit | 4a97a705a0606b7a8b5f36dd259a40989c18c821 (patch) | |
| tree | 18132ad797ecd1d3cf53c620f26fec3eeb1599f8 | |
| parent | d6a6572439a1f3d7d8c55ae181b978d693ab85d2 (diff) | |
| download | ghdl-yosys-plugin-4a97a705a0606b7a8b5f36dd259a40989c18c821.tar.gz ghdl-yosys-plugin-4a97a705a0606b7a8b5f36dd259a40989c18c821.tar.bz2 ghdl-yosys-plugin-4a97a705a0606b7a8b5f36dd259a40989c18c821.zip | |
ci/formal: use pkg containers from hdl/containers
| -rwxr-xr-x | ci.sh | 14 |
1 files changed, 11 insertions, 3 deletions
@@ -51,10 +51,18 @@ do_formal () { gstart "[Build] ghdl/synth:formal" "$ANSI_MAGENTA" docker build -t ghdl/synth:formal . -f- <<-EOF -FROM hdlc/ghdl:yosys +ARG REGISTRY='gcr.io/hdl-containers/debian/bullseye' -COPY --from=hdlc/pkg:z3 /z3 / -COPY --from=hdlc/pkg:symbiyosys /symbiyosys / +#-- + +# WORKAROUND: this is required because 'COPY --from' does not support ARGs +FROM \$REGISTRY/pkg/z3 AS pkg-z3 +FROM \$REGISTRY/pkg/symbiyosys AS pkg-symbiyosys + +FROM ghdl/synth:beta + +COPY --from=pkg-z3 /z3 / +COPY --from=pkg-symbiyosys /symbiyosys / RUN apt-get update -qq \ && DEBIAN_FRONTEND=noninteractive apt-get -y install --no-install-recommends \ |