Version 5.7.0.
This commit is contained in:
parent
db46719bc4
commit
d28545410e
|
@ -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)
|
||||
# -----------------------------------------------------------------------------
|
||||
|
|
|
@ -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
|
||||
|
||||
|
|
2
sources
2
sources
|
@ -1 +1 @@
|
|||
SHA512 (cryptominisat-5.6.8.tar.gz) = 046d6ec830d843561f109d7b3c88f8c012072f1a9192d1128d0f3c70b8181d7754e15973329c78f88a94beee0e57e28ed35921546f6a5ad8029d9f903377dcfa
|
||||
SHA512 (cryptominisat-5.7.0.tar.gz) = 26366a2118ebb0ee1e9ab0a42e0032bf712e78433486220b44b174ac67d22fc10f88c838887a0d18dcc766561c70b61706cba7e9c2be60286cf4fee2fb40aadc
|
||||
|
|
Loading…
Reference in New Issue