From 9eed8d6de89e99a73b60cc339c557009393ce229 Mon Sep 17 00:00:00 2001
From: Bruce Mitchener <bruce.mitchener@gmail.com>
Date: Tue, 5 Dec 2023 21:55:21 +0700
Subject: [PATCH] cmake: Remove workaround for pthreads file.

---
 CMakeLists.txt | 3 +--
 1 file changed, 1 insertion(+), 2 deletions(-)

diff --git a/CMakeLists.txt b/CMakeLists.txt
index 6b4551ccc6..3f7803ec30 100644
--- a/CMakeLists.txt
+++ b/CMakeLists.txt
@@ -335,8 +335,7 @@ foreach (lib support kernel search int set float
   if (${libupper}SRC)
     set(sources )
     foreach (src ${${libupper}SRC} ${${libupper}_GENSRC})
-      if ((src STREQUAL "gecode/support/thread/pthreads.cpp" AND MSVC) OR
-           (src STREQUAL "gecode/float/rounding.cpp" AND NOT ${MPFR_FOUND}))
+      if (src STREQUAL "gecode/float/rounding.cpp" AND NOT ${MPFR_FOUND})
         # ignore empty source files to prevent linker warnings
       else ()
         set(sources ${sources} ${src})