Use stable rust. Fix `build.rs` bugs

build.rs

@@ -47,8 +47,6 @@ fn main()
 		.write_to_file(out_path.join("lean.rs"))
 		.expect("Couldn't write bindings!");
 
-	// This is the path to the object file.
-	let obj_path = output_path.join("extern.o");
 	// This is the path to the static library file.
 	let lib_path = output_path.join("libextern.a");
 
@@ -57,8 +55,8 @@ fn main()
 		.arg("-O")
 		.arg("-c")
 		.arg("-o")
-		.arg(extern_obj_path)
-		.arg(extern_src_path)
+		.arg(&extern_obj_path)
+		.arg(&extern_src_path)
 		.arg("-include")
 		.arg(&input)
 		.output()
@@ -75,7 +73,7 @@ fn main()
 	let lib_output = std::process::Command::new("ar")
 		.arg("rcs")
 		.arg(output_path.join(&lib_path))
-		.arg(obj_path)
+		.arg(&extern_obj_path)
 		.output()
 		.unwrap();
 	#[cfg(target_os = "windows")]

rust-toolchain.toml

@@ -1,2 +1,2 @@
 [toolchain]
-channel = "nightly"
+channel = "stable"

rustfmt.toml

@@ -0,0 +1,3 @@
+edition = "2021"
+hard_tabs = true
+tab_spaces = 3