mirror of
https://github.com/irungentoo/toxcore.git
synced 2024-03-22 13:30:51 +08:00
8328449c1a
This is especially noticeable on local builds (less so on the github workers).
19 lines
456 B
Docker
19 lines
456 B
Docker
FROM toxchat/c-toxcore:sources AS sources
|
|
FROM toxchat/compcert:latest
|
|
|
|
RUN apt-get update && \
|
|
DEBIAN_FRONTEND="noninteractive" apt-get install -y --no-install-recommends \
|
|
gdb \
|
|
make \
|
|
&& apt-get clean \
|
|
&& rm -rf /var/lib/apt/lists/*
|
|
|
|
WORKDIR /work
|
|
COPY --from=sources /src/ /work/
|
|
|
|
SHELL ["/bin/bash", "-o", "pipefail", "-c"]
|
|
|
|
COPY other/docker/compcert/Makefile /work/
|
|
RUN make "-j$(nproc)"
|
|
RUN ./send_message_test | grep 'tox clients connected'
|