diff options
| author | Yuri Victorovich <yuri@FreeBSD.org> | 2023-01-04 06:53:49 +0000 |
|---|---|---|
| committer | Yuri Victorovich <yuri@FreeBSD.org> | 2023-01-04 10:51:58 +0000 |
| commit | 23e9c273cdbdcb0e9fffeed64792d58d6a1782f8 (patch) | |
| tree | c6fef9944b56fcf061ca5e86764e3cbe54cc00fc /math/cadical/files/patch-src_random.cpp | |
| parent | ade9f5ec107a0afa99c7aaff1faba266531e0a26 (diff) | |
Diffstat (limited to 'math/cadical/files/patch-src_random.cpp')
| -rw-r--r-- | math/cadical/files/patch-src_random.cpp | 10 |
1 files changed, 10 insertions, 0 deletions
diff --git a/math/cadical/files/patch-src_random.cpp b/math/cadical/files/patch-src_random.cpp new file mode 100644 index 000000000000..93c16a43d30b --- /dev/null +++ b/math/cadical/files/patch-src_random.cpp @@ -0,0 +1,10 @@ +--- src/random.cpp.orig 2023-01-03 21:27:48 UTC ++++ src/random.cpp +@@ -1,5 +1,7 @@ + #include "internal.hpp" + ++#include <netinet/in.h> ++ + /*------------------------------------------------------------------------*/ + + // Our random number generator is seeded by default (i.e., in the default |