Fix linker arguments

This has to do with the fact that I install elan from nix, it's using
the nix linker which needs to be told where non-nix libraries are
This commit is contained in:
Greg Shuflin
2026-03-23 20:02:33 -07:00
parent 84052ec6f1
commit 1251299c84
+2 -1
View File
@@ -88,7 +88,8 @@ extern_lib libclangshim pkg := do
let name := nameToStaticLib "clangshim"
buildStaticLib (pkg.staticLibDir / name) #[shimO]
def moreLinkArgs: Array String := #[s!"-L{clangConfig.libDir}", "-lclang"]
def moreLinkArgs: Array String := #[s!"-L{clangConfig.libDir}", "-lclang",
s!"-Wl,--disable-new-dtags,-rpath,{clangConfig.libDir}"]
@[default_target]
lean_lib LeanLibclang where