From 4b7ca571c004ba92188789b253489ee69042aac2 Mon Sep 17 00:00:00 2001 From: Hannes Mehnert Date: Mon, 6 May 2024 19:55:42 +0200 Subject: [PATCH] mirage 4.5 unikernels: update build instructions --- packages/mirage-unikernel-hello-hvt.0.0.2/opam | 2 +- packages/mirage-unikernel-qubes-firewall-xen.0.0.2/opam | 2 +- packages/mirage-unikernel-static-website-hvt.0.0.2/opam | 2 +- 3 files changed, 3 insertions(+), 3 deletions(-) diff --git a/packages/mirage-unikernel-hello-hvt.0.0.2/opam b/packages/mirage-unikernel-hello-hvt.0.0.2/opam index 62f9577..e796bd8 100644 --- a/packages/mirage-unikernel-hello-hvt.0.0.2/opam +++ b/packages/mirage-unikernel-hello-hvt.0.0.2/opam @@ -8,7 +8,7 @@ bug-reports: "dummy" dev-repo: "git://dummy" synopsis: "The famous hello world unikernel" -build: ["sh" "-exc" "cd tutorial/hello-key/ && mirage build"] +build: [make "-Ctutorial/hello-key/" "build"] install: [ [ "cp" "tutorial/hello-key/dist/hello-key.hvt" "%{bin}%/hello-key.hvt" ] diff --git a/packages/mirage-unikernel-qubes-firewall-xen.0.0.2/opam b/packages/mirage-unikernel-qubes-firewall-xen.0.0.2/opam index 854fa84..d4c18f9 100644 --- a/packages/mirage-unikernel-qubes-firewall-xen.0.0.2/opam +++ b/packages/mirage-unikernel-qubes-firewall-xen.0.0.2/opam @@ -8,7 +8,7 @@ bug-reports: "dummy" dev-repo: "git://dummy" synopsis: "A QubesOS firewall as unikernel" -build: ["sh" "-exc" "mirage build"] +build: [make "build"] install: [ [ "cp" "dist/qubes-firewall.xen" "%{bin}%/qubes-firewall.xen" ] diff --git a/packages/mirage-unikernel-static-website-hvt.0.0.2/opam b/packages/mirage-unikernel-static-website-hvt.0.0.2/opam index 5fa823a..152e696 100644 --- a/packages/mirage-unikernel-static-website-hvt.0.0.2/opam +++ b/packages/mirage-unikernel-static-website-hvt.0.0.2/opam @@ -8,7 +8,7 @@ bug-reports: "dummy" dev-repo: "git://dummy" synopsis: "A static website example unikernel" -build: ["sh" "-exc" "cd applications/static_website_tls/ && mirage build"] +build: [make "-Capplications/static_website_tls/" "build"] install: [ [ "cp" "applications/static_website_tls/dist/https.hvt" "%{bin}%/https.hvt" ]