From 48406a5f90d9eaf9ebb756052d907e987197e913 Mon Sep 17 00:00:00 2001
From: tmeissner <programming@goodcleanfun.de>
Date: Thu, 2 Apr 2020 00:24:14 +0200
Subject: [PATCH] Update URL and name of ghdl-yosys-plugin (former
 ghdlsynth-beta)

---
 ghdl-formal.Dockerfile | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

diff --git a/ghdl-formal.Dockerfile b/ghdl-formal.Dockerfile
index c51d5fd..8f61526 100644
--- a/ghdl-formal.Dockerfile
+++ b/ghdl-formal.Dockerfile
@@ -25,9 +25,9 @@ FROM symbiyosys-ghdl AS symbiyosys-ghdlsynth
 
 # Build ghdlsynth-beta
 RUN cd /root && \
-    mkdir ghdlsynth-beta && \
-    cd ghdlsynth-beta && \
-    curl https://codeload.github.com/tgingold/ghdlsynth-beta/tar.gz/master | tar xzf - --strip-components=1 && \
+    mkdir ghdl-yosys-plugin && \
+    cd ghdl-yosys-plugin && \
+    curl https://codeload.github.com/ghdl/ghdl-yosys-plugin/tar.gz/master | tar xzf - --strip-components=1 && \
     make GHDL=/opt/ghdl/bin/ghdl YOSYS_CONFIG=/opt/yosys/bin/yosys-config && \
     make install GHDL=/opt/ghdl/bin/ghdl YOSYS_CONFIG=/opt/yosys/bin/yosys-config