From f07a331f7af261c8fc3df57e2db113f377731a62 Mon Sep 17 00:00:00 2001 From: Hannes Mehnert Date: Mon, 8 Aug 2022 22:05:57 +0200 Subject: [PATCH] hello / traceroute (mirage 4): execute depext-lockfile as pre-build command --- packages/mirage-unikernel-hello-hvt.0.0.2/opam | 2 +- packages/mirage-unikernel-traceroute-hvt.0.0.2/opam | 2 +- 2 files changed, 2 insertions(+), 2 deletions(-) diff --git a/packages/mirage-unikernel-hello-hvt.0.0.2/opam b/packages/mirage-unikernel-hello-hvt.0.0.2/opam index 78b17df..e2740f4 100644 --- a/packages/mirage-unikernel-hello-hvt.0.0.2/opam +++ b/packages/mirage-unikernel-hello-hvt.0.0.2/opam @@ -35,7 +35,7 @@ x-mirage-opam-lock-location: "tutorial/hello-key/mirage/hello-key-hvt.opam.locke x-mirage-configure: ["sh" "-exc" "cd tutorial/hello-key/ && mirage configure -t hvt --context ./mirage/context --no-extra-repo"] -x-mirage-pre-build: [make "-Ctutorial/hello-key/" "lock" "pull"] +x-mirage-pre-build: [make "-Ctutorial/hello-key/" "lock" "depext-lockfile" "pull"] x-mirage-extra-repo: [ ["opam-overlays" "https://github.com/dune-universe/opam-overlays.git"] diff --git a/packages/mirage-unikernel-traceroute-hvt.0.0.2/opam b/packages/mirage-unikernel-traceroute-hvt.0.0.2/opam index a1787d1..a938cc0 100644 --- a/packages/mirage-unikernel-traceroute-hvt.0.0.2/opam +++ b/packages/mirage-unikernel-traceroute-hvt.0.0.2/opam @@ -42,7 +42,7 @@ x-mirage-opam-lock-location: "mirage/traceroute-hvt.opam.locked" x-mirage-configure: ["sh" "-exc" "mirage configure -t hvt --allocation-policy=best-fit --context ./mirage/context --no-extra-repo"] -x-mirage-pre-build: [make "lock" "pull"] +x-mirage-pre-build: [make "lock" "depext-lockfile" "pull"] x-mirage-extra-repo: [ ["opam-overlays" "https://github.com/dune-universe/opam-overlays.git"]