From da95809093659a9813b338a7110b18e8427a525c Mon Sep 17 00:00:00 2001
From: Axel Heider <axelheider@gmx.de>
Date: Tue, 9 Jan 2024 13:58:53 +0100
Subject: [PATCH] WIP: CI docker hack to see changes

---
 sel4test-hw/Dockerfile      | 27 +++++++--------------------
 sel4test-hw/action.yml      |  2 +-
 sel4test-hw/seL4-platforms  |  1 +
 sel4test-sim/Dockerfile     | 28 +++++++---------------------
 sel4test-sim/action.yml     |  2 +-
 sel4test-sim/seL4-platforms |  1 +
 6 files changed, 18 insertions(+), 43 deletions(-)
 create mode 120000 sel4test-hw/seL4-platforms
 create mode 120000 sel4test-sim/seL4-platforms

diff --git a/sel4test-hw/Dockerfile b/sel4test-hw/Dockerfile
index 42092bac..66056119 100644
--- a/sel4test-hw/Dockerfile
+++ b/sel4test-hw/Dockerfile
@@ -2,39 +2,26 @@
 #
 # SPDX-License-Identifier: BSD-2-Clause
 
-# The context of this Dockerfiles is the repo root (../)
-
 ARG WORKSPACE=/workspace
 ARG SCRIPTS=/ci-scripts
 ARG ACTION=sel4test-hw
 
-FROM trustworthysystems/sel4: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
+FROM sel4/sel4test-hw:latest
 
 ARG SCRIPTS
 ARG ACTION
-RUN mkdir ${SCRIPTS}
-COPY ${ACTION}/steps.sh scripts/* ${SCRIPTS}/
+
+COPY steps.sh ${SCRIPTS}/
 RUN chmod a+rx ${SCRIPTS}/*
-ENV  PATH "${SCRIPTS}:${PATH}"
 
-RUN mkdir /builds
-COPY ${ACTION}/builds.yml \
-     ${ACTION}/build.py \
+COPY builds.yml \
+     build.py \
      seL4-platforms/platforms.yml \
      seL4-platforms/platforms.py \
      seL4-platforms/builds.py \
-     /builds/
+     /builds
 
 ARG WORKSPACE
-RUN mkdir -p ${WORKSPACE}
 WORKDIR ${WORKSPACE}
 
-ENTRYPOINT steps.sh
+ENTRYPOINT /ci-scripts/steps.sh
diff --git a/sel4test-hw/action.yml b/sel4test-hw/action.yml
index 1b63d27e..c1bad0af 100644
--- a/sel4test-hw/action.yml
+++ b/sel4test-hw/action.yml
@@ -38,4 +38,4 @@ inputs:
 
 runs:
   using: 'docker'
-  image: 'docker://sel4/sel4test-hw:latest'
+  image: 'Dockerfile'
diff --git a/sel4test-hw/seL4-platforms b/sel4test-hw/seL4-platforms
new file mode 120000
index 00000000..f24c9c72
--- /dev/null
+++ b/sel4test-hw/seL4-platforms
@@ -0,0 +1 @@
+../seL4-platforms
\ No newline at end of file
diff --git a/sel4test-sim/Dockerfile b/sel4test-sim/Dockerfile
index a67e0990..564a8a5c 100644
--- a/sel4test-sim/Dockerfile
+++ b/sel4test-sim/Dockerfile
@@ -2,39 +2,25 @@
 #
 # SPDX-License-Identifier: BSD-2-Clause
 
-# The context of this Dockerfiles is the repo root (../)
-
 ARG WORKSPACE=/workspace
 ARG SCRIPTS=/ci-scripts
 ARG ACTION=sel4test-sim
 
-FROM trustworthysystems/sel4: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
+FROM sel4/sel4test-sim:latest
 
 ARG SCRIPTS
 ARG ACTION
-RUN mkdir ${SCRIPTS}
-COPY ${ACTION}/steps.sh scripts/* ${SCRIPTS}/
+
+COPY steps.sh ${SCRIPTS}/
 RUN chmod a+rx ${SCRIPTS}/*
-ENV  PATH "${SCRIPTS}:${PATH}"
 
-RUN mkdir /builds
-COPY ${ACTION}/builds.yml \
-     ${ACTION}/build.py \
-     seL4-platforms/platforms.yml \
+COPY builds.yml \
+     build.py \
      seL4-platforms/platforms.py \
      seL4-platforms/builds.py \
-     /builds/
+     /builds
 
 ARG WORKSPACE
-RUN mkdir -p ${WORKSPACE}
 WORKDIR ${WORKSPACE}
 
-ENTRYPOINT steps.sh
+ENTRYPOINT /ci-scripts/steps.sh
diff --git a/sel4test-sim/action.yml b/sel4test-sim/action.yml
index 0dd325b9..270aa844 100644
--- a/sel4test-sim/action.yml
+++ b/sel4test-sim/action.yml
@@ -36,4 +36,4 @@ inputs:
 
 runs:
   using: 'docker'
-  image: 'docker://sel4/sel4test-sim:latest'
+  image: 'Dockerfile'
diff --git a/sel4test-sim/seL4-platforms b/sel4test-sim/seL4-platforms
new file mode 120000
index 00000000..f24c9c72
--- /dev/null
+++ b/sel4test-sim/seL4-platforms
@@ -0,0 +1 @@
+../seL4-platforms
\ No newline at end of file