aniva
/
RustCallLean
1
0
Fork 0
Code Issues Pull Requests 1 Packages Projects Releases Wiki Activity

Add multithreading example #1

Open
aniva wants to merge 2 commits from multithreading into main
pull from: multithreading
merge into: aniva:main
Conversation 0 Commits 2 Files Changed 5 +6 -5
3 changed files with 6 additions and 5 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files
Showing only changes of commit 7457bdf363 - Show all commits

1
build.rs
View File

@ -8,6 +8,7 @@ fn main() {
let input = format!("{lean_root}/include/lean/lean.h"); let input = format!("{lean_root}/include/lean/lean.h");
println!("cargo:rustc-link-search={callee_root}"); println!("cargo:rustc-link-search={callee_root}");
println!("cargo:rustc-link-search={lean_root}/lib/lean"); println!("cargo:rustc-link-search={lean_root}/lib/lean");
println!("cargo:rustc-link-lib=Init_shared");
let bindgen_dir = env::temp_dir().join("bindgen"); let bindgen_dir = env::temp_dir().join("bindgen");
let extern_src_path = bindgen_dir.join("leanextern.c"); let extern_src_path = bindgen_dir.join("leanextern.c");

8
flake.lock
View File

@ -41,16 +41,16 @@
"nixpkgs": "nixpkgs_2" "nixpkgs": "nixpkgs_2"
}, },
"locked": { "locked": {
"lastModified": 1695693562, "lastModified": 1709691092,
"narHash": "sha256-6qbCafG0bL5KxQt2gL6hV4PFDsEMM0UXfldeOOqxsaE=", "narHash": "sha256-jHY8BhDotfGcMS0Xzl5iawqCaug3dDEKuD5Y1WcM06I=",
"owner": "leanprover", "owner": "leanprover",
"repo": "lean4", "repo": "lean4",
"rev": "a832f398b80a5ebb820d27b9e55ec949759043ff", "rev": "6fce8f7d5cd18a4419bca7fd51780c71c9b1cc5a",
"type": "github" "type": "github"
}, },
"original": { "original": {
"owner": "leanprover", "owner": "leanprover",
"ref": "v4.1.0", "ref": "v4.7.0-rc2",
"repo": "lean4", "repo": "lean4",
"type": "github" "type": "github"
} }

2
flake.nix
View File

@ -4,7 +4,7 @@
inputs = { inputs = {
nixpkgs.url = "github:nixos/nixpkgs/nixos-unstable"; nixpkgs.url = "github:nixos/nixpkgs/nixos-unstable";
flake-parts.url = "github:hercules-ci/flake-parts"; flake-parts.url = "github:hercules-ci/flake-parts";
lean.url = "github:leanprover/lean4?ref=v4.1.0"; lean.url = "github:leanprover/lean4?ref=v4.7.0-rc2";
rust-crate2nix = { rust-crate2nix = {
url = "github:kolloch/crate2nix"; url = "github:kolloch/crate2nix";
flake = false; flake = false;