Skip to content

Commit 37573a5

Browse files
committed
glpk build fix for gcc-15 (remove duplicate bool typedef)
1 parent 9352a32 commit 37573a5

File tree

1 file changed

+15
-0
lines changed

1 file changed

+15
-0
lines changed
Lines changed: 15 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,15 @@
1+
--- glpk-5.0/src/minisat/minisat.h.orig 2020-12-16 02:00:00.000000000 -0700
2+
+++ glpk-5.0/src/minisat/minisat.h 2025-01-16 17:02:56.517683296 -0700
3+
@@ -34,11 +34,7 @@
4+
/*====================================================================*/
5+
/* Simple types: */
6+
7+
+#include <stdbool.h>
8+
-typedef int bool;
9+
-
10+
-#define true 1
11+
-#define false 0
12+
-
13+
typedef int lit;
14+
#if 0 /* by mao */
15+
typedef char lbool;

0 commit comments

Comments
 (0)