max/lean4-htt
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions 2

chore: fix test

Browse source
This commit is contained in:
tydeu 2023-07-01 19:25:51 -04:00
parent a0626a9334
commit 68800cdcf8
1 changed files with 1 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

2
examples/ffi/lib/lakefile.lean
View file

@ -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]