robur/unikernel-repo
4
0
Fork 0
Code Issues Pull requests 1 Projects Releases Packages Wiki Activity Actions

mirage 4.5 unikernels: update build instructions

Browse source
This commit is contained in:
Hannes Mehnert 2024-05-06 19:55:42 +02:00
parent 1fa654b0b6
commit 4b7ca571c0
3 changed files with 3 additions and 3 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

2
packages/mirage-unikernel-hello-hvt.0.0.2/opam vendored
View file

@ -8,7 +8,7 @@ bug-reports: "dummy"
dev-repo: "git://dummy" dev-repo: "git://dummy"
synopsis: "The famous hello world unikernel" synopsis: "The famous hello world unikernel"
build: ["sh" "-exc" "cd tutorial/hello-key/ && mirage build"] build: [make "-Ctutorial/hello-key/" "build"]
install: [ install: [
[ "cp" "tutorial/hello-key/dist/hello-key.hvt" "%{bin}%/hello-key.hvt" ] [ "cp" "tutorial/hello-key/dist/hello-key.hvt" "%{bin}%/hello-key.hvt" ]

2
packages/mirage-unikernel-qubes-firewall-xen.0.0.2/opam vendored
View file

@ -8,7 +8,7 @@ bug-reports: "dummy"
dev-repo: "git://dummy" dev-repo: "git://dummy"
synopsis: "A QubesOS firewall as unikernel" synopsis: "A QubesOS firewall as unikernel"
build: ["sh" "-exc" "mirage build"] build: [make "build"]
install: [ install: [
[ "cp" "dist/qubes-firewall.xen" "%{bin}%/qubes-firewall.xen" ] [ "cp" "dist/qubes-firewall.xen" "%{bin}%/qubes-firewall.xen" ]

2
packages/mirage-unikernel-static-website-hvt.0.0.2/opam vendored
View file

@ -8,7 +8,7 @@ bug-reports: "dummy"
dev-repo: "git://dummy" dev-repo: "git://dummy"
synopsis: "A static website example unikernel" synopsis: "A static website example unikernel"
build: ["sh" "-exc" "cd applications/static_website_tls/ && mirage build"] build: [make "-Capplications/static_website_tls/" "build"]
install: [ install: [
[ "cp" "applications/static_website_tls/dist/https.hvt" "%{bin}%/https.hvt" ] [ "cp" "applications/static_website_tls/dist/https.hvt" "%{bin}%/https.hvt" ]