From 6c9058814d299f33c6d4db81d3351e1343354fb6 Mon Sep 17 00:00:00 2001
From: Yikai Zhao <yikai@z1k.dev>
Date: Fri, 29 Nov 2024 15:40:21 +0800
Subject: [PATCH] Fix mps library check

; * configure.ac (with_mps): add LIB_PTHREAD
---
 configure.ac | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

diff --git a/configure.ac b/configure.ac
index fc64535dd69..885075a2f1d 100644
--- a/configure.ac
+++ b/configure.ac
@@ -5624,16 +5624,16 @@ AC_DEFUN
 IGCOBJ=
 if test "${with_mps}" != "no"; then
   AC_CHECK_HEADER([mps.h],
-    [AC_CHECK_LIB([mps], [mps_arena_create], [HAVE_MPS=yes])])
+    [AC_CHECK_LIB([mps], [mps_arena_create], [HAVE_MPS=yes], [], [$LIB_PTHREAD])])
 
   if test "${HAVE_MPS}" = "yes"; then
     IGCOBJ="igc.o"
     AC_DEFINE([HAVE_MPS], [1],
       [Define to 1 if you have the mps library (-lmps).])
     if test "${with_mps}" = "debug"; then
-      LIBMPS=-lmps-debug
+      LIBMPS="-lmps-debug $LIB_PTHREAD"
     else
-      LIBMPS=-lmps
+      LIBMPS="-lmps $LIB_PTHREAD"
     fi
   else
     AC_MSG_ERROR([The MPS library libmps is missing]):
-- 
2.34.1