File satsolver-no-testing.diff of Package mingw32-libsatsolver

--- CMakeLists.txt
+++ CMakeLists.txt
@@ -32,7 +32,6 @@
 INCLUDE( ${CMAKE_SOURCE_DIR}/VERSION.cmake )
 
 FIND_PACKAGE(EXPAT REQUIRED)
-FIND_PACKAGE(Check REQUIRED)
 FIND_PACKAGE(ZLIB REQUIRED)
 
 IF ( FEDORA )
@@ -140,7 +140,6 @@
 ADD_SUBDIRECTORY(ext)
 ADD_SUBDIRECTORY(tools)
 ADD_SUBDIRECTORY(applayer)
-ADD_SUBDIRECTORY(tests)
 ADD_SUBDIRECTORY(examples)
 ADD_SUBDIRECTORY(doc)