Cleanup

Author: usernamenotavailablepleasechooseanother

README.md

@@ -1,3 +1,3 @@
-# Sqlite Lean4
+# SQLite Lean
 
-Uses the (amalgamation)[https://sqlite.org/amalgamation.html] of (SQLite)[https://sqlite.org/download.html], which bundles all of SQLite into one .c file for easy compilation.
+Uses the [amalgamation](https://sqlite.org/amalgamation.html) of [SQLite](https://sqlite.org/), which bundles all of SQLite into one .c file for easy compilation.

lakefile.lean

@@ -13,15 +13,13 @@ target sqlite.o pkg : FilePath := do
   let sqliteHeaders := pkg.dir / "native"
   -- Ensure that both sqlite3.h and sqlite3ext.h are available during compilation
   let weakArgs := #["-I", sqliteHeaders.toString]
-  -- Use configured compiler variable to allow Windows toolchains to choose the proper C compiler
   buildO oFile srcJob weakArgs #["-fPIC"] compiler getLeanTrace
 
 target sqliteffi.o pkg : FilePath := do
   let oFile := pkg.dir / "native" / "sqliteffi.o"
   let srcJob ← inputTextFile <| pkg.dir / "native" / "sqliteffi.c"
   let sqliteHeaders := pkg.dir / "native"
   let weakArgs := #["-I", (← getLeanIncludeDir).toString, "-I", sqliteHeaders.toString]
-  -- Use configured compiler variable to allow Windows toolchains to choose the proper C compiler
   buildO oFile srcJob weakArgs #["-fPIC"] compiler getLeanTrace
 
 extern_lib libsqlite pkg := do