GCC 14 build fix, do not provide python bindings

1 files changed, 74 insertions, 0 deletions

diff --git a/upstream-gcc14.patch b/upstream-gcc14.patch
new file mode 100644
index 000000000000..9cd4592075c8
--- /dev/null
+++ b/upstream-gcc14.patch
@@ -0,0 +1,74 @@
+From 31330f252ace62954d573e68261acd78c8554db7 Mon Sep 17 00:00:00 2001
+From: Mathias Preiner <mathias.preiner@gmail.com>
+Date: Tue, 14 May 2024 08:37:48 -0700
+Subject: [PATCH] Fix missing includes reported by gcc14.
+
+---
+ src/lib/bitblast/aig/aig_cnf.cpp     | 1 +
+ src/lib/bitblast/aig/aig_manager.cpp | 2 ++
+ src/main/options.cpp                 | 1 +
+ src/parser/smt2/parser.cpp           | 1 +
+ test/unit/api/test_api.cpp           | 1 +
+ 5 files changed, 6 insertions(+)
+
+diff --git a/src/lib/bitblast/aig/aig_cnf.cpp b/src/lib/bitblast/aig/aig_cnf.cpp
+index 11fd853ac..6875feac3 100644
+--- a/src/lib/bitblast/aig/aig_cnf.cpp
++++ b/src/lib/bitblast/aig/aig_cnf.cpp
+@@ -10,6 +10,7 @@
+ 
+ #include "bitblast/aig/aig_cnf.h"
+ 
++#include <cstdlib>
+ #include <functional>
+ #include <unordered_set>
+ #include <vector>
+diff --git a/src/lib/bitblast/aig/aig_manager.cpp b/src/lib/bitblast/aig/aig_manager.cpp
+index 00adf7308..e612a50a9 100644
+--- a/src/lib/bitblast/aig/aig_manager.cpp
++++ b/src/lib/bitblast/aig/aig_manager.cpp
+@@ -10,6 +10,8 @@
+ 
+ #include "bitblast/aig/aig_manager.h"
+ 
++#include <cstdlib>
++
+ namespace bzla::bitblast {
+ 
+ // AigNodeUniqueTable
+diff --git a/src/main/options.cpp b/src/main/options.cpp
+index 392a13ab5..d7d85c512 100644
+--- a/src/main/options.cpp
++++ b/src/main/options.cpp
+@@ -2,6 +2,7 @@
+ 
+ #include <bitwuzla/cpp/bitwuzla.h>
+ 
++#include <algorithm>
+ #include <cassert>
+ #include <iomanip>
+ #include <iostream>
+diff --git a/src/parser/smt2/parser.cpp b/src/parser/smt2/parser.cpp
+index 191efb108..bf957fbde 100644
+--- a/src/parser/smt2/parser.cpp
++++ b/src/parser/smt2/parser.cpp
+@@ -10,6 +10,7 @@
+ 
+ #include "parser/smt2/parser.h"
+ 
++#include <algorithm>
+ #include <iostream>
+ 
+ namespace bzla {
+diff --git a/test/unit/api/test_api.cpp b/test/unit/api/test_api.cpp
+index 09a39bad9..755b229a6 100644
+--- a/test/unit/api/test_api.cpp
++++ b/test/unit/api/test_api.cpp
+@@ -11,6 +11,7 @@
+ #include <bitwuzla/cpp/bitwuzla.h>
+ #include <bitwuzla/cpp/parser.h>
+ 
++#include <algorithm>
+ #include <chrono>
+ #include <fstream>
+