diff options
| author | eine <eine@users.noreply.github.com> | 2020-11-19 06:38:50 +0100 |
|---|---|---|
| committer | eine <eine@users.noreply.github.com> | 2020-11-19 06:40:38 +0100 |
| commit | 0afee7f15b57197d0ae0bcb3b6ff74d16bbc1696 (patch) | |
| tree | 387ec9085345a998bbe3a2817e854eb1e8450333 | |
| parent | 8265c87d82b2cba1ea196cf847dedecbaa77d27d (diff) | |
| download | ghdl-yosys-plugin-0afee7f15b57197d0ae0bcb3b6ff74d16bbc1696.tar.gz ghdl-yosys-plugin-0afee7f15b57197d0ae0bcb3b6ff74d16bbc1696.tar.bz2 ghdl-yosys-plugin-0afee7f15b57197d0ae0bcb3b6ff74d16bbc1696.zip | |
ci: update deps from ghdl/* to hdlc/*
| -rwxr-xr-x | ci.sh | 13 |
1 files changed, 11 insertions, 2 deletions
@@ -50,8 +50,17 @@ gend do_formal () { gstart "[Build] ghdl/synth:formal" "$ANSI_MAGENTA" -docker build -t ghdl/synth:formal --build-arg IMAGE='ghdl/synth:beta' . -f- <<-EOF -$(curl -fsSL https://github.com/ghdl/docker/raw/master/synth_formal.dockerfile) +docker build -t ghdl/synth:formal . -f- <<-EOF +FROM hdlc/ghdl:yosys + +COPY --from=hdlc/pkg:z3 /z3 / +COPY --from=hdlc/pkg:symbiyosys /symbiyosys / + +RUN apt-get update -qq \ + && DEBIAN_FRONTEND=noninteractive apt-get -y install --no-install-recommends \ + python3 \ + && apt-get autoclean && apt-get clean && apt-get -y autoremove \ + && rm -rf /var/lib/apt/lists/* EOF gend "formal" |