diff options
| author | Rainer Hurling <rhurlin@FreeBSD.org> | 2021-02-12 11:42:54 +0000 |
|---|---|---|
| committer | Rainer Hurling <rhurlin@FreeBSD.org> | 2021-02-12 11:42:54 +0000 |
| commit | b45426fc85067c8efbe3d4d4f5fe673bfa43cc79 (patch) | |
| tree | ac26bc03a6e23b7a6fa61cfa47457df20b1b9ce0 /lang/polyml/files/patch-libpolyml_sighandler.cpp | |
| parent | lang/crystal: Update to 0.36.1 (diff) | |
lang/polyml: Update to 5.8.1
- Bug fix release for version 5.8
- Visual Studio projects have been updated to VS2017 and SDK 10
Changelog: https://github.com/polyml/polyml/releases/tag/v5.8.1
PR: 253282
Submitted by: Wen Heping <wen@FreeBSD.org>
Reviewed by: tcberner (mentor)
Approved by: arrowd (mentor)
Differential Revision: https://reviews.freebsd.org/D28529
Notes
Notes:
svn path=/head/; revision=565011
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. |