From 4949be401b29a6a95bde6117b95c987aa5f16b26 Mon Sep 17 00:00:00 2001
From: "Jip J. Dekker" <jip@dekker.one>
Date: Tue, 25 Jun 2024 13:06:24 +1000
Subject: [PATCH] Update intel-sat repository and disable compilation warnings

---
 crates/pindakaas-intel-sat/build.rs         | 2 +-
 crates/pindakaas-intel-sat/vendor/intel_sat | 2 +-
 2 files changed, 2 insertions(+), 2 deletions(-)

diff --git a/crates/pindakaas-intel-sat/build.rs b/crates/pindakaas-intel-sat/build.rs
index 452cda61df..2e25fa5d61 100644
--- a/crates/pindakaas-intel-sat/build.rs
+++ b/crates/pindakaas-intel-sat/build.rs
@@ -21,5 +21,5 @@ fn main() {
 	let mut builder = cc::Build::new();
 	let build = builder.cpp(true).flag_if_supported("-std=c++20");
 	change_ipasir_prefix(build, "intel_sat");
-	build.files(src).compile("intel_sat");
+	build.files(src).cargo_warnings(false).compile("intel_sat");
 }
diff --git a/crates/pindakaas-intel-sat/vendor/intel_sat b/crates/pindakaas-intel-sat/vendor/intel_sat
index a78cf99dd5..de1582f5b5 160000
--- a/crates/pindakaas-intel-sat/vendor/intel_sat
+++ b/crates/pindakaas-intel-sat/vendor/intel_sat
@@ -1 +1 @@
-Subproject commit a78cf99dd5dff0f0b0c3818cac2aaa1593f573c1
+Subproject commit de1582f5b5875a7f124ffc01cd97b2e5c0ec9e79