1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
|
Description: Fix FTBFS against GCC 15, which defaults to C23
Use the standard bool from stdbool.h type instead of a custom one.
.
Upstream rather recommends to build using ANSI C standard, but this does not
work for Debian because it does not use the vendored version of SuiteSparse,
but rather the packaged version, and the latter is not ANSI C (it uses
C++-style comments).
Author: Mohit Chamania <mohitc@gmail.com>
Bug: https://lists.gnu.org/archive/html/bug-glpk/2025-05/msg00000.html
Bug-Debian: https://bugs.debian.org/1096728
Reviewed-by: Sébastien Villemot <sebastien@debian.org>
Last-Update: 2025-08-11
---
This patch header follows DEP-3: http://dep.debian.net/deps/dep3/
--- a/src/minisat/minisat.h
+++ b/src/minisat/minisat.h
@@ -34,10 +34,7 @@
/*====================================================================*/
/* Simple types: */
-typedef int bool;
-
-#define true 1
-#define false 0
+#include <stdbool.h>
typedef int lit;
#if 0 /* by mao */
|
