Skip to content

Commit

Permalink
Merge pull request #209 from efabless/update_magic_version
Browse files Browse the repository at this point in the history
Update magic version in docker
  • Loading branch information
jeffdi authored Jul 17, 2023
2 parents 58fbf86 + 860e315 commit 2a975ce
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion dependencies/Dockerfile
Original file line number Diff line number Diff line change
Expand Up @@ -57,7 +57,7 @@ RUN yum install -y iverilog && \

# Clone Magic
ENV MAGIC_ROOT=/opt/magic
RUN git clone --depth=1 --branch 8.3.394 https://github.com/RTimothyEdwards/magic.git ${MAGIC_ROOT}
RUN git clone --depth=1 --branch 8.3.413 https://github.com/RTimothyEdwards/magic.git ${MAGIC_ROOT}
WORKDIR $MAGIC_ROOT
# Build Magic
# '-O0' : disable optimization so vars visible in gdb (not optimized away). Already the default of gcc.
Expand Down

0 comments on commit 2a975ce

Please sign in to comment.