fix: use absolute include paths to placate Zig/Windows

leanprover · Sep 22, 2021 · 26c1eaa · 26c1eaa
1 parent fea6eda
commit 26c1eaa
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/src/bin/leanc.in b/src/bin/leanc.in
@@ -13,7 +13,7 @@
 #   Beware of the licensing consequences since GMP is LGPL.
 
 set -e
-bindir=$(dirname $0)
+bindir="$(cd $(dirname $0); pwd)"  # ensure absolute path for Zig/Windows
 
 cflags=("-I$bindir/../include" @LEANC_EXTRA_FLAGS@)
 ldflags=("-L$bindir/../lib" "-L$bindir/../lib/lean" "${LEANC_GMP:--lgmp}" @LEAN_EXTRA_LINKER_FLAGS@)