override target arch for arm64

DARPA-ASKEM · Oct 2, 2024 · b767e14 · b767e14
1 parent f17624c
commit b767e14
Showing 1 changed file with 9 additions and 0 deletions.
diff --git a/docker/docker-bake.hcl b/docker/docker-bake.hcl
@@ -213,17 +213,26 @@ target "_arm64" {
 }
 target "funman-ibex-arm64" {
   inherits = ["_arm64", "funman-ibex"]
+  args = {
+    TARGETARCH = "arm64"
+  }
 }
 target "funman-dreal4-arm64" {
   inherits = ["_arm64", "funman-dreal4"]
   contexts = {
     "${DOCKER_REGISTRY}/${DOCKER_ORG}/funman-ibex:${VERSION}-${IBEX_BRANCH}" = "target:funman-ibex-arm64"
   }
+  args = {
+    TARGETARCH = "arm64"
+  }
 }
 target "funman-base-arm64" {
   inherits = ["_arm64", "funman-base"]
   contexts = {
     "${DOCKER_REGISTRY}/${DOCKER_ORG}/funman-dreal4:${VERSION}-${DREAL_COMMIT_TAG}" = "target:funman-dreal4-arm64"
   }
+  args = {
+    TARGETARCH = "arm64"
+  }
   tags = tag("funman-base", "", "-arm64")
 }