From d0f7cfd8cead35b11dcd782bd048f6fd02d66894 Mon Sep 17 00:00:00 2001
From: Stefan Lankes <slankes@eonerc.rwth-aachen.de>
Date: Tue, 19 Sep 2023 15:22:51 +0200
Subject: [PATCH] publish container with httpd

---
 .github/workflows/publish.yml | 20 +++++++++++++++++++-
 1 file changed, 19 insertions(+), 1 deletion(-)

diff --git a/.github/workflows/publish.yml b/.github/workflows/publish.yml
index 89a426ae1..34cbbb568 100644
--- a/.github/workflows/publish.yml
+++ b/.github/workflows/publish.yml
@@ -36,7 +36,7 @@ jobs:
       with:
         repo: hermit-os/loader
         file: rusty-loader-x86_64
-    - name: Create dockerfile
+    - name: Create dockerfile for rusty_demo
       run: |
         cat << END > Dockerfile
         FROM scratch
@@ -50,3 +50,21 @@ jobs:
         context: .
         push: true
         tags: ghcr.io/hermit-os/rusty_demo:latest
+    - name: Build httpd
+      run: cargo build -Zbuild-std=std,panic_abort --target x86_64-unknown-hermit -p httpd --release
+    - name: Copy httpd out of target dir
+      run: cp target/x86_64-unknown-hermit/release/httpd .
+    - name: Create dockerfile for httpd
+      run: |
+        cat << END > Dockerfile
+        FROM scratch
+        COPY rusty-loader-x86_64 hermit/rusty-loader
+        COPY httpd hermit/httpd
+        CMD ["/hermit/httpd"]
+        END
+    - name: Build and push container
+      uses: docker/build-push-action@v5
+      with:
+        context: .
+        push: true
+        tags: ghcr.io/hermit-os/httpd:latest