fix: use absolute include paths to placate Zig/Windows

leanprover · Sep 23, 2021 · 40527a9 · 40527a9
1 parent 410c3da
commit 40527a9
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@)