diff --git a/.github/scripts/install-cocotb.sh b/.github/scripts/install-cocotb.sh index 69152a8..b538f24 100644 --- a/.github/scripts/install-cocotb.sh +++ b/.github/scripts/install-cocotb.sh @@ -4,4 +4,4 @@ cd /tmp && \ git clone https://github.com/cocotb/cocotb && \ cd cocotb && \ git reset --hard 6649d76 -python3 -m pip install . \ No newline at end of file +pip3 install . \ No newline at end of file diff --git a/Dockerfile b/Dockerfile index e664c7d..436c12a 100644 --- a/Dockerfile +++ b/Dockerfile @@ -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 @@ -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