Update build_dockerfile.sh

paulsengroup · Dec 9, 2023 · 579216e · 579216e
1 parent 8114620
commit 579216e
Showing 1 changed file with 4 additions and 4 deletions.
diff --git a/utils/devel/build_dockerfile.sh b/utils/devel/build_dockerfile.sh
@@ -37,17 +37,17 @@ fi
 sudo docker pull docker.io/library/ubuntu:22.04
 FINAL_BASE_IMAGE_DIGEST="$(sudo docker inspect --format='{{index .RepoDigests 0}}' docker.io/library/ubuntu:22.04 | grep -o '[[:alnum:]:]\+$')"
 
-BUILD_BASE_IMAGE='ghcr.io/paulsengroup/ci-docker-images/ubuntu-22.04-cxx-clang-15:latest'
+BUILD_BASE_IMAGE='ghcr.io/paulsengroup/ci-docker-images/ubuntu-22.04-cxx-clang-17:latest'
 
 sudo docker pull "$BUILD_BASE_IMAGE"
 
-sudo docker build \
+sudo docker buildx build --platform linux/amd64,linux/arm64 \
   --build-arg "BUILD_BASE_IMAGE=$BUILD_BASE_IMAGE" \
   --build-arg "FINAL_BASE_IMAGE=docker.io/library/ubuntu" \
   --build-arg "FINAL_BASE_IMAGE_TAG=22.04" \
   --build-arg "FINAL_BASE_IMAGE_DIGEST=$FINAL_BASE_IMAGE_DIGEST" \
-  --build-arg "C_COMPILER=clang-15" \
-  --build-arg "CXX_COMPILER=clang++-15" \
+  --build-arg "C_COMPILER=clang-17" \
+  --build-arg "CXX_COMPILER=clang++-17" \
   --build-arg "GIT_HASH=$GIT_HASH" \
   --build-arg "GIT_SHORT_HASH=$GIT_SHORT_HASH" \
   --build-arg "GIT_TAG=$GIT_TAG" \