From 36bbf81624bbf9cd5c31d70c58b702e02eb393ad Mon Sep 17 00:00:00 2001 From: mrg Date: Tue, 1 Mar 2022 14:37:30 -0800 Subject: [PATCH] Upgrade to magic 8.3.274 --- docker/Dockerfile | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/docker/Dockerfile b/docker/Dockerfile index 10a6e1ca..a56d96b5 100644 --- a/docker/Dockerfile +++ b/docker/Dockerfile @@ -127,7 +127,7 @@ RUN apt-get install --no-install-recommends -y iverilog ### Magic ### #ARG MAGIC_COMMIT=db4fa65bfc096e63954b37b188ea27b90ab31839 -ARG MAGIC_COMMIT=8.3.273 +ARG MAGIC_COMMIT=8.3.274 WORKDIR /root #RUN git clone https://github.com/RTimothyEdwards/magic.git magic RUN git clone git://opencircuitdesign.com/magic magic