From a4276cb565b75ad53ec1992b6254518765b3297e Mon Sep 17 00:00:00 2001
From: tmeissner <programming@goodcleanfun.de>
Date: Tue, 12 May 2020 22:51:31 +0200
Subject: [PATCH] Remove checkout of abc, let it done by  yosys Makefile

---
 symbiyosys.Dockerfile | 1 -
 1 file changed, 1 deletion(-)

diff --git a/symbiyosys.Dockerfile b/symbiyosys.Dockerfile
index ac6ae29..e65f937 100644
--- a/symbiyosys.Dockerfile
+++ b/symbiyosys.Dockerfile
@@ -29,7 +29,6 @@ RUN apt-get update -qq && \
     cd /root && \
     git clone https://github.com/YosysHQ/yosys.git yosys && \
     cd yosys && \
-    git clone https://github.com/berkeley-abc/abc.git abc && \
     make -j$(nproc) PREFIX=/opt/yosys && \
     make install PREFIX=/opt/yosys