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