try using clang

T-Brick · Feb 28, 2024 · 30cef83 · 30cef83
1 parent d3d11d2
commit 30cef83
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 1 deletion.
diff --git a/DateTime/c/datetime.cpp b/DateTime/c/datetime.cpp
@@ -3,6 +3,7 @@
 Authors: Thea Brick
 */
 #include <lean/lean.h>
+#include <chrono>
 
 /* DateTime.now_iso_seconds : IO String */
 extern "C" LEAN_EXPORT lean_object * lean_datetime_now_iso_sec(lean_object * /* w */) {

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", "-lstdc++.so.6"] (compiler := "g++") getLeanTrace
+  buildO "datetime.cpp" oFile srcJob weakArgs #["-fPIC", "-lstdc++.so.6"] (compiler := "clang") getLeanTrace
 
 extern_lib libleandatetime pkg := do
   let name := nameToStaticLib "datetime"