try switching compiler

T-Brick · Feb 28, 2024 · e8d2124 · e8d2124
1 parent e681987
commit e8d2124
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/lakefile.lean b/lakefile.lean
@@ -17,7 +17,7 @@ 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 "datetime.cpp" oFile srcJob weakArgs #["-fPIC"] "g++" getLeanTrace
+  buildO "datetime.cpp" oFile srcJob weakArgs #["-fPIC"] (compiler := "cc") getLeanTrace
 
 extern_lib lib_datetime pkg := do
   let name := nameToStaticLib "datetime"