static-website: use port 80 & 443

This commit is contained in:
Hannes Mehnert 2022-03-02 12:05:37 +01:00
parent 5e2b2244c5
commit af59db64dd

View file

@ -35,7 +35,7 @@ authors: "dummy"
homepage: "dummy" homepage: "dummy"
bug-reports: "dummy" bug-reports: "dummy"
dev-repo: "git+https://example.com/nonexistent" dev-repo: "git+https://example.com/nonexistent"
build: [ "sh" "-exc" "cd applications/static_website_tls && mirage configure -t hvt && mirage build" ] build: [ "sh" "-exc" "cd applications/static_website_tls && mirage configure -t hvt --http 80 --https 443 && mirage build" ]
synopsis: "A static website example unikernel." synopsis: "A static website example unikernel."
install: [ install: [
[ "cp" "applications/static_website_tls/https.hvt" "%{bin}%/https.hvt" ] [ "cp" "applications/static_website_tls/https.hvt" "%{bin}%/https.hvt" ]