diff --git a/docker/Dockerfile b/docker/Dockerfile index 0ea64cae..10a6e1ca 100644 --- a/docker/Dockerfile +++ b/docker/Dockerfile @@ -113,7 +113,8 @@ RUN rm -rf /root/ngspice #ARG NETGEN_COMMIT=1.5.219 ARG NETGEN_COMMIT=88d53fab15eb611cffc024eebf8743fae5cf8cb7 WORKDIR /root -RUN git clone https://github.com/RTimothyEdwards/netgen.git netgen +#RUN git clone https://github.com/RTimothyEdwards/netgen.git netgen +RUN git clone git://opencircuitdesign.com/netgen netgen WORKDIR /root/netgen RUN git checkout ${NETGEN_COMMIT} RUN ./configure \ @@ -125,10 +126,11 @@ RUN rm -rf /root/netgen RUN apt-get install --no-install-recommends -y iverilog ### Magic ### -ARG MAGIC_COMMIT=8.3.260 -#ARG MAGIC_COMMIT=8.3.254 +#ARG MAGIC_COMMIT=db4fa65bfc096e63954b37b188ea27b90ab31839 +ARG MAGIC_COMMIT=8.3.273 WORKDIR /root -RUN git clone https://github.com/RTimothyEdwards/magic.git magic +#RUN git clone https://github.com/RTimothyEdwards/magic.git magic +RUN git clone git://opencircuitdesign.com/magic magic WORKDIR /root/magic RUN git checkout ${MAGIC_COMMIT} RUN ./configure \