From d28545410eed8d6a96299bb80a60de24bac4c574 Mon Sep 17 00:00:00 2001
From: Jerry James <loganjerry@gmail.com>
Date: Apr 25 2020 22:32:41 +0000
Subject: Version 5.7.0.


---

diff --git a/cryptominisat-cmake.patch b/cryptominisat-cmake.patch
index 8faffb0..32b7660 100644
--- a/cryptominisat-cmake.patch
+++ b/cryptominisat-cmake.patch
@@ -1,6 +1,6 @@
---- CMakeLists.txt.orig	2018-12-18 14:48:48.000000000 -0700
-+++ CMakeLists.txt	2018-12-24 14:34:21.698019713 -0700
-@@ -193,8 +193,6 @@ if (ENABLE_ASSERTIONS)
+--- CMakeLists.txt.orig	2020-04-25 07:47:13.000000000 -0600
++++ CMakeLists.txt	2020-04-25 16:12:33.786301345 -0600
+@@ -203,8 +203,6 @@ if (ENABLE_ASSERTIONS)
  else()
      # Note this definition doesn't appear in the cache variables.
      add_definitions(-DNDEBUG)
@@ -9,12 +9,7 @@
  endif()
  
  # Note: O3 gives slight speed increase, 1 more solved from SAT Comp'14 @ 3600s
-@@ -300,14 +298,10 @@ if (NOT WIN32)
-     if(CMAKE_BUILD_TYPE STREQUAL "Release")
-         #add_cxx_flag_if_supported("-flto")
-     else()
--        add_cxx_flag_if_supported("-mtune=native")
-         add_cxx_flag_if_supported("-Wall")
+@@ -322,9 +320,6 @@ if (NOT WIN32)
          add_cxx_flag_if_supported("-Wextra")
          add_cxx_flag_if_supported("-Wunused")
          add_cxx_flag_if_supported("-Wsign-compare")
@@ -24,15 +19,15 @@
          add_cxx_flag_if_supported("-Wtype-limits")
          add_cxx_flag_if_supported("-Wuninitialized")
          add_cxx_flag_if_supported("-Wno-deprecated")
-@@ -319,7 +313,6 @@ if (NOT WIN32)
-         add_cxx_flag_if_supported("-Winit-self")
-         add_cxx_flag_if_supported("-Wparentheses")
+@@ -338,7 +333,6 @@ if (NOT WIN32)
          add_cxx_flag_if_supported("-Wunreachable-code")
+         add_cxx_flag_if_supported("-Wextra-semi-stmt")
+         add_cxx_flag_if_supported("-Wweak-vtables")
 -        add_cxx_flag_if_supported("-ggdb3")
  
          # Apparently needed before OS X Maverics (2013)
          #add_c_flag_if_supported("-stdlib=libc++")
-@@ -342,10 +335,6 @@ endif()
+@@ -361,10 +355,6 @@ endif()
  # -----------------------------------------------------------------------------
  # Uncomment these for static compilation under Linux (messes up Valgrind)
  # -----------------------------------------------------------------------------
diff --git a/cryptominisat.spec b/cryptominisat.spec
index 42f780d..75856f4 100644
--- a/cryptominisat.spec
+++ b/cryptominisat.spec
@@ -1,6 +1,6 @@
 Name:           cryptominisat
-Version:        5.6.8
-Release:        6%{?dist}
+Version:        5.7.0
+Release:        1%{?dist}
 Summary:        SAT solver
 
 License:        MIT
@@ -102,6 +102,9 @@ fi
 %{python3_sitearch}/pycryptosat*
 
 %changelog
+* Sat Apr 25 2020 Jerry James <loganjerry@gmail.com> - 5.7.0-1
+- Version 5.7.0
+
 * Tue Jan 28 2020 Fedora Release Engineering <releng@fedoraproject.org> - 5.6.8-6
 - Rebuilt for https://fedoraproject.org/wiki/Fedora_32_Mass_Rebuild
 
diff --git a/sources b/sources
index 2deb5be..5d35104 100644
--- a/sources
+++ b/sources
@@ -1 +1 @@
-SHA512 (cryptominisat-5.6.8.tar.gz) = 046d6ec830d843561f109d7b3c88f8c012072f1a9192d1128d0f3c70b8181d7754e15973329c78f88a94beee0e57e28ed35921546f6a5ad8029d9f903377dcfa
+SHA512 (cryptominisat-5.7.0.tar.gz) = 26366a2118ebb0ee1e9ab0a42e0032bf712e78433486220b44b174ac67d22fc10f88c838887a0d18dcc766561c70b61706cba7e9c2be60286cf4fee2fb40aadc