From 9bceff88c8690399e51505219112349a0bd98ec1 Mon Sep 17 00:00:00 2001
From: Daniel Bertalan <dani@danielbertalan.dev>
Date: Sun, 28 May 2023 10:26:51 +0200
Subject: [PATCH] Toolchain: Fix Linux `libisl` detection in `BuildGDB.sh`

There is no top-level `isl.h`, let's check for `isl/version.h` instead.
---
 Toolchain/BuildGDB.sh | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/Toolchain/BuildGDB.sh b/Toolchain/BuildGDB.sh
index d8571d48c30..0f599dc268d 100755
--- a/Toolchain/BuildGDB.sh
+++ b/Toolchain/BuildGDB.sh
@@ -59,8 +59,9 @@ for lib in gmp isl mpfr mpc; do
         [ "$lib" = "mpc" ] && formula_name="libmpc" || formula_name="$lib"
         config_args+=("--with-$lib=$(brew --prefix --installed "$formula_name")") || missing_lib $lib
     else
+        [ "$lib" = "isl" ] && header="isl/version.h" || header="$lib.h"
         if ! ${CC:-cc} -I /usr/local/include -L /usr/local/lib -l$lib -o /dev/null -xc - >/dev/null <<PROGRAM
-#include <$lib.h>
+#include <$header>
 int main() {}
 PROGRAM
               then