diff options
Diffstat (limited to 'math/lingeling/files/patch-lglib.h')
| -rw-r--r-- | math/lingeling/files/patch-lglib.h | 10 |
1 files changed, 10 insertions, 0 deletions
diff --git a/math/lingeling/files/patch-lglib.h b/math/lingeling/files/patch-lglib.h new file mode 100644 index 000000000000..feb638bf8f54 --- /dev/null +++ b/math/lingeling/files/patch-lglib.h @@ -0,0 +1,10 @@ +--- lglib.h.orig 2023-01-03 22:21:39 UTC ++++ lglib.h +@@ -7,6 +7,7 @@ + + #include <stdio.h> // for 'FILE' + #include <stdlib.h> // for 'int64_t' ++#include <sys/types.h> + + //-------------------------------------------------------------------------- + |