From c992a52f233f01fd0f57c8e6534531fe835af590 Mon Sep 17 00:00:00 2001 From: Robur Date: Fri, 25 Jun 2021 10:06:10 +0000 Subject: [PATCH] unikernels: strip binary in bin, preserve a debug one --- packages/mirage-unikernel-caldav-hvt.0.0.1/opam | 2 ++ packages/mirage-unikernel-caldav-le-monitoring-hvt.0.0.1/opam | 2 ++ packages/mirage-unikernel-caldav-monitoring-hvt.0.0.2/opam | 2 ++ packages/mirage-unikernel-dns-letsencrypt-hvt.0.0.2/opam | 2 ++ .../mirage-unikernel-dns-letsencrypt-monitoring-hvt.0.0.2/opam | 2 ++ packages/mirage-unikernel-dns-primary-git-hvt.0.0.1/opam | 2 ++ .../mirage-unikernel-dns-primary-git-monitoring-hvt.0.0.1/opam | 2 ++ packages/mirage-unikernel-dns-secondary-hvt.0.0.1/opam | 2 ++ .../mirage-unikernel-dns-secondary-monitoring-hvt.0.0.1/opam | 2 ++ packages/mirage-unikernel-hannes-nqsb-io-hvt.0.0.2/opam | 2 ++ packages/mirage-unikernel-nqsbio-hvt.0.0.2/opam | 2 ++ packages/mirage-unikernel-ovpn_router-hvt.0.0.1/opam | 2 ++ packages/mirage-unikernel-qubes-firewall-flambda-xen.0.0.1/opam | 2 ++ packages/mirage-unikernel-qubes-firewall-xen.0.0.1/opam | 2 ++ packages/mirage-unikernel-retreat-hvt.0.0.1/opam | 2 ++ packages/mirage-unikernel-roburio-hvt.0.0.2/opam | 2 ++ packages/mirage-unikernel-tlstunnel-hvt.0.0.1/opam | 2 ++ packages/mirage-unikernel-tlstunnel-monitoring-hvt.0.0.1/opam | 2 ++ packages/mirage-unikernel-unipi-hvt.0.0.1/opam | 2 ++ packages/mirage-unikernel-unipi-with-kv-hvt.0.0.1/opam | 2 ++ 20 files changed, 40 insertions(+) diff --git a/packages/mirage-unikernel-caldav-hvt.0.0.1/opam b/packages/mirage-unikernel-caldav-hvt.0.0.1/opam index fdef5ef..42877c5 100644 --- a/packages/mirage-unikernel-caldav-hvt.0.0.1/opam +++ b/packages/mirage-unikernel-caldav-hvt.0.0.1/opam @@ -44,5 +44,7 @@ build: [ "sh" "-exc" "cd mirage && fetch https://github.com/sg2342/caldavzap/arc synopsis: "This is a dummy" install: [ [ "cp" "mirage/caldav.hvt" "%{bin}%/caldav.hvt" ] + [ "strip" "%{bin}%/caldav.hvt" ] + [ "cp" "mirage/caldav.hvt" "%{prefix}%/caldav.hvt.debug" ] ] url { src: "git+https://github.com/roburio/caldav.git" } diff --git a/packages/mirage-unikernel-caldav-le-monitoring-hvt.0.0.1/opam b/packages/mirage-unikernel-caldav-le-monitoring-hvt.0.0.1/opam index 1abe4f4..f56f67e 100644 --- a/packages/mirage-unikernel-caldav-le-monitoring-hvt.0.0.1/opam +++ b/packages/mirage-unikernel-caldav-le-monitoring-hvt.0.0.1/opam @@ -48,5 +48,7 @@ build: [ "sh" "-exc" "cd mirage && fetch https://github.com/sg2342/caldavzap/arc synopsis: "This is a dummy" install: [ [ "cp" "mirage/caldav.hvt" "%{bin}%/caldav.hvt" ] + [ "strip" "%{bin}%/caldav.hvt" ] + [ "cp" "mirage/caldav.hvt" "%{prefix}%/caldav.hvt.debug" ] ] url { src: "git+https://github.com/roburio/caldav.git#future-le" } diff --git a/packages/mirage-unikernel-caldav-monitoring-hvt.0.0.2/opam b/packages/mirage-unikernel-caldav-monitoring-hvt.0.0.2/opam index 2cbe6c5..3e35969 100644 --- a/packages/mirage-unikernel-caldav-monitoring-hvt.0.0.2/opam +++ b/packages/mirage-unikernel-caldav-monitoring-hvt.0.0.2/opam @@ -47,5 +47,7 @@ build: [ "sh" "-exc" "cd mirage && fetch https://github.com/sg2342/caldavzap/arc synopsis: "This is a dummy" install: [ [ "cp" "mirage/caldav.hvt" "%{bin}%/caldav.hvt" ] + [ "strip" "%{bin}%/caldav.hvt" ] + [ "cp" "mirage/caldav.hvt" "%{prefix}%/caldav.hvt.debug" ] ] url { src: "git+https://github.com/roburio/caldav.git#future-robur" } diff --git a/packages/mirage-unikernel-dns-letsencrypt-hvt.0.0.2/opam b/packages/mirage-unikernel-dns-letsencrypt-hvt.0.0.2/opam index 4c64b30..970eaee 100644 --- a/packages/mirage-unikernel-dns-letsencrypt-hvt.0.0.2/opam +++ b/packages/mirage-unikernel-dns-letsencrypt-hvt.0.0.2/opam @@ -42,5 +42,7 @@ build: [ "sh" "-exc" "mirage configure -t hvt --allocation-policy=best-fit && mi synopsis: "This is a dummy" install: [ [ "cp" "letsencrypt.hvt" "%{bin}%/letsencrypt.hvt" ] + [ "strip" "%{bin}%/letsencrypt.hvt" ] + [ "cp" "letsencrypt.hvt" "%{prefix}%/letsencrypt.hvt.debug" ] ] url { src: "git+https://github.com/roburio/dns-letsencrypt-secondary.git" } diff --git a/packages/mirage-unikernel-dns-letsencrypt-monitoring-hvt.0.0.2/opam b/packages/mirage-unikernel-dns-letsencrypt-monitoring-hvt.0.0.2/opam index af4d974..05ba99e 100644 --- a/packages/mirage-unikernel-dns-letsencrypt-monitoring-hvt.0.0.2/opam +++ b/packages/mirage-unikernel-dns-letsencrypt-monitoring-hvt.0.0.2/opam @@ -45,5 +45,7 @@ build: [ "sh" "-exc" "mirage configure -t hvt --allocation-policy=best-fit && mi synopsis: "This is a dummy" install: [ [ "cp" "letsencrypt.hvt" "%{bin}%/letsencrypt.hvt" ] + [ "strip" "%{bin}%/letsencrypt.hvt" ] + [ "cp" "letsencrypt.hvt" "%{prefix}%/letsencrypt.hvt.debug" ] ] url { src: "git+https://github.com/roburio/dns-letsencrypt-secondary.git#future" } diff --git a/packages/mirage-unikernel-dns-primary-git-hvt.0.0.1/opam b/packages/mirage-unikernel-dns-primary-git-hvt.0.0.1/opam index fda8d48..d185b85 100644 --- a/packages/mirage-unikernel-dns-primary-git-hvt.0.0.1/opam +++ b/packages/mirage-unikernel-dns-primary-git-hvt.0.0.1/opam @@ -39,5 +39,7 @@ build: [ "sh" "-exc" "mirage configure -t hvt --allocation-policy=best-fit && mi synopsis: "This is a dummy" install: [ [ "cp" "primary_git.hvt" "%{bin}%/primary_git.hvt" ] + [ "strip" "%{bin}%/primary_git.hvt" ] + [ "cp" "primary_git.hvt" "%{prefix}%/primary_git.hvt.debug" ] ] url { src: "git+https://github.com/roburio/dns-primary-git.git" } diff --git a/packages/mirage-unikernel-dns-primary-git-monitoring-hvt.0.0.1/opam b/packages/mirage-unikernel-dns-primary-git-monitoring-hvt.0.0.1/opam index 7a22612..cc3eca6 100644 --- a/packages/mirage-unikernel-dns-primary-git-monitoring-hvt.0.0.1/opam +++ b/packages/mirage-unikernel-dns-primary-git-monitoring-hvt.0.0.1/opam @@ -42,5 +42,7 @@ build: [ "sh" "-exc" "mirage configure -t hvt --allocation-policy=best-fit && mi synopsis: "This is a dummy" install: [ [ "cp" "primary_git.hvt" "%{bin}%/primary_git.hvt" ] + [ "strip" "%{bin}%/primary_git.hvt" ] + [ "cp" "primary_git.hvt" "%{prefix}%/primary_git.hvt.debug" ] ] url { src: "git+https://github.com/roburio/dns-primary-git.git#future" } diff --git a/packages/mirage-unikernel-dns-secondary-hvt.0.0.1/opam b/packages/mirage-unikernel-dns-secondary-hvt.0.0.1/opam index 14d83a0..9a48890 100644 --- a/packages/mirage-unikernel-dns-secondary-hvt.0.0.1/opam +++ b/packages/mirage-unikernel-dns-secondary-hvt.0.0.1/opam @@ -33,5 +33,7 @@ build: [ "sh" "-exc" "mirage configure -t hvt --allocation-policy=best-fit && mi synopsis: "This is a dummy" install: [ [ "cp" "secondary.hvt" "%{bin}%/secondary.hvt" ] + [ "strip" "%{bin}%/secondary.hvt" ] + [ "cp" "secondary.hvt" "%{prefix}%/secondary.hvt.debug" ] ] url { src: "git+https://github.com/roburio/dns-secondary.git" } diff --git a/packages/mirage-unikernel-dns-secondary-monitoring-hvt.0.0.1/opam b/packages/mirage-unikernel-dns-secondary-monitoring-hvt.0.0.1/opam index 1e4556f..6cff9ca 100644 --- a/packages/mirage-unikernel-dns-secondary-monitoring-hvt.0.0.1/opam +++ b/packages/mirage-unikernel-dns-secondary-monitoring-hvt.0.0.1/opam @@ -36,5 +36,7 @@ build: [ "sh" "-exc" "mirage configure -t hvt --allocation-policy=best-fit && mi synopsis: "This is a dummy" install: [ [ "cp" "secondary.hvt" "%{bin}%/secondary.hvt" ] + [ "strip" "%{bin}%/secondary.hvt" ] + [ "cp" "secondary.hvt" "%{prefix}%/secondary.hvt.debug" ] ] url { src: "git+https://github.com/roburio/dns-secondary.git#future" } diff --git a/packages/mirage-unikernel-hannes-nqsb-io-hvt.0.0.2/opam b/packages/mirage-unikernel-hannes-nqsb-io-hvt.0.0.2/opam index baf2273..3e8e94b 100644 --- a/packages/mirage-unikernel-hannes-nqsb-io-hvt.0.0.2/opam +++ b/packages/mirage-unikernel-hannes-nqsb-io-hvt.0.0.2/opam @@ -54,5 +54,7 @@ build: [ "sh" "-exc" "mirage configure -t hvt --allocation-policy=best-fit -p 80 synopsis: "This is a dummy" install: [ [ "cp" "canopy.hvt" "%{bin}%/canopy.hvt" ] + [ "strip" "%{bin}%/canopy.hvt" ] + [ "cp" "canopy.hvt" "%{prefix}%/canopy.hvt.debug" ] ] url { src: "git+https://github.com/hannesm/Canopy.git#future-full" } diff --git a/packages/mirage-unikernel-nqsbio-hvt.0.0.2/opam b/packages/mirage-unikernel-nqsbio-hvt.0.0.2/opam index aba0ff5..ceeb475 100644 --- a/packages/mirage-unikernel-nqsbio-hvt.0.0.2/opam +++ b/packages/mirage-unikernel-nqsbio-hvt.0.0.2/opam @@ -38,5 +38,7 @@ build: [ "sh" "-exc" "mirage configure -t hvt && mirage build" ] synopsis: "This is a dummy" install: [ [ "cp" "nqsbio.hvt" "%{bin}%/nqsbio.hvt" ] + [ "strip" "%{bin}%/nqsbio.hvt" ] + [ "cp" "nqsbio.hvt" "%{prefix}%/nqsbio.hvt.debug" ] ] url { src: "git+https://github.com/mirleft/nqsb.io.git#future" } diff --git a/packages/mirage-unikernel-ovpn_router-hvt.0.0.1/opam b/packages/mirage-unikernel-ovpn_router-hvt.0.0.1/opam index 3fd0909..6b48845 100644 --- a/packages/mirage-unikernel-ovpn_router-hvt.0.0.1/opam +++ b/packages/mirage-unikernel-ovpn_router-hvt.0.0.1/opam @@ -37,5 +37,7 @@ build: [ "sh" "-exc" "cd mirage-router && mirage configure -t hvt --allocation-p synopsis: "This is a dummy" install: [ [ "cp" "mirage-router/ovpn_router.hvt" "%{bin}%/ovpn_router.hvt" ] + [ "strip" "%{bin}%/ovpn_router.hvt" ] + [ "cp" "mirage-router/ovpn_router.hvt" "%{prefix}%/ovpn_router.hvt.debug" ] ] url { src: "git+https://github.com/roburio/openvpn.git#robur" } diff --git a/packages/mirage-unikernel-qubes-firewall-flambda-xen.0.0.1/opam b/packages/mirage-unikernel-qubes-firewall-flambda-xen.0.0.1/opam index 478f6a5..666aa3b 100644 --- a/packages/mirage-unikernel-qubes-firewall-flambda-xen.0.0.1/opam +++ b/packages/mirage-unikernel-qubes-firewall-flambda-xen.0.0.1/opam @@ -41,5 +41,7 @@ build: [ "sh" "-exc" "mirage configure -t xen --allocation-policy=best-fit && mi synopsis: "This is a dummy" install: [ [ "cp" "qubes_firewall.xen" "%{bin}%/qubes_firewall.xen" ] + [ "strip" "%{bin}%/qubes_firewall.xen" ] + [ "cp" "qubes_firewall.xen" "%{prefix}%/qubes_firewall.xen.debug" ] ] url { src: "git+https://github.com/hannesm/qubes-mirage-firewall.git#arp-2.3.0" } diff --git a/packages/mirage-unikernel-qubes-firewall-xen.0.0.1/opam b/packages/mirage-unikernel-qubes-firewall-xen.0.0.1/opam index 6596497..e376fef 100644 --- a/packages/mirage-unikernel-qubes-firewall-xen.0.0.1/opam +++ b/packages/mirage-unikernel-qubes-firewall-xen.0.0.1/opam @@ -40,5 +40,7 @@ build: [ "sh" "-exc" "mirage configure -t xen --allocation-policy=best-fit && mi synopsis: "This is a dummy" install: [ [ "cp" "qubes_firewall.xen" "%{bin}%/qubes_firewall.xen" ] + [ "strip" "%{bin}%/qubes_firewall.xen" ] + [ "cp" "qubes_firewall.xen" "%{prefix}%/qubes_firewall.xen.debug" ] ] url { src: "git+https://github.com/hannesm/qubes-mirage-firewall.git#arp-2.3.0" } diff --git a/packages/mirage-unikernel-retreat-hvt.0.0.1/opam b/packages/mirage-unikernel-retreat-hvt.0.0.1/opam index f404873..6d693e0 100644 --- a/packages/mirage-unikernel-retreat-hvt.0.0.1/opam +++ b/packages/mirage-unikernel-retreat-hvt.0.0.1/opam @@ -36,5 +36,7 @@ build: [ "sh" "-exc" "mirage configure -t hvt --allocation-policy=best-fit && mi synopsis: "This is a dummy" install: [ [ "cp" "retreat.hvt" "%{bin}%/retreat.hvt" ] + [ "strip" "%{bin}%/retreat.hvt" ] + [ "cp" "retreat.hvt" "%{prefix}%/retreat.hvt.debug" ] ] url { src: "git+https://github.com/mirage/retreat.mirage.io.git#future" } diff --git a/packages/mirage-unikernel-roburio-hvt.0.0.2/opam b/packages/mirage-unikernel-roburio-hvt.0.0.2/opam index 54067dc..6c33228 100644 --- a/packages/mirage-unikernel-roburio-hvt.0.0.2/opam +++ b/packages/mirage-unikernel-roburio-hvt.0.0.2/opam @@ -54,5 +54,7 @@ build: [ "sh" "-exc" "mirage configure -t hvt --allocation-policy=best-fit -p 80 synopsis: "This is a dummy" install: [ [ "cp" "canopy.hvt" "%{bin}%/canopy.hvt" ] + [ "strip" "%{bin}%/canopy.hvt" ] + [ "cp" "canopy.hvt" "%{prefix}%/canopy.hvt.debug" ] ] url { src: "git+https://github.com/hannesm/Canopy.git#future-robur" } diff --git a/packages/mirage-unikernel-tlstunnel-hvt.0.0.1/opam b/packages/mirage-unikernel-tlstunnel-hvt.0.0.1/opam index 26eaba0..7bef8ef 100644 --- a/packages/mirage-unikernel-tlstunnel-hvt.0.0.1/opam +++ b/packages/mirage-unikernel-tlstunnel-hvt.0.0.1/opam @@ -33,5 +33,7 @@ build: [ "sh" "-exc" "mirage configure -t hvt --allocation-policy=best-fit && mi synopsis: "This is a dummy" install: [ [ "cp" "tlstunnel.hvt" "%{bin}%/tlstunnel.hvt" ] + [ "strip" "%{bin}%/tlstunnel.hvt" ] + [ "cp" "tlstunnel.hvt" "%{prefix}%/tlstunnel.hvt.debug" ] ] url { src: "git+https://github.com/roburio/tlstunnel.git" } diff --git a/packages/mirage-unikernel-tlstunnel-monitoring-hvt.0.0.1/opam b/packages/mirage-unikernel-tlstunnel-monitoring-hvt.0.0.1/opam index 98db71d..54cf649 100644 --- a/packages/mirage-unikernel-tlstunnel-monitoring-hvt.0.0.1/opam +++ b/packages/mirage-unikernel-tlstunnel-monitoring-hvt.0.0.1/opam @@ -36,5 +36,7 @@ build: [ "sh" "-exc" "mirage configure -t hvt --allocation-policy=best-fit && mi synopsis: "This is a dummy" install: [ [ "cp" "tlstunnel.hvt" "%{bin}%/tlstunnel.hvt" ] + [ "strip" "%{bin}%/tlstunnel.hvt" ] + [ "cp" "tlstunnel.hvt" "%{prefix}%/tlstunnel.hvt.debug" ] ] url { src: "git+https://github.com/roburio/tlstunnel.git#monitoring" } diff --git a/packages/mirage-unikernel-unipi-hvt.0.0.1/opam b/packages/mirage-unikernel-unipi-hvt.0.0.1/opam index 9451bf9..72fdd28 100644 --- a/packages/mirage-unikernel-unipi-hvt.0.0.1/opam +++ b/packages/mirage-unikernel-unipi-hvt.0.0.1/opam @@ -45,5 +45,7 @@ build: [ "sh" "-exc" "mirage configure -t hvt --allocation-policy=best-fit && mi synopsis: "This is a dummy" install: [ [ "cp" "unipi.hvt" "%{bin}%/unipi.hvt" ] + [ "strip" "%{bin}%/unipi.hvt" ] + [ "cp" "unipi.hvt" "%{prefix}%/unipi.hvt.debug" ] ] url { src: "git+https://github.com/roburio/unipi.git#main" } diff --git a/packages/mirage-unikernel-unipi-with-kv-hvt.0.0.1/opam b/packages/mirage-unikernel-unipi-with-kv-hvt.0.0.1/opam index 8a65d74..c7d86f8 100644 --- a/packages/mirage-unikernel-unipi-with-kv-hvt.0.0.1/opam +++ b/packages/mirage-unikernel-unipi-with-kv-hvt.0.0.1/opam @@ -47,5 +47,7 @@ build: [ "sh" "-exc" "mirage configure -t hvt --allocation-policy=best-fit && mi synopsis: "This is a dummy" install: [ [ "cp" "unipi.hvt" "%{bin}%/unipi.hvt" ] + [ "strip" "%{bin}%/unipi.hvt" ] + [ "cp" "unipi.hvt" "%{prefix}%/unipi.hvt.debug" ] ] url { src: "git+https://github.com/roburio/unipi.git#with-kv" }