commit a82a98dd6699f8aebe68a905498d89ec07c73563 Author: Kevin Zheng Date: Mon May 25 11:29:33 2020 -0700 lang/ghc: Enable USE_PTHREAD_FOR_ITIMER diff --git a/lang/ghc/files/patch-rts_posix_Itimer.c b/lang/ghc/files/patch-rts_posix_Itimer.c new file mode 100644 index 000000000000..376abdfba1d3 --- /dev/null +++ b/lang/ghc/files/patch-rts_posix_Itimer.c @@ -0,0 +1,11 @@ +--- rts/posix/Itimer.c.orig 2020-05-25 18:21:14 UTC ++++ rts/posix/Itimer.c +@@ -48,7 +48,7 @@ + #define USE_PTHREAD_FOR_ITIMER + #endif + +-#if defined(freebsd_HOST_OS) && defined(THREADED_RTS) ++#if defined(freebsd_HOST_OS) + #define USE_PTHREAD_FOR_ITIMER + #endif +