summaryrefslogtreecommitdiff
path: root/dev-ml/lwt/files
diff options
context:
space:
mode:
authorV3n3RiX <venerix@redcorelinux.org>2021-10-01 20:54:53 +0100
committerV3n3RiX <venerix@redcorelinux.org>2021-10-01 20:54:53 +0100
commit391b5b359a346aff490103da7dddc85047f83830 (patch)
tree29eea460a0bd7e1ff21d43b9d6df9af4d8a175e1 /dev-ml/lwt/files
parentc719fdcee603a5a706a45d10cb598762d56a727d (diff)
gentoo resync : 01.10.2021
Diffstat (limited to 'dev-ml/lwt/files')
-rw-r--r--dev-ml/lwt/files/lwt-5.3.0-ocaml-4.12.patch24
1 files changed, 24 insertions, 0 deletions
diff --git a/dev-ml/lwt/files/lwt-5.3.0-ocaml-4.12.patch b/dev-ml/lwt/files/lwt-5.3.0-ocaml-4.12.patch
new file mode 100644
index 000000000000..048e28d1d6bc
--- /dev/null
+++ b/dev-ml/lwt/files/lwt-5.3.0-ocaml-4.12.patch
@@ -0,0 +1,24 @@
+--- a/src/unix/lwt_unix.cppo.ml 2021-10-01 20:35:45.285987395 +0200
++++ b/src/unix/lwt_unix.cppo.ml 2021-10-01 20:36:19.570493202 +0200
+@@ -1819,6 +1819,9 @@
+ | SO_ACCEPTCONN
+ | TCP_NODELAY
+ | IPV6_ONLY
++#if OCAML_VERSION >= (4, 12, 0)
++ | SO_REUSEPORT
++#endif
+
+ type socket_int_option =
+ Unix.socket_int_option =
+--- a/src/unix/lwt_unix.cppo.mli 2021-10-01 20:33:57.558539065 +0200
++++ b/src/unix/lwt_unix.cppo.mli 2021-10-01 20:35:30.393202008 +0200
+@@ -1008,6 +1008,9 @@
+ | SO_ACCEPTCONN
+ | TCP_NODELAY
+ | IPV6_ONLY
++#if OCAML_VERSION >= (4, 12, 0)
++ | SO_REUSEPORT
++#endif
+
+ type socket_int_option =
+ Unix.socket_int_option =