We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
There was an error while loading. Please reload this page.
2 parents 436948e + 37573a5 commit be4f8acCopy full SHA for be4f8ac
build/pkgs/glpk/patches/glpk-5.0-bool.patch
@@ -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