hello / traceroute (mirage 4): execute depext-lockfile as pre-build command

This commit is contained in:
Hannes Mehnert 2022-08-08 22:05:57 +02:00
parent bc0ce94d6d
commit f07a331f7a
2 changed files with 2 additions and 2 deletions

View file

@ -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-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: [ x-mirage-extra-repo: [
["opam-overlays" "https://github.com/dune-universe/opam-overlays.git"] ["opam-overlays" "https://github.com/dune-universe/opam-overlays.git"]

View file

@ -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-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: [ x-mirage-extra-repo: [
["opam-overlays" "https://github.com/dune-universe/opam-overlays.git"] ["opam-overlays" "https://github.com/dune-universe/opam-overlays.git"]