From 68800cdcf869e5fb42a6ea7f109d663ee5342389 Mon Sep 17 00:00:00 2001 From: tydeu Date: Sat, 1 Jul 2023 19:25:51 -0400 Subject: [PATCH] chore: fix test --- examples/ffi/lib/lakefile.lean | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/examples/ffi/lib/lakefile.lean b/examples/ffi/lib/lakefile.lean index fae86a96a7..ec2ffb4d21 100644 --- a/examples/ffi/lib/lakefile.lean +++ b/examples/ffi/lib/lakefile.lean @@ -21,4 +21,4 @@ target ffi.o (pkg : Package) : FilePath := do extern_lib libleanffi (pkg : Package) := do let name := nameToStaticLib "leanffi" let ffiO ← fetch <| pkg.target ``ffi.o - buildStaticLib (pkg.libDir / name) #[ffiO] + buildStaticLib (pkg.nativeLibDir / name) #[ffiO]