From 3c07b2ca0d1dd8ced802a2b89ebc43b39b9a964a Mon Sep 17 00:00:00 2001 From: Gabriel Barreto Date: Tue, 29 Apr 2025 18:58:25 -0300 Subject: [PATCH] Position independent code --- lakefile.lean | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/lakefile.lean b/lakefile.lean index b95a9ba..dedd76e 100644 --- a/lakefile.lean +++ b/lakefile.lean @@ -45,7 +45,7 @@ def buildBlake3Obj (pkg : Package) (fileName : String) := do let cDir := blake3CDir blake3Repo let srcJob ← inputTextFile $ cDir / fileName |>.addExtension "c" let oFile := pkg.buildDir / fileName |>.addExtension "o" - let includeArgs := #["-I", cDir.toString] + let includeArgs := #["-fPIC", "-I", cDir.toString] let weakArgs := includeArgs ++ blake3Flags buildO oFile srcJob weakArgs #[] compiler getLeanTrace @@ -55,7 +55,7 @@ target ffi.o pkg : System.FilePath := do let srcJob ← inputTextFile $ pkg.dir / "ffi.c" let leanIncludeDir ← getLeanIncludeDir let cDir := blake3CDir blake3Repo - let weakArgs := #["-I", leanIncludeDir.toString, "-I", cDir.toString] + let weakArgs := #["-fPIC", "-I", leanIncludeDir.toString, "-I", cDir.toString] buildO oFile srcJob weakArgs #[] compiler getLeanTrace extern_lib ffi pkg := do