From 5d4ae731d6821d0bf8f7757417b141d273259157 Mon Sep 17 00:00:00 2001
From: Mark Shinwell <mshinwell@pm.me>
Date: Wed, 17 Apr 2024 18:33:47 +0100
Subject: [PATCH] flambda-backend: Force pthread option on macOS (#2446)

---
 configure    | 2 ++
 configure.ac | 2 ++
 2 files changed, 4 insertions(+)

diff --git a/configure b/configure
index 93d8983bde5..64c9a1bee39 100755
--- a/configure
+++ b/configure
@@ -18529,6 +18529,8 @@ case $host in #(
     PTHREAD_LIBS="-l:libpthread.a -lgcc_eh" ;; #(
   *-pc-windows) :
     PTHREAD_LIBS="-l:libpthread.lib" ;; #(
+  *-apple-darwin*) :
+    PTHREAD_LIBS="-pthread" ;; #(
   *) :
 
 
diff --git a/configure.ac b/configure.ac
index 39aee2bd5a2..088816bfe6d 100644
--- a/configure.ac
+++ b/configure.ac
@@ -2116,6 +2116,8 @@ AS_CASE([$host],
     [PTHREAD_LIBS="-l:libpthread.a -lgcc_eh"],
   [*-pc-windows],
     [PTHREAD_LIBS="-l:libpthread.lib"],
+  [*-apple-darwin*],
+    [PTHREAD_LIBS="-pthread"],
   [AX_PTHREAD(
     [common_cflags="$common_cflags $PTHREAD_CFLAGS"
     saved_CFLAGS="$CFLAGS"