From 51fd4b2806067829488e3d5ea3d46652ee849212 Mon Sep 17 00:00:00 2001
From: "copilot-swe-agent[bot]" <198982749+Copilot@users.noreply.github.com>
Date: Sun, 8 Feb 2026 17:26:30 +0000
Subject: [PATCH] Fix OCaml linker flag and align validation runners with build
 runners

Co-authored-by: NikolajBjorner <3085284+NikolajBjorner@users.noreply.github.com>
---
 .github/workflows/nightly.yml | 2 +-
 .github/workflows/release.yml | 2 +-
 src/api/ml/CMakeLists.txt     | 2 +-
 3 files changed, 3 insertions(+), 3 deletions(-)

diff --git a/.github/workflows/nightly.yml b/.github/workflows/nightly.yml
index 6e2cc56ef..d15b1e952 100644
--- a/.github/workflows/nightly.yml
+++ b/.github/workflows/nightly.yml
@@ -77,7 +77,7 @@ jobs:
   validate-macos-headerpad-x64:
     name: "Validate macOS x64 dylib headerpad"
     needs: [mac-build-x64]
-    runs-on: macos-13
+    runs-on: macos-latest
     timeout-minutes: 15
     steps:
       - name: Checkout code
diff --git a/.github/workflows/release.yml b/.github/workflows/release.yml
index 36f57ed64..bf6150b1b 100644
--- a/.github/workflows/release.yml
+++ b/.github/workflows/release.yml
@@ -96,7 +96,7 @@ jobs:
   validate-macos-headerpad-x64:
     name: "Validate macOS x64 dylib headerpad"
     needs: [mac-build-x64]
-    runs-on: macos-13
+    runs-on: macos-15
     timeout-minutes: 15
     steps:
       - name: Checkout code
diff --git a/src/api/ml/CMakeLists.txt b/src/api/ml/CMakeLists.txt
index a1a4f5a69..b35c4ac4c 100644
--- a/src/api/ml/CMakeLists.txt
+++ b/src/api/ml/CMakeLists.txt
@@ -161,7 +161,7 @@ endif()
 if( APPLE )
   # set(ocaml_rpath "@executable_path/../libz3${so_ext}")
   # Add headerpad for install_name_tool compatibility on macOS
-  list(APPEND c_lib_deps "-Wl,-headerpad_max_install_names")
+  list(APPEND c_lib_deps "-ldopt" "-Wl,-headerpad_max_install_names")
 elseif( UNIX )
   set(ocaml_rpath "\\$ORIGIN/../libz3${so_ext}")
   list(APPEND c_lib_deps "-dllpath" ${ocaml_rpath})