Update backend OPAM packages even when they do not need lwip

shym · Sep 19, 2024 · 53f2b2c · 53f2b2c
1 parent 7f1016a
commit 53f2b2c
Show file tree

Hide file tree

Showing 3 changed files with 36 additions and 0 deletions.
diff --git a/ocaml-unikraft-backend-fc-arm64.opam b/ocaml-unikraft-backend-fc-arm64.opam
@@ -30,6 +30,18 @@ extra-source "musl-1.2.3.tar.gz" {
   checksum:
     "sha256=7d5b0b6062521e4627e099e4c9dc8248d32a30285e959b7eecaa780cf8cfd4a4"
 }
+extra-source "lib-lwip.tar.gz" {
+  src:
+    "https://github.com/unikraft/lib-lwip/archive/refs/tags/RELEASE-0.17.0.tar.gz"
+  checksum:
+    "sha256=f90cce7a53f6ad093d1692bb95dd12294148f817a7088e4c981092a76513ad04"
+}
+extra-source "lwip-UNIKRAFT-2_1_x.zip" {
+  src:
+    "https://github.com/unikraft/fork-lwip/archive/refs/heads/UNIKRAFT-2_1_x.zip"
+  checksum:
+    "sha256=1cf15ac8a70946f49327cfa4bc6923555b8c4ceeb11e4dc4f20e530b674403af"
+}
 pin-depends: [
   ["unikraft.0.17.0+fix" "git+https://github.com/shym/unikraft.git#66bab9efad04cc4298755f04278b36c6ec353867"]
 ]
diff --git a/ocaml-unikraft-backend-fc-x86_64.opam b/ocaml-unikraft-backend-fc-x86_64.opam
@@ -30,6 +30,18 @@ extra-source "musl-1.2.3.tar.gz" {
   checksum:
     "sha256=7d5b0b6062521e4627e099e4c9dc8248d32a30285e959b7eecaa780cf8cfd4a4"
 }
+extra-source "lib-lwip.tar.gz" {
+  src:
+    "https://github.com/unikraft/lib-lwip/archive/refs/tags/RELEASE-0.17.0.tar.gz"
+  checksum:
+    "sha256=f90cce7a53f6ad093d1692bb95dd12294148f817a7088e4c981092a76513ad04"
+}
+extra-source "lwip-UNIKRAFT-2_1_x.zip" {
+  src:
+    "https://github.com/unikraft/fork-lwip/archive/refs/heads/UNIKRAFT-2_1_x.zip"
+  checksum:
+    "sha256=1cf15ac8a70946f49327cfa4bc6923555b8c4ceeb11e4dc4f20e530b674403af"
+}
 pin-depends: [
   ["unikraft.0.17.0+fix" "git+https://github.com/shym/unikraft.git#66bab9efad04cc4298755f04278b36c6ec353867"]
 ]
diff --git a/ocaml-unikraft-backend-qemu-arm64.opam b/ocaml-unikraft-backend-qemu-arm64.opam
@@ -30,6 +30,18 @@ extra-source "musl-1.2.3.tar.gz" {
   checksum:
     "sha256=7d5b0b6062521e4627e099e4c9dc8248d32a30285e959b7eecaa780cf8cfd4a4"
 }
+extra-source "lib-lwip.tar.gz" {
+  src:
+    "https://github.com/unikraft/lib-lwip/archive/refs/tags/RELEASE-0.17.0.tar.gz"
+  checksum:
+    "sha256=f90cce7a53f6ad093d1692bb95dd12294148f817a7088e4c981092a76513ad04"
+}
+extra-source "lwip-UNIKRAFT-2_1_x.zip" {
+  src:
+    "https://github.com/unikraft/fork-lwip/archive/refs/heads/UNIKRAFT-2_1_x.zip"
+  checksum:
+    "sha256=1cf15ac8a70946f49327cfa4bc6923555b8c4ceeb11e4dc4f20e530b674403af"
+}
 pin-depends: [
   ["unikraft.0.17.0+fix" "git+https://github.com/shym/unikraft.git#66bab9efad04cc4298755f04278b36c6ec353867"]
 ]