mirror of
https://github.com/tillitis/tillitis-key1.git
synced 2025-07-26 08:25:31 -04:00
Pin icestorm in Dockerfile to a known-good commit
This commit is contained in:
parent
0c200dc4e4
commit
938f2b16d7
1 changed files with 3 additions and 2 deletions
|
@ -45,9 +45,10 @@ RUN apt-get -qq update -y \
|
||||||
|
|
||||||
FROM base as toolsbuilder
|
FROM base as toolsbuilder
|
||||||
|
|
||||||
RUN git clone --depth=1 https://github.com/YosysHQ/icestorm /src
|
RUN git clone https://github.com/YosysHQ/icestorm /src
|
||||||
WORKDIR /src
|
WORKDIR /src
|
||||||
RUN make -j$(nproc --ignore=2) \
|
RUN git checkout 45f5e5f3889afb07907bab439cf071478ee5a2a5 \
|
||||||
|
&& make -j$(nproc --ignore=2) \
|
||||||
&& make install
|
&& make install
|
||||||
RUN git >/usr/local/repo-commit-icestorm describe --tags --always --dirty
|
RUN git >/usr/local/repo-commit-icestorm describe --tags --always --dirty
|
||||||
WORKDIR /
|
WORKDIR /
|
||||||
|
|
Loading…
Add table
Add a link
Reference in a new issue