changing the linker flag?

T-Brick · Feb 28, 2024 · 5162224 · 5162224
1 parent 03edb0b
commit 5162224
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/lakefile.lean b/lakefile.lean
@@ -16,7 +16,7 @@ lean_exe «datetime» where
 target datetime.o pkg : FilePath := do
   let oFile := pkg.buildDir / "DateTime" / "c" / "datetime.o"
   let srcJob ← inputFile <| pkg.dir / "DateTime" / "c"  / "datetime.cpp"
-  let flags := #["-I", (← getLeanIncludeDir).toString, "-fPIC", "-lstdc++", "-fno-exceptions"]
+  let flags := #["-I", (← getLeanIncludeDir).toString, "-fPIC", "-lc++", "-fno-exceptions"]
   buildO "datetime.cpp" oFile srcJob flags #[] "g++"
 
 extern_lib libleandatetime pkg := do