From e681987f78f0301a857d29086c881b3a84601e53 Mon Sep 17 00:00:00 2001 From: T-Brick Date: Tue, 27 Feb 2024 21:31:09 -0500 Subject: [PATCH] renaming + clean-up lakefile --- DateTime/c/{ffi.cpp => datetime.cpp} | 0 lakefile.lean | 16 ++++++++-------- 2 files changed, 8 insertions(+), 8 deletions(-) rename DateTime/c/{ffi.cpp => datetime.cpp} (100%) diff --git a/DateTime/c/ffi.cpp b/DateTime/c/datetime.cpp similarity index 100% rename from DateTime/c/ffi.cpp rename to DateTime/c/datetime.cpp diff --git a/lakefile.lean b/lakefile.lean index a699156..aedf34e 100644 --- a/lakefile.lean +++ b/lakefile.lean @@ -13,13 +13,13 @@ lean_exe «datetime» where root := `Main supportInterpreter := true -target ffi.o pkg : FilePath := do - let oFile := pkg.buildDir / "DateTime" / "c" / "ffi.o" - let srcJob ← inputFile <| pkg.dir / "DateTime" / "c" / "ffi.cpp" +target datetime.o pkg : FilePath := do + let oFile := pkg.buildDir / "DateTime" / "c" / "datetime.o" + let srcJob ← inputFile <| pkg.dir / "DateTime" / "c" / "datetime.cpp" let weakArgs := #["-I", (← getLeanIncludeDir).toString] - buildO "ffi.cpp" oFile srcJob weakArgs #["-fPIC"] "c++" getLeanTrace + buildO "datetime.cpp" oFile srcJob weakArgs #["-fPIC"] "g++" getLeanTrace -extern_lib libleanffi pkg := do - let name := nameToStaticLib "leanffi" - let ffiO ← fetch <| pkg.target ``ffi.o - buildStaticLib (pkg.nativeLibDir / name) #[ffiO] +extern_lib lib_datetime pkg := do + let name := nameToStaticLib "datetime" + let datetimeO ← fetch <| pkg.target ``datetime.o + buildStaticLib (pkg.nativeLibDir / name) #[datetimeO]