set SDKROOT

Change-Id: Ic459323c2f3cf9429d7b4cb36d8a2509fa2ab3bc

Author: rdementi

.github/workflows/macos-scan-build.yml

@@ -20,9 +20,18 @@ jobs:
       with:
         egress-policy: audit
 
-    - uses: maxim-lobanov/setup-xcode@v1
-      with:
-        xcode-version: '14.3.1'
+    - name: Select Xcode 14.3.1
+      run: sudo xcode-select -s /Applications/Xcode_14.3.1.app/Contents/Developer
+
+    - name: Set SDKROOT and verify kernel headers
+      shell: bash
+      run: |
+          SDKROOT="$(xcrun --sdk macosx --show-sdk-path)"
+          echo "SDKROOT=$SDKROOT" >> "$GITHUB_ENV"
+          test -f "$SDKROOT/System/Library/Frameworks/Kernel.framework/Headers/IOKit/IOLib.h" || {
+            echo "Kernel IOLib.h not found under SDK: $SDKROOT" >&2
+            exit 1
+          }
 
     - uses: actions/checkout@11bd71901bbe5b1630ceea73d27597364c9af683 # v4.2.2
       with: