diff options
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 |