math/lingeling/files/patch-lglib.h


1
2
3
4
5
6
7
8
9
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>
 
 //--------------------------------------------------------------------------