From 1cf59f61eb5d641b05ff85a53a30bebb9c1ab68b Mon Sep 17 00:00:00 2001
From: Sergiu Deitsch <sergiu.deitsch@gmail.com>
Date: Sat, 30 Jul 2022 16:32:01 +0200
Subject: [PATCH] Set Github workflow NDK path explicitly

Change-Id: I31115293f4a80ca15a7520814055ee1268d2970f
---
 .github/workflows/android.yml | 10 ++++++++++
 1 file changed, 10 insertions(+)

diff --git a/.github/workflows/android.yml b/.github/workflows/android.yml
index cf2a44711..ee944f8b5 100644
--- a/.github/workflows/android.yml
+++ b/.github/workflows/android.yml
@@ -46,6 +46,16 @@ jobs:
             ccache \
             ninja-build
 
+      # Ensure the declared NDK version is always installed even if it's removed
+      # from the virtual environment.
+      - name: Setup NDK
+        env:
+          ANDROID_NDK_VERSION: 23.2.8568313
+          ANDROID_SDK_ROOT: /usr/local/lib/android/sdk
+        run: |
+          echo 'y' | ${{env.ANDROID_SDK_ROOT}}/cmdline-tools/latest/bin/sdkmanager --install 'ndk;${{env.ANDROID_NDK_VERSION}}'
+          echo "ANDROID_NDK_ROOT=${{env.ANDROID_SDK_ROOT}}/ndk/${{env.ANDROID_NDK_VERSION}}" >> $GITHUB_ENV
+
       - name: Cache Eigen
         id: cache-eigen
         uses: actions/cache@v2