diff --git a/textproc/sexp/files/patch-vendor_base-0.16.3_src_discover_discover.ml b/textproc/sexp/files/patch-vendor_base-0.16.3_src_discover_discover.ml new file mode 100644 index 000000000000..44a91fbb8b86 --- /dev/null +++ b/textproc/sexp/files/patch-vendor_base-0.16.3_src_discover_discover.ml @@ -0,0 +1,12 @@ +--- vendor/base-0.16.3/src/discover/discover.ml.orig 2024-12-12 18:54:02 UTC ++++ vendor/base-0.16.3/src/discover/discover.ml +@@ -4,6 +4,9 @@ int main(int argc, char ** argv) + {| + int main(int argc, char ** argv) + { ++#if !defined(__x86_64__) && !defined(__i386__) ++#error "-mpopcnt not supported" ++#endif + return __builtin_popcount(argc); + } + |} diff --git a/textproc/sexp/files/patch-vendor_ocaml__intrinsics-0.16.1_src_discover_discover.ml b/textproc/sexp/files/patch-vendor_ocaml__intrinsics-0.16.1_src_discover_discover.ml new file mode 100644 index 000000000000..920b90c71ab9 --- /dev/null +++ b/textproc/sexp/files/patch-vendor_ocaml__intrinsics-0.16.1_src_discover_discover.ml @@ -0,0 +1,32 @@ +--- vendor/ocaml_intrinsics-0.16.1/src/discover/discover.ml.orig 2024-12-12 18:43:16 UTC ++++ vendor/ocaml_intrinsics-0.16.1/src/discover/discover.ml +@@ -4,6 +4,9 @@ int main(int argc, char ** argv) + {| + int main(int argc, char ** argv) + { ++#if !defined(__x86_64__) && !defined(__i386__) ++#error "-mpopcnt not supported" ++#endif + return __builtin_popcount(argc); + } + |} +@@ -73,6 +76,9 @@ int main(int argc, char ** argv) + {| + int main(int argc, char ** argv) + { ++#if !defined(__x86_64__) && !defined(__i386__) ++#error "-mprfchw not supported" ++#endif + __builtin_prefetch(argv, 1, 3); + return 0; + } +@@ -83,6 +89,9 @@ int main(int argc, char ** argv) + {| + int main(int argc, char ** argv) + { ++#if !defined(__x86_64__) && !defined(__i386__) ++#error "-mprefetchwt1 not supported" ++#endif + __builtin_prefetch(argv, 1, 2); + return 0; + }