From 910bcf9df312726a41d5a00f166216d54ac552eb Mon Sep 17 00:00:00 2001 From: mrg Date: Wed, 8 Jun 2022 14:23:28 -0700 Subject: [PATCH] Update magic to 8.3.310 --- docker/Dockerfile | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/docker/Dockerfile b/docker/Dockerfile index fb7e3897..11a7546e 100644 --- a/docker/Dockerfile +++ b/docker/Dockerfile @@ -129,7 +129,8 @@ RUN apt-get install --no-install-recommends -y iverilog ### Magic ### #ARG MAGIC_COMMIT=db4fa65bfc096e63954b37b188ea27b90ab31839 #ARG MAGIC_COMMIT=8.3.274 -ARG MAGIC_COMMIT=8.3.309 +#ARG MAGIC_COMMIT=8.3.310 +ARG MAGIC_COMMIT=d099562e85e16654ef4573f1eb26c89d1b3d1ee2 WORKDIR /root #RUN git clone https://github.com/RTimothyEdwards/magic.git magic RUN git clone git://opencircuitdesign.com/magic magic