diff options
| author | Yuri Victorovich <yuri@FreeBSD.org> | 2023-01-03 07:39:38 -0800 |
|---|---|---|
| committer | Yuri Victorovich <yuri@FreeBSD.org> | 2023-01-04 02:51:57 -0800 |
| commit | ade9f5ec107a0afa99c7aaff1faba266531e0a26 (patch) | |
| tree | 2b364cfd550707909851b9d3d58fb3e241e2b460 /math/lingeling/files/patch-lglib.h | |
| parent | www/lighttpd: update to 1.4.68 (diff) | |
math/lingeling: New port: Lingeling SAT Solver
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> + + //-------------------------------------------------------------------------- + |