diff --git a/lang/swipl/files/patch-src_os_pl-file.c b/lang/swipl/files/patch-src_os_pl-file.c new file mode 100644 index 000000000000..559536a36280 --- /dev/null +++ b/lang/swipl/files/patch-src_os_pl-file.c @@ -0,0 +1,11 @@ +--- src/os/pl-file.c.orig 2026-06-16 17:23:46 UTC ++++ src/os/pl-file.c +@@ -67,7 +67,7 @@ - - - - - - - - - - - - - - - - - - - - - - - - - - - + #include "../pl-trace.h" + #include + +-#if defined(HAVE_POLL_H) && defined(HAVE_POLL) ++#if defined(HAVE_POLL) + #include + #elif defined(HAVE_SYS_SELECT_H) + #include diff --git a/lang/swipl/files/patch-src_os_pl-stream.c b/lang/swipl/files/patch-src_os_pl-stream.c new file mode 100644 index 000000000000..2be662c4f489 --- /dev/null +++ b/lang/swipl/files/patch-src_os_pl-stream.c @@ -0,0 +1,11 @@ +--- src/os/pl-stream.c.orig 2026-06-16 17:23:46 UTC ++++ src/os/pl-stream.c +@@ -98,7 +98,7 @@ - - - - - - - - - - - - - - - - - - - - - - - - - - - + #include + #include + #include +-#if defined(HAVE_POLL_H) ++#if defined(HAVE_POLL) + #include + #elif defined(HAVE_SYS_SELECT_H) + #include diff --git a/lang/swipl/files/patch-src_pl-fli.c b/lang/swipl/files/patch-src_pl-fli.c new file mode 100644 index 000000000000..ec8a7686f015 --- /dev/null +++ b/lang/swipl/files/patch-src_pl-fli.c @@ -0,0 +1,11 @@ +--- src/pl-fli.c.orig 2026-06-16 17:23:46 UTC ++++ src/pl-fli.c +@@ -5066,7 +5066,7 @@ PL_dispatch_hook(PL_dispatch_hook_t hook) + + + #if defined(HAVE_SELECT) && !defined(__WINDOWS__) +-#if defined(HAVE_POLL_H) && defined(HAVE_POLL) ++#if defined(HAVE_POLL) + #include + #elif defined(HAVE_SYS_SELECT_H) + #include