diff options
Diffstat (limited to 'lang/polyml/files/patch-libpolyml_sighandler.cpp')
| -rw-r--r-- | lang/polyml/files/patch-libpolyml_sighandler.cpp | 14 |
1 files changed, 0 insertions, 14 deletions
diff --git a/lang/polyml/files/patch-libpolyml_sighandler.cpp b/lang/polyml/files/patch-libpolyml_sighandler.cpp deleted file mode 100644 index 29681a304e2b..000000000000 --- a/lang/polyml/files/patch-libpolyml_sighandler.cpp +++ /dev/null @@ -1,14 +0,0 @@ -polyexport fails to unwind the stack on aarch64 with pthread signals enabled -ref: https://github.com/polyml/polyml/issues/110 - ---- libpolyml/sighandler.cpp.orig 2020-06-07 19:41:16 UTC -+++ libpolyml/sighandler.cpp -@@ -70,7 +70,7 @@ - #include <semaphore.h> - #endif - --#if ((!defined(_WIN32) || defined(__CYGWIN__)) && defined(HAVE_LIBPTHREAD) && defined(HAVE_PTHREAD_H) && defined(HAVE_SEMAPHORE_H)) -+#if ((!defined(_WIN32) || defined(__CYGWIN__)) && defined(HAVE_LIBPTHREAD) && defined(HAVE_PTHREAD_H) && defined(HAVE_SEMAPHORE_H)) && !defined(__aarch64__) - // If we have the pthread library and header and we have semaphores we can use the pthread - // signalling mechanism. But if this is a native Windows build we don't use semaphores or - // pthread even if they're provided. |