github-mig/ZoKrates
github-mig/ZoKrates
1
0
Fork 0
mirror of synced 2025-09-24 04:40:05 +00:00
Code Issues Projects Releases Wiki Activity

update build.rs

Browse source
This commit is contained in:
dark64 2022-01-11 16:16:42 +01:00
parent da4b80db21
commit ac3786d0cc
1 changed files with 2 additions and 10 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

12
zokrates_core/build.rs
View file

@ -25,16 +25,8 @@ fn main() {
Repository::clone(LIBSNARK_URL, libsnark_source_path).unwrap()
});
repo.checkout_head(None).unwrap();
let commit = Oid::from_str(LIBSNARK_COMMIT).unwrap();
let head = repo.head().unwrap();
if commit.ne(&head.target().unwrap()) {
let commit = repo.find_commit(commit).unwrap();
repo.reset(&commit.as_object(), ResetType::Hard, None)
.unwrap();
}
let (object, _) = repo.revparse_ext(LIBSNARK_COMMIT).unwrap();
repo.checkout_tree(&object, None).unwrap();
for mut s in repo.submodules().unwrap() {
s.update(true, None).unwrap();