From f22caee19353b1bd1a1501f8ca5c56eee0d81c8b Mon Sep 17 00:00:00 2001 From: Hannes Mehnert Date: Wed, 6 Oct 2021 10:28:45 +0200 Subject: [PATCH] add dnsvizor --- .../mirage-unikernel-dnsvizor-hvt.0.0.1/opam | 47 +++++++++++++++++++ 1 file changed, 47 insertions(+) create mode 100644 packages/mirage-unikernel-dnsvizor-hvt.0.0.1/opam diff --git a/packages/mirage-unikernel-dnsvizor-hvt.0.0.1/opam b/packages/mirage-unikernel-dnsvizor-hvt.0.0.1/opam new file mode 100644 index 0000000..2217d94 --- /dev/null +++ b/packages/mirage-unikernel-dnsvizor-hvt.0.0.1/opam @@ -0,0 +1,47 @@ +# Generated by ./config.exe configure -t hvt (2021-10-06 08:01:26-00:00). +opam-version: "2.0" +name: "mirage-unikernel-dnsvizor-hvt" +depends: [ "arp" + "charrua" + "charrua-server" + "dns" + "dns-client" + "dns-mirage" + "dns-resolver" + "dns-server" + "dns-stub" + "dns-tsig" + "ethernet" + "functoria-runtime" + "logs" + "lwt" + "metrics" + "mirage" {build & >= "3.10.0" & < "3.11.0"} + "mirage-bootvar-solo5" { >= "0.6.0" & < "0.7.0"} + "mirage-clock-freestanding" { >= "3.0.0" & < "4.0.0"} + "mirage-crypto-rng-mirage" { >= "0.8.0" & < "0.11.0"} + "mirage-logs" { >= "1.2.0" & < "2.0.0"} + "mirage-net-solo5" { >= "0.6.1" & < "0.7.0"} + "mirage-runtime" { >= "3.10.0" & < "3.11.0"} + "mirage-solo5" { >= "0.6.1" & < "0.7.0"} + "mirage-types" { >= "3.10.0" & < "3.11.0"} + "mirage-types-lwt" { >= "3.10.0" & < "3.11.0"} + "ocaml" {build & >= "4.08.0"} + "ocamlbuild" {build} + "ocamlfind" {build} + "solo5-bindings-hvt" { >= "0.6.0" & < "0.7.0"} + "tcpip" +] +maintainer: "dummy" +authors: "dummy" +homepage: "dummy" +bug-reports: "dummy" +dev-repo: "git+https://example.com/nonexistent" +build: [ "sh" "-exc" "cd dns-and-dhcp && mirage configure -t hvt --allocation-policy=best-fit && mirage build" ] +synopsis: "A DNS resolver and DHCP server" +install: [ + [ "cp" "dns-and-dhcp/dnsvizor.hvt" "%{bin}%/dnsvizor.hvt" ] + [ "strip" "%{bin}%/dnsvizor.hvt" ] + [ "cp" "dns-and-dhcp/dnsvizor.hvt" "%{prefix}%/dnsvizor.hvt.debug" ] +] +url { src: "git+https://github.com/roburio/dnsvizor.git" }