From d777b74f37477a28c897fd2a9da2c59779290498 Mon Sep 17 00:00:00 2001
From: Uwe Fechner <u.fechner-1@tudelft.nl>
Date: Wed, 21 Oct 2026 18:50:35 +0200
Subject: [PATCH] bin/install: update the registry before Pkg.resolve()

Pkg.resolve() does not update the registry, so it failed when the
default manifest contains versions registered after the last update,
e.g. Git_LFS_jll 3.8.0.

Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>
---
 bin/install | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/bin/install b/bin/install
index 1b6a5140..5a37e075 100755
--- a/bin/install
+++ b/bin/install
@@ -222,6 +222,9 @@ instantiate_main_with_fallback() {
     return 1
 }
 
+# Pkg.resolve() does not update the registry, but needs the versions of the default manifest
+$_julia_cmd -e 'using Pkg; Pkg.Registry.update()'
+
 echo
 echo "Preparing main manifest for Julia ${_julia_major}..."