Detect empty standard library directory

anoma · Dec 1, 2024 · 7103a5e · 7103a5e
1 parent 5fea31e
commit 7103a5e
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