Skip to content

Commit

Permalink
Tidying Dockerfile
Browse files Browse the repository at this point in the history
  • Loading branch information
Jacob Williamson committed Nov 20, 2024
1 parent 3699552 commit 324d4c4
Show file tree
Hide file tree
Showing 2 changed files with 4 additions and 3 deletions.
2 changes: 1 addition & 1 deletion .github/scripts/install-cocotb.sh
Original file line number Diff line number Diff line change
Expand Up @@ -4,4 +4,4 @@ cd /tmp && \
git clone https://github.com/cocotb/cocotb && \
cd cocotb && \
git reset --hard 6649d76
python3 -m pip install .
pip3 install .
5 changes: 3 additions & 2 deletions Dockerfile
Original file line number Diff line number Diff line change
Expand Up @@ -35,6 +35,7 @@ RUN yum -y upgrade && yum -y install \
xz \
zlib-devel

# cocotb requires python 3.7+
RUN update-alternatives --set python /usr/bin/python3.12
RUN update-alternatives --set python3 /usr/bin/python3.12

Expand Down Expand Up @@ -68,8 +69,8 @@ RUN pip3 install \
sphinx-rtd-theme \
--upgrade docutils==0.16

# For cocotb (needs python3.7 +)
RUN python -m pip install \
# For cocotb
RUN pip3 install \
coverage \
vhdeps

Expand Down

0 comments on commit 324d4c4

Please sign in to comment.