rpms/cryptominisat
3
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

New upstream release.

Browse Source
This commit is contained in:
Jerry James 2018-08-08 20:13:47 -06:00
parent 5959bad1cd
commit 151f12ebfb
3 changed files with 13 additions and 10 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

14
cryptominisat-cmake.patch
View File

@ -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)
# -----------------------------------------------------------------------------

7
cryptominisat.spec
View File

@ -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

2
sources
View File

@ -1 +1 @@
SHA512 (cryptominisat-5.6.3.tar.gz) = 65ef3cd55f06330eac2d06bde2d7b73c595637b6c33265e79c2c38cdb17819ab1c00056a78a320d4f154a941d0bf465d6109671e018b4da14549c81f97f8281f
SHA512 (cryptominisat-5.6.4.tar.gz) = ef18ae6044455f6157c46b891798e7f153278b209f72c4cff8da7b91ee0117c869b7642315b1084d15165ccd1a79fd37eefa7829ac5eed41501d099ef5e129ce