mirror of
https://gitlab.freedesktop.org/mesa/mesa.git
synced 2024-11-23 18:24:13 +08:00
413f398cff
The first container stage ("build") is for dependencies of the build.
These are infrequently-changing things like Visual Studio, LLVM, git,
and also meson. The second container stage ("test") currently depends
on the first, and adds test dependencies like piglit.
This lets us rev piglit without having to rebuild LLVM.
Acked-by: Daniel Stone <daniels@collabora.com>
Part-of: <https://gitlab.freedesktop.org/mesa/mesa/-/merge_requests/14637>
59 lines
2.0 KiB
PowerShell
59 lines
2.0 KiB
PowerShell
# Implements the equivalent of ci-templates container-ifnot-exists, using
|
|
# Docker directly as we don't have buildah/podman/skopeo available under
|
|
# Windows, nor can we execute Docker-in-Docker
|
|
$registry_uri = $args[0]
|
|
$registry_username = $args[1]
|
|
$registry_password = $args[2]
|
|
$registry_user_image = $args[3]
|
|
$registry_central_image = $args[4]
|
|
$build_dockerfile = $args[5]
|
|
$registry_base_image = $args[6]
|
|
|
|
Set-Location -Path ".\.gitlab-ci\windows"
|
|
|
|
docker --config "windows-docker.conf" login -u "$registry_username" -p "$registry_password" "$registry_uri"
|
|
if (!$?) {
|
|
Write-Host "docker login failed to $registry_uri"
|
|
Exit 1
|
|
}
|
|
|
|
# if the image already exists, don't rebuild it
|
|
docker --config "windows-docker.conf" pull "$registry_user_image"
|
|
if ($?) {
|
|
Write-Host "User image $registry_user_image already exists; not rebuilding"
|
|
docker --config "windows-docker.conf" logout "$registry_uri"
|
|
Exit 0
|
|
}
|
|
|
|
# if the image already exists upstream, copy it
|
|
docker --config "windows-docker.conf" pull "$registry_central_image"
|
|
if ($?) {
|
|
Write-Host "Copying central image $registry_central_image to user image $registry_user_image"
|
|
docker --config "windows-docker.conf" tag "$registry_central_image" "$registry_user_image"
|
|
docker --config "windows-docker.conf" push "$registry_user_image"
|
|
$pushstatus = $?
|
|
docker --config "windows-docker.conf" logout "$registry_uri"
|
|
if (!$pushstatus) {
|
|
Write-Host "Pushing image to $registry_user_image failed"
|
|
Exit 1
|
|
}
|
|
Exit 0
|
|
}
|
|
|
|
Write-Host "No image found at $registry_user_image or $registry_central_image; rebuilding"
|
|
docker --config "windows-docker.conf" build --no-cache -t "$registry_user_image" -f "$build_dockerfile" --build-arg base_image="$registry_base_image" .
|
|
if (!$?) {
|
|
Write-Host "Container build failed"
|
|
docker --config "windows-docker.conf" logout "$registry_uri"
|
|
Exit 1
|
|
}
|
|
Get-Date
|
|
|
|
docker --config "windows-docker.conf" push "$registry_user_image"
|
|
$pushstatus = $?
|
|
docker --config "windows-docker.conf" logout "$registry_uri"
|
|
if (!$pushstatus) {
|
|
Write-Host "Pushing image to $registry_user_image failed"
|
|
Exit 1
|
|
}
|