From 4c220d1cbe7e5c998fccfd0995e0a5e93ac4d479 Mon Sep 17 00:00:00 2001 From: Hannes Mehnert Date: Mon, 29 Aug 2022 20:18:28 +0200 Subject: [PATCH] mirage unikernels: fix usage of - (previously _) --- packages/mirage-unikernel-dns-primary-git-hvt.0.0.2/opam | 4 ++-- .../opam | 4 ++-- packages/mirage-unikernel-dns-stub-hvt.0.0.2/opam | 4 ++-- packages/mirage-unikernel-ovpn_router-hvt.0.0.2/opam | 5 +++-- 4 files changed, 9 insertions(+), 8 deletions(-) diff --git a/packages/mirage-unikernel-dns-primary-git-hvt.0.0.2/opam b/packages/mirage-unikernel-dns-primary-git-hvt.0.0.2/opam index a42b758..27807a9 100644 --- a/packages/mirage-unikernel-dns-primary-git-hvt.0.0.2/opam +++ b/packages/mirage-unikernel-dns-primary-git-hvt.0.0.2/opam @@ -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" ] ] diff --git a/packages/mirage-unikernel-dns-primary-git-monitoring-hvt.0.0.2/opam b/packages/mirage-unikernel-dns-primary-git-monitoring-hvt.0.0.2/opam index 6c284bd..7a205ca 100644 --- a/packages/mirage-unikernel-dns-primary-git-monitoring-hvt.0.0.2/opam +++ b/packages/mirage-unikernel-dns-primary-git-monitoring-hvt.0.0.2/opam @@ -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" ] ] diff --git a/packages/mirage-unikernel-dns-stub-hvt.0.0.2/opam b/packages/mirage-unikernel-dns-stub-hvt.0.0.2/opam index 5bf16c1..1515abe 100644 --- a/packages/mirage-unikernel-dns-stub-hvt.0.0.2/opam +++ b/packages/mirage-unikernel-dns-stub-hvt.0.0.2/opam @@ -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" ] ] diff --git a/packages/mirage-unikernel-ovpn_router-hvt.0.0.2/opam b/packages/mirage-unikernel-ovpn_router-hvt.0.0.2/opam index 95b3009..499cb2b 100644 --- a/packages/mirage-unikernel-ovpn_router-hvt.0.0.2/opam +++ b/packages/mirage-unikernel-ovpn_router-hvt.0.0.2/opam @@ -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: [