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

mirage unikernels: fix usage of - (previously _)

Browse source
This commit is contained in:
Hannes Mehnert 2022-08-29 20:18:28 +02:00
parent 18bae7ab32
commit 4c220d1cbe
4 changed files with 9 additions and 8 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

4
packages/mirage-unikernel-dns-primary-git-hvt.0.0.2/opam vendored
View file

@ -12,8 +12,8 @@ build: ["sh" "-exc" "mirage build"]
install: [
[ "cp" "dist/primary-git.hvt" "%{bin}%/primary-git.hvt" ]
[ "strip" "%{bin}%/primary_git.hvt" ]
[ "cp" "dist/primary_git.hvt" "%{prefix}%/primary_git.hvt.debug" ]
[ "strip" "%{bin}%/primary-git.hvt" ]
[ "cp" "dist/primary-git.hvt" "%{prefix}%/primary-git.hvt.debug" ]
[ "cp" "README.md" "%{prefix}%/README.md" ]
]

4
packages/mirage-unikernel-dns-primary-git-monitoring-hvt.0.0.2/opam vendored
View file

@ -12,8 +12,8 @@ build: ["sh" "-exc" "mirage build"]
install: [
[ "cp" "dist/primary-git.hvt" "%{bin}%/primary-git.hvt" ]
[ "strip" "%{bin}%/primary_git.hvt" ]
[ "cp" "dist/primary_git.hvt" "%{prefix}%/primary_git.hvt.debug" ]
[ "strip" "%{bin}%/primary-git.hvt" ]
[ "cp" "dist/primary-git.hvt" "%{prefix}%/primary-git.hvt.debug" ]
[ "cp" "README.md" "%{prefix}%/README.md" ]
]

4
packages/mirage-unikernel-dns-stub-hvt.0.0.2/opam vendored
View file

@ -12,8 +12,8 @@ build: ["sh" "-exc" "cd dns-only/ && mirage build"]
install: [
[ "cp" "dns-only/dist/dns-stub.hvt" "%{bin}%/dns-stub.hvt" ]
[ "strip" "%{bin}%/dns_stub.hvt" ]
[ "cp" "dns-only/dist/dns_stub.hvt" "%{prefix}%/dns_stub.hvt.debug" ]
[ "strip" "%{bin}%/dns-stub.hvt" ]
[ "cp" "dns-only/dist/dns-stub.hvt" "%{prefix}%/dns-stub.hvt.debug" ]
# [ "cp" "README.md" "%{prefix}%/README.md" ]
]

5
packages/mirage-unikernel-ovpn_router-hvt.0.0.2/opam vendored
View file

@ -12,8 +12,9 @@ build: ["sh" "-exc" "cd mirage-router/ && mirage build"]
install: [
[ "cp" "mirage-router/dist/ovpn-router.hvt" "%{bin}%/ovpn-router.hvt" ]
[ "strip" "%{bin}%/ovpn_router.hvt" ]
[ "cp" "mirage-router/dist/ovpn_router.hvt" "%{prefix}%/ovpn_router.hvt.debug" ]
[ "strip" "%{bin}%/ovpn-router.hvt" ]
[ "cp" "mirage-router/dist/ovpn-router.hvt" "%{prefix}%/ovpn-router.hvt.debug" ]
# [ "cp" "README.md" "%{prefix}%/README.md" ]
]
depends: [