File Limbo-fix-third-party.patch of Package limbo

diff --git a/limbo/thirdparty/CMakeLists.txt b/limbo/thirdparty/CMakeLists.txt
index a5a71489..33c211d8 100644
--- a/limbo/thirdparty/CMakeLists.txt
+++ b/limbo/thirdparty/CMakeLists.txt
@@ -1,4 +1,4 @@
-add_subdirectory(CThreadPool)
+#add_subdirectory(CThreadPool)
 if(OPENBLAS)
     # The CMAKE in OpenBLAS is too slow, so use makefile system instead 
     #set(USE_THREAD 0)
@@ -49,7 +49,7 @@ endif(OPENBLAS)
 if(ALGORIHTMS)
 add_subdirectory(dlx)
 endif(ALGORIHTMS)
-add_subdirectory(flex)
+#add_subdirectory(flex)
 add_subdirectory(lefdef)
 add_subdirectory(libdivide)
 
@@ -58,7 +58,7 @@ set(LEMON_ENABLE_GLPK OFF CACHE STRING "Turn off GLPK for Lemon")
 set(LEMON_ENABLE_ILOG OFF CACHE STRING "Turn off ILOG for Lemon")
 #set(LEMON_ENABLE_COIN OFF CACHE STRING "Turn off COIN for Lemon")
 set(LEMON_ENABLE_SOPLEX OFF CACHE STRING "Turn off SOPLEX for Lemon")
-add_subdirectory(lemon)
+#add_subdirectory(lemon)
 # lemon is installed to /include by default 
 # create symbolic link 
 if(INSTALL_LIMBO)