File tree Expand file tree Collapse file tree 1 file changed +3
-2
lines changed Expand file tree Collapse file tree 1 file changed +3
-2
lines changed Original file line number Diff line number Diff line change @@ -4,7 +4,6 @@ LABEL maintainer "Automata Team"
44
55ARG PROFILE=release
66ARG TOOLCHAIN=nightly-2021-06-16
7- ARG FEATURES
87
98RUN apt-get update && \
109 apt-get install -y --no-install-recommends cmake clang curl
@@ -29,11 +28,13 @@ WORKDIR /automata
2928
3029COPY . /automata
3130
31+ ARG FEATURES
32+
3233RUN --mount=type=cache,target=/root/.cache/sccache \
3334 --mount=type=cache,target=/usr/local/cargo/registry/index \
3435 --mount=type=cache,target=/usr/local/cargo/registry/cache \
3536 --mount=type=cache,target=/usr/local/cargo/git/db \
36- cargo build --$PROFILE --bin automata --features ${ FEATURES} && \
37+ cargo build --$PROFILE --bin automata --features $FEATURES && \
3738 cp /automata/target/${PROFILE}/automata /usr/local/bin/automata
3839
3940# ===== SECOND STAGE ======
You can’t perform that action at this time.
0 commit comments