fix: glibc check

leanprover · Nov 24, 2023 · 164e112 · 164e112
1 parent e434e1c
commit 164e112
Showing 1 changed file with 3 additions and 0 deletions.
diff --git a/elan-init.sh b/elan-init.sh
@@ -188,6 +188,9 @@ get_architecture() {
         if [ "$(uname -o)" = Android ]; then
             local _ostype=Android
         fi
+        if !(ldd --version 2>&1 | grep -iqE 'glibc|gnu c library|gnu libc'); then
+            err "only glibc systems are supported"
+        fi
     fi
 
     if [ "$_ostype" = Darwin -a "$_cputype" = i386 ]; then