Skip to content

Commit

Permalink
chore: merge dev (#1591)
Browse files Browse the repository at this point in the history
Co-authored-by: Jonathan LEI <[email protected]>
  • Loading branch information
tamirhemo and xJonathanLEI authored Oct 2, 2024
1 parent 85fca5e commit ac996cb
Showing 1 changed file with 3 additions and 1 deletion.
4 changes: 3 additions & 1 deletion crates/recursion/gnark-ffi/build.rs
Original file line number Diff line number Diff line change
Expand Up @@ -46,7 +46,9 @@ fn main() {
let header_path = dest_path.join(format!("lib{}.h", lib_name));
let bindings = bindgen::Builder::default()
.header(header_path.to_str().unwrap())
.parse_callbacks(Box::new(CargoCallbacks::new()))
// `rerun_on_header_files` needs to be turned off as `libsp1gnark.h` is regenerated
// on each run.
.parse_callbacks(Box::new(CargoCallbacks::new().rerun_on_header_files(false)))
.generate()
.expect("Unable to generate bindings");

Expand Down

0 comments on commit ac996cb

Please sign in to comment.