From 26c1eaa479cfc9f2d70c4b4530466f142719686a Mon Sep 17 00:00:00 2001
From: Sebastian Ullrich <sebasti@nullri.ch>
Date: Tue, 21 Sep 2021 20:25:52 +0200
Subject: [PATCH] fix: use absolute include paths to placate Zig/Windows

---
 src/bin/leanc.in | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/bin/leanc.in b/src/bin/leanc.in
index 7643a537c2bc..583a8a5c16dd 100755
--- 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@)