From 0afee7f15b57197d0ae0bcb3b6ff74d16bbc1696 Mon Sep 17 00:00:00 2001
From: eine <eine@users.noreply.github.com>
Date: Thu, 19 Nov 2020 06:38:50 +0100
Subject: ci: update deps from ghdl/* to hdlc/*

---
 ci.sh | 13 +++++++++++--
 1 file changed, 11 insertions(+), 2 deletions(-)

diff --git a/ci.sh b/ci.sh
index 089a42e..a52b514 100755
--- a/ci.sh
+++ b/ci.sh
@@ -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"
 
-- 
cgit v1.2.3