File tree Expand file tree Collapse file tree 1 file changed +45
-0
lines changed
Expand file tree Collapse file tree 1 file changed +45
-0
lines changed Original file line number Diff line number Diff line change 1+ FROM ghcr.io/pulp-platform/deeploy:latest
2+
3+ ENV GAP_RISCV_GCC_TOOLCHAIN=/app/install/gcc/gap9
4+ ENV GAP_SDK_HOME=/app/install/gap9-sdk
5+ ENV GAP_RISCV_GCC_TOOLCHAIN=/app/install/gcc/gap9
6+
7+ WORKDIR /app
8+
9+ # Install SSH keys to access private repositories
10+ RUN mkdir -p -m 0700 ~/.ssh && \
11+ ssh-keyscan iis-git.ee.ethz.ch >> ~/.ssh/known_hosts && \
12+ ssh-keyscan github.com >> ~/.ssh/known_hosts
13+
14+ COPY Makefile ./
15+ COPY toolchain/*.patch toolchain/
16+
17+ RUN apt-get update && \
18+ apt-get upgrade -y && \
19+ apt-get install -y \
20+ sudo \
21+ rsync \
22+ build-essential \
23+ g++ \
24+ python3-dev \
25+ device-tree-compiler \
26+ bison \
27+ flex && \
28+ rm -rf /var/lib/apt/lists/*
29+
30+ RUN --mount=type=cache,target=/ccache \
31+ ccache -z && make gap9-toolchain && \
32+ rm -rf /app/toolchain/gap9-toolchain
33+
34+ RUN --mount=type=ssh \
35+ --mount=type=cache,target=/ccache \
36+ --mount=type=cache,target=/root/.cache/pip \
37+ ccache -z && \
38+ make gap9-sdk && \
39+ ccache -s && \
40+ rm -rf /app/toolchain/gap9-sdk && \
41+ rm -rf /app/install/gap9-sdk/build && \
42+ rm -rf /app/install/gap9-sdk/.git && \
43+ rm -rf /app/install/gap9-sdk/nn_menu && \
44+ find /app/install/gap9-sdk -name "*.o" -delete && \
45+ find /app/install/gap9-sdk -name "*.a" -not -path "*/lib/*" -delete
You can’t perform that action at this time.
0 commit comments