Detect empty standard library directory (#3207)

* Closes #3185
anoma · Dec 2, 2024 · fcd59c9 · fcd59c9
1 parent dc8d4b7
commit fcd59c9
Showing 1 changed file with 5 additions and 0 deletions.
diff --git a/config/configure.sh b/config/configure.sh
@@ -5,6 +5,11 @@ if [ ! -d "config" ]; then
     exit 1
 fi
 
+if [ -z "$( ls -A 'juvix-stdlib' )" ]; then
+    printf "Empty standard library directory.\nDid you remember to clone with the --recursive option?\nTry running:\n   git submodule init\n   git submodule update\n" 1>&2
+    exit 1
+fi
+
 if [ -z "$CC" ]; then
     CC="clang"
 fi