-
Notifications
You must be signed in to change notification settings - Fork 13
/
Dockerfile
42 lines (33 loc) · 941 Bytes
/
Dockerfile
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
# Copyright 2021, Proofcraft Pty Ltd
#
# SPDX-License-Identifier: BSD-2-Clause
# The context of this Dockerfiles is the repo root (../)
ARG WORKSPACE=/workspace
ARG SCRIPTS=/ci-scripts
ARG ACTION=tutorials
FROM trustworthysystems/camkes:latest
RUN apt-get update \
&& apt-get install -y --no-install-recommends \
libffi-dev \
&& apt-get clean autoclean \
&& apt-get autoremove --yes \
&& rm -rf /var/lib/{apt,dpkg,cache,log}/
RUN pip3 install junitparser PyGithub
ARG ACTION
ARG SCRIPTS
RUN mkdir ${SCRIPTS}
COPY ${ACTION}/steps.sh scripts/* ${SCRIPTS}/
RUN chmod a+rx ${SCRIPTS}/*
ENV PATH "${SCRIPTS}:${PATH}"
RUN mkdir /builds
COPY ${ACTION}/builds.yml \
${ACTION}/build.py \
seL4-platforms/platforms.yml \
seL4-platforms/platforms.py \
seL4-platforms/builds.py \
/builds/
RUN mkdir -p /github/home
ARG WORKSPACE
RUN mkdir -p ${WORKSPACE}
WORKDIR ${WORKSPACE}
ENTRYPOINT steps.sh