From 151f12ebfb06350df3d65bc30b56b3e9488d7dba Mon Sep 17 00:00:00 2001
From: Jerry James <loganjerry@gmail.com>
Date: Wed, 8 Aug 2018 20:13:47 -0600
Subject: [PATCH] New upstream release.

---
 cryptominisat-cmake.patch | 14 +++++++-------
 cryptominisat.spec        |  7 +++++--
 sources                   |  2 +-
 3 files changed, 13 insertions(+), 10 deletions(-)

diff --git a/cryptominisat-cmake.patch b/cryptominisat-cmake.patch
index 3aa093f..f46ac8b 100644
--- a/cryptominisat-cmake.patch
+++ b/cryptominisat-cmake.patch
@@ -1,6 +1,6 @@
---- CMakeLists.txt.orig	2018-06-10 23:39:47.000000000 -0600
-+++ CMakeLists.txt	2018-06-12 14:55:02.159208716 -0600
-@@ -172,8 +172,6 @@ if (ENABLE_ASSERTIONS)
+--- CMakeLists.txt.orig	2018-08-05 07:17:15.000000000 -0600
++++ CMakeLists.txt	2018-08-08 20:08:10.858032991 -0600
+@@ -177,8 +177,6 @@ if (ENABLE_ASSERTIONS)
  else()
      # Note this definition doesn't appear in the cache variables.
      add_definitions(-DNDEBUG)
@@ -9,7 +9,7 @@
  endif()
  
  # Note: O3 gives slight speed increase, 1 more solved from SAT Comp'14 @ 3600s
-@@ -182,7 +180,6 @@ if (NOT MSVC)
+@@ -187,7 +185,6 @@ if (NOT MSVC)
      add_compile_options( -pthread )
  
      add_compile_options("$<$<CONFIG:RELWITHDEBINFO>:-O2>")
@@ -17,7 +17,7 @@
  
      add_compile_options("$<$<CONFIG:RELEASE>:-O2>")
      add_compile_options("$<$<CONFIG:RELEASE>:-g0>")
-@@ -280,14 +277,10 @@ if (NOT WIN32)
+@@ -285,14 +282,10 @@ if (NOT WIN32)
      if(CMAKE_BUILD_TYPE STREQUAL "Release")
          #add_cxx_flag_if_supported("-flto")
      else()
@@ -32,7 +32,7 @@
          add_cxx_flag_if_supported("-Wtype-limits")
          add_cxx_flag_if_supported("-Wuninitialized")
          add_cxx_flag_if_supported("-Wno-deprecated")
-@@ -299,7 +292,6 @@ if (NOT WIN32)
+@@ -304,7 +297,6 @@ if (NOT WIN32)
          add_cxx_flag_if_supported("-Winit-self")
          add_cxx_flag_if_supported("-Wparentheses")
          add_cxx_flag_if_supported("-Wunreachable-code")
@@ -40,7 +40,7 @@
      endif()
  endif()
  
-@@ -319,10 +311,6 @@ endif()
+@@ -324,10 +316,6 @@ endif()
  # -----------------------------------------------------------------------------
  # Uncomment these for static compilation under Linux (messes up Valgrind)
  # -----------------------------------------------------------------------------
diff --git a/cryptominisat.spec b/cryptominisat.spec
index db908a6..417c143 100644
--- a/cryptominisat.spec
+++ b/cryptominisat.spec
@@ -1,6 +1,6 @@
 Name:           cryptominisat
-Version:        5.6.3
-Release:        4%{?dist}
+Version:        5.6.4
+Release:        1%{?dist}
 Summary:        SAT solver
 
 License:        MIT
@@ -146,6 +146,9 @@ fi
 %{python3_sitearch}/pycryptosat*
 
 %changelog
+* Wed Aug  8 2018 Jerry James <loganjerry@gmail.com> - 5.6.4-1
+- New upstream release
+
 * Sat Jul 21 2018 Jerry James <loganjerry@gmail.com> - 5.6.3-4
 - Add Obsoletes and Provides for cryptominisat4
 
diff --git a/sources b/sources
index d6a3ba5..5eb9589 100644
--- a/sources
+++ b/sources
@@ -1 +1 @@
-SHA512 (cryptominisat-5.6.3.tar.gz) = 65ef3cd55f06330eac2d06bde2d7b73c595637b6c33265e79c2c38cdb17819ab1c00056a78a320d4f154a941d0bf465d6109671e018b4da14549c81f97f8281f
+SHA512 (cryptominisat-5.6.4.tar.gz) = ef18ae6044455f6157c46b891798e7f153278b209f72c4cff8da7b91ee0117c869b7642315b1084d15165ccd1a79fd37eefa7829ac5eed41501d099ef5e129ce