Compare commits
No commits in common. "rawhide" and "f16" have entirely different histories.
2
.gitignore
vendored
2
.gitignore
vendored
@ -1 +1 @@
|
||||
/stp-*.tar.gz
|
||||
/stp-0.1.tar.xz
|
||||
|
16
README.md
16
README.md
@ -1,16 +0,0 @@
|
||||
# stp
|
||||
|
||||
[STP](http://stp.github.io/) (Simple Theorem Prover) is a constraint solver
|
||||
(also referred to as a decision procedure or automated prover) aimed at
|
||||
solving constraints generated by program analysis tools, theorem provers,
|
||||
automated bug finders, intelligent fuzzers and model checkers. STP has been
|
||||
used in many research projects at Stanford, Berkeley, MIT, CMU and other
|
||||
universities, as well as companies and government agencies.
|
||||
|
||||
The input to STP are formulas over the theory of bit-vectors and arrays (this
|
||||
theory captures most expressions from languages like C/C++/Java and Verilog),
|
||||
and the output of STP is a single bit of information that indicates whether
|
||||
the formula is satisfiable or not. If the input is satisfiable, then it also
|
||||
generates a variable assignment to satisfy the input formula.
|
||||
|
||||
Additional information can be found [here](https://stp.readthedocs.io/).
|
2
sources
2
sources
@ -1 +1 @@
|
||||
SHA512 (stp-2.3.3.tar.gz) = a0b1bf419d8230e40ce0aee90d9c8c9d814aca300831c24b3576c75623362942abf20673c419f9f0ea1e0505bfae000dc65fdd818179f5759879b0b255f1b99a
|
||||
78da1267ffbbbd8a87a02bac476f6642 stp-0.1.tar.xz
|
||||
|
@ -1,10 +0,0 @@
|
||||
--- stp-2.3.3/include/stp/AST/ASTNode.h.orig 2019-03-02 07:26:01.000000000 -0700
|
||||
+++ stp-2.3.3/include/stp/AST/ASTNode.h 2023-01-20 22:03:09.891362898 -0700
|
||||
@@ -28,6 +28,7 @@ THE SOFTWARE.
|
||||
#include "stp/Util/Attributes.h"
|
||||
#include "ASTInternal.h"
|
||||
#include "stp/Globals/Globals.h"
|
||||
+#include <cstdint>
|
||||
|
||||
namespace stp
|
||||
{
|
@ -1,25 +0,0 @@
|
||||
From 23a6af263dd41259d3430aadee15ba41883c27ba Mon Sep 17 00:00:00 2001
|
||||
From: Jerry James <loganjerry@gmail.com>
|
||||
Date: Tue, 18 Oct 2022 11:58:54 -0600
|
||||
Subject: [PATCH] Use sysconfig, not distutils, to find python root
|
||||
|
||||
---
|
||||
bindings/python/stp/CMakeLists.txt | 2 +-
|
||||
1 file changed, 1 insertion(+), 1 deletion(-)
|
||||
|
||||
diff --git a/bindings/python/stp/CMakeLists.txt b/bindings/python/stp/CMakeLists.txt
|
||||
index c62c726c..40d16e6c 100644
|
||||
--- a/bindings/python/stp/CMakeLists.txt
|
||||
+++ b/bindings/python/stp/CMakeLists.txt
|
||||
@@ -59,7 +59,7 @@ configure_file(${CMAKE_CURRENT_SOURCE_DIR}/__init__.py.in
|
||||
# Try to guess the right place by asking the current python interpreter for its
|
||||
# Python library directory
|
||||
execute_process(COMMAND ${PYTHON_EXECUTABLE} -c
|
||||
- "from distutils.sysconfig import get_python_lib; print(get_python_lib())"
|
||||
+ "import sys; import sysconfig; print(sysconfig.get_path('purelib', vars={'base': sys.base_prefix}))"
|
||||
RESULT_VARIABLE RETURN_CODE
|
||||
OUTPUT_VARIABLE PYTHON_LIB_DIR_DETECTED
|
||||
OUTPUT_STRIP_TRAILING_WHITESPACE
|
||||
--
|
||||
2.37.3
|
||||
|
@ -1,20 +0,0 @@
|
||||
--- stp-2.3.3/tools/rewrite_rule_gen/rewrite_rule_gen.cpp.orig 2017-11-16 15:35:07.000000000 -0700
|
||||
+++ stp-2.3.3/tools/rewrite_rule_gen/rewrite_rule_gen.cpp 2017-11-25 08:42:45.331112638 -0700
|
||||
@@ -1223,7 +1223,7 @@ void rule_to_string(const ASTNode& n, AS
|
||||
for (size_t i = 0; i < n.Degree(); i++)
|
||||
{
|
||||
char t[1000];
|
||||
- sprintf(t, "%s[%d]", current.c_str(), i);
|
||||
+ sprintf(t, "%s[%zu]", current.c_str(), i);
|
||||
string s(t);
|
||||
rule_to_string(n[i], names, s, sofar);
|
||||
}
|
||||
@@ -1242,7 +1242,7 @@ string containsNode(const ASTNode& n, co
|
||||
for (size_t i = 0; i < n.Degree(); i++)
|
||||
{
|
||||
char t[1000];
|
||||
- sprintf(t, "%s[%d]", current.c_str(), i);
|
||||
+ sprintf(t, "%s[%zu]", current.c_str(), i);
|
||||
string s(t);
|
||||
string r = containsNode(n[i], hunting, s);
|
||||
if (r != "")
|
@ -1,18 +0,0 @@
|
||||
--- stp-2.3.3/lib/CMakeLists.txt.orig 2019-03-02 07:26:01.000000000 -0700
|
||||
+++ stp-2.3.3/lib/CMakeLists.txt 2021-07-14 09:03:32.415946180 -0600
|
||||
@@ -139,9 +139,15 @@ if (USE_RISS)
|
||||
${stp_link_libs} -lriss-coprocessor)
|
||||
endif()
|
||||
|
||||
+if (STATICCOMPILE)
|
||||
target_link_libraries(stp
|
||||
LINK_PUBLIC ${stp_link_libs}
|
||||
)
|
||||
+else()
|
||||
+target_link_libraries(stp
|
||||
+ LINK_PRIVATE ${stp_link_libs}
|
||||
+)
|
||||
+endif()
|
||||
|
||||
install(TARGETS stp
|
||||
EXPORT ${STP_EXPORT_NAME}
|
1977
stp-warning.patch
Normal file
1977
stp-warning.patch
Normal file
File diff suppressed because it is too large
Load Diff
380
stp.spec
380
stp.spec
@ -1,39 +1,33 @@
|
||||
# Upstream occasionally releases a subversion snapshot, but no "regular"
|
||||
# releases since the 0.1 release.
|
||||
%global svnver 1434
|
||||
%global svntim 20111130svn
|
||||
|
||||
Name: stp
|
||||
Version: 2.3.3
|
||||
Release: 27%{?dist}
|
||||
Version: 0.1
|
||||
Release: 7.%{svntim}%{?dist}
|
||||
Summary: Constraint solver/decision procedure
|
||||
|
||||
# MIT: the project as a whole
|
||||
# MIT-Modern-Variant: lib/extlib-abc
|
||||
# LGPL-2.0-or-later: lib/extlib-constbv
|
||||
# BSD-3-Clause: include/stp/Simplifier/constantBitP/MersenneTwister.h
|
||||
License: MIT AND MIT-Modern-Variant AND LGPL-2.0-or-later AND BSD-3-Clause
|
||||
URL: http://stp.github.io/
|
||||
Source0: https://github.com/stp/stp/archive/%{version}/%{name}-%{version}.tar.gz
|
||||
# Fix some format specifier problems
|
||||
Patch0: %{name}-format.patch
|
||||
# Do not declare cryptominisat and minisat as public libs
|
||||
# See https://bugzilla.redhat.com/show_bug.cgi?id=1981466
|
||||
Patch1: %{name}-private-libs.patch
|
||||
# Distutils has been deprecated. Use sysconfig instead.
|
||||
# https://github.com/stp/stp/pull/450
|
||||
Patch2: %{name}-distutils.patch
|
||||
# Add a missing include for cstdint
|
||||
Patch3: %{name}-cstdint.patch
|
||||
Group: Applications/Engineering
|
||||
License: MIT
|
||||
URL: http://sourceforge.net/projects/stp-fast-prover/
|
||||
# The source for this package was pulled from upstream's subversion repository.
|
||||
# Use the following commands to generate the tarball:
|
||||
#
|
||||
# svn export -r %%{svnver} \
|
||||
# https://stp-fast-prover.svn.sourceforge.net/svnroot/stp-fast-prover/trunk/stp \
|
||||
# stp-0.1
|
||||
# tar cvJf stp-0.1.tar.xz stp-0.1
|
||||
Source0: stp-%{version}.tar.xz
|
||||
# This patch has not yet been sent upstream. Fix a bunch of compiler warnings
|
||||
# that may indicate miscompiled code.
|
||||
Patch0: stp-warning.patch
|
||||
|
||||
BuildRequires: bison
|
||||
BuildRequires: boost-devel
|
||||
BuildRequires: cmake
|
||||
BuildRequires: cryptominisat
|
||||
BuildRequires: cryptominisat-devel
|
||||
BuildRequires: flex
|
||||
BuildRequires: gcc-c++
|
||||
BuildRequires: help2man
|
||||
BuildRequires: make
|
||||
BuildRequires: minisat2-devel
|
||||
BuildRequires: perl(Getopt::Long)
|
||||
BuildRequires: pkgconfig(sqlite3)
|
||||
BuildRequires: python3-devel
|
||||
BuildRequires: valgrind
|
||||
BuildRequires: zlib-devel
|
||||
|
||||
%description
|
||||
STP (Simple Theorem Prover) is a constraint solver (also referred to as
|
||||
@ -50,315 +44,71 @@ indicates whether the formula is satisfiable or not. If the input is
|
||||
satisfiable, then it also generates a variable assignment to satisfy the
|
||||
input formula.
|
||||
|
||||
Additional information can be found at https://stp.readthedocs.io/.
|
||||
Additional information can be found at:
|
||||
http://people.csail.mit.edu/vganesh/STP_files/stp.html
|
||||
|
||||
%package devel
|
||||
License: MIT
|
||||
Summary: Development files for STP constraint solver/decision procedure
|
||||
Requires: %{name}%{?_isa} = %{version}-%{release}
|
||||
|
||||
Group: Applications/Engineering
|
||||
Requires: %{name} = %{version}-%{release}
|
||||
Provides: %{name}-static = %{version}-%{release}
|
||||
# This "devel" package provides a static (not dynamic) library because:
|
||||
# 1. This is the normal usage mode when linking this as a library;
|
||||
# it's what upstream and existing programs that use this program expect.
|
||||
# 2. This speeds execution. In this library, speed matters.
|
||||
# There's a speed penalty for .so files, and this program is much
|
||||
# like a chess program - it's essentially an inner loop that searches
|
||||
# a massive space of possibilities.
|
||||
# A dynamic .so version could be create using:
|
||||
# gcc -shared -Wl,-soname,libstp.so.1 -o libstp.so.1.0.1 libstp.a
|
||||
# but this would require -fpic to compile (slowing the results).
|
||||
# See my document:
|
||||
# http://www.dwheeler.com/program-library/Program-Library-HOWTO/
|
||||
%description devel
|
||||
Development files for the STP (Simple Theorem Prover),
|
||||
a constraint solver (also referred to as a decision procedure
|
||||
or automated prover). Provides a static library.
|
||||
|
||||
%package -n python3-%{name}
|
||||
License: MIT
|
||||
Summary: Python 3 interface to STP
|
||||
Requires: %{name} = %{version}-%{release}
|
||||
BuildArch: noarch
|
||||
|
||||
%description -n python3-%{name}
|
||||
Python 3 interface to STP.
|
||||
|
||||
%prep
|
||||
%autosetup -p1
|
||||
%setup -q
|
||||
%patch0
|
||||
|
||||
# Make sure nothing uses the shipped boost sources
|
||||
rm -fr src/boost
|
||||
|
||||
# We do not want to know about the order of member initializers
|
||||
sed -i "s/-Wno-deprecated/-Wno-reorder/" CMakeLists.txt
|
||||
sed -i "s/\(-Wno-deprecated\)/\1 -Wno-reorder/" scripts/Makefile.common
|
||||
|
||||
# Prevent a clash between minisat and cryptominisat5 definitions
|
||||
sed '/SATSolver.h/a#undef var_Undef\n#undef l_True\n#undef l_False\n#undef l_Undef' \
|
||||
-i.orig include/stp/Sat/CryptoMinisat5.h
|
||||
touch -r include/stp/Sat/CryptoMinisat5.h.orig include/stp/Sat/CryptoMinisat5.h
|
||||
rm -f include/stp/Sat/CryptoMinisat5.h.orig
|
||||
|
||||
# Prevent useless rpaths
|
||||
sed -e '/CMAKE_SKIP_BUILD_RPATH/s/FALSE/TRUE/' \
|
||||
-e '/SET(CMAKE_INSTALL_RPATH .*)/d' \
|
||||
-e '/CMAKE_INSTALL_RPATH_USE_LINK_PATH/s/TRUE/FALSE/' \
|
||||
-e '/isSystemDir/d' \
|
||||
-i CMakeLists.txt
|
||||
# Avoid a BR on subversion, as well as subversion version hell
|
||||
sed -i "s|\`svnversion \$(TOP)\`|%{svnver}|" src/main/Makefile
|
||||
|
||||
%build
|
||||
export CFLAGS='%{build_cflags} -I %{_includedir}/minisat'
|
||||
export CXXFLAGS='%{build_cxxflags} -I %{_includedir}/minisat'
|
||||
%cmake -DPYTHON_EXECUTABLE:FILEPATH=%{_bindir}/python%{python3_version} \
|
||||
-DPYTHON_LIBRARY:FILEPATH=%{_libdir}/libpython%{python3_version}.so \
|
||||
-DPYTHON_INCLUDE_DIR:FILEPATH=%{_includedir}/python%{python3_version}
|
||||
scripts/configure --with-prefix=%{_prefix}
|
||||
|
||||
# Fix the help2man invocation
|
||||
sed -i "s,help2man,LD_LIBRARY_PATH=$PWD/%{_vpath_builddir}/lib &," \
|
||||
%{_vpath_builddir}/CMakeFiles/man_stp.dir/build.make
|
||||
# DO NOT use _smp_mflags; build will fail.
|
||||
make %{?_smp_mflags} all OPTIMIZE="%{optflags} -DNDEBUG" LIB_DIR=%{_libdir}
|
||||
|
||||
%cmake_build
|
||||
%check
|
||||
make regressall
|
||||
|
||||
%install
|
||||
%cmake_install
|
||||
mkdir -p %{buildroot}%{_bindir}
|
||||
mkdir -p %{buildroot}%{_includedir}/stp
|
||||
mkdir -p %{buildroot}%{_libdir}
|
||||
|
||||
# Fix the location of the man page
|
||||
mkdir -p %{buildroot}%{_datadir}
|
||||
mv %{buildroot}%{_prefix}/man %{buildroot}%{_datadir}/man
|
||||
# This "make install" doesn't support DESTDIR=%%{buildroot}.
|
||||
# We'll rig PREFIX/LIB_DIR, since that happens to work for this makefile.
|
||||
make install PREFIX=%{buildroot}%{_prefix} LIB_DIR=%{buildroot}%{_libdir}
|
||||
|
||||
%files
|
||||
%{_bindir}/stp
|
||||
%{_bindir}/stp_simple
|
||||
%{_libdir}/libstp.so.2*
|
||||
%{_mandir}/man1/stp.1*
|
||||
%doc AUTHORS README.markdown papers
|
||||
%license LICENSE LICENSE_COMPONENTS
|
||||
%{_bindir}/*
|
||||
%doc AUTHORS README LICENSE LICENSE_COMPONENTS papers
|
||||
|
||||
%files devel
|
||||
%{_libdir}/libstp*.a
|
||||
%{_includedir}/stp/
|
||||
%{_libdir}/cmake/STP/
|
||||
%{_libdir}/libstp.so
|
||||
|
||||
%files -n python3-%{name}
|
||||
%{python3_sitelib}/%{name}/
|
||||
|
||||
%changelog
|
||||
* Sat Jul 22 2023 Fedora Release Engineering <releng@fedoraproject.org> - 2.3.3-27
|
||||
- Rebuilt for https://fedoraproject.org/wiki/Fedora_39_Mass_Rebuild
|
||||
|
||||
* Tue Jun 13 2023 Python Maint <python-maint@redhat.com> - 2.3.3-26
|
||||
- Rebuilt for Python 3.12
|
||||
|
||||
* Mon Feb 20 2023 Jonathan Wakely <jwakely@redhat.com> - 2.3.3-25
|
||||
- Rebuilt for Boost 1.81
|
||||
|
||||
* Sat Jan 21 2023 Jerry James <loganjerry@gmail.com> - 2.3.3-24
|
||||
- Add cstdint patch to fix FTBFS
|
||||
|
||||
* Sat Jan 21 2023 Fedora Release Engineering <releng@fedoraproject.org> - 2.3.3-24
|
||||
- Rebuilt for https://fedoraproject.org/wiki/Fedora_38_Mass_Rebuild
|
||||
|
||||
* Wed Dec 14 2022 Jerry James <loganjerry@gmail.com> - 2.3.3-23
|
||||
- Add distutils patch
|
||||
- Use more specific globs in %%files
|
||||
- Convert License tags to SPDX
|
||||
|
||||
* Sat Jul 23 2022 Fedora Release Engineering <releng@fedoraproject.org> - 2.3.3-22
|
||||
- Rebuilt for https://fedoraproject.org/wiki/Fedora_37_Mass_Rebuild
|
||||
|
||||
* Mon Jun 13 2022 Python Maint <python-maint@redhat.com> - 2.3.3-21
|
||||
- Rebuilt for Python 3.11
|
||||
|
||||
* Wed May 04 2022 Thomas Rodgers <trodgers@redhat.com> - 2.3.3-20
|
||||
- Rebuilt for Boost 1.78
|
||||
|
||||
* Sat Jan 22 2022 Fedora Release Engineering <releng@fedoraproject.org> - 2.3.3-19
|
||||
- Rebuilt for https://fedoraproject.org/wiki/Fedora_36_Mass_Rebuild
|
||||
|
||||
* Sat Aug 07 2021 Jonathan Wakely <jwakely@redhat.com> - 2.3.3-18
|
||||
- Rebuilt for Boost 1.76
|
||||
|
||||
* Fri Jul 23 2021 Fedora Release Engineering <releng@fedoraproject.org> - 2.3.3-17
|
||||
- Rebuilt for https://fedoraproject.org/wiki/Fedora_35_Mass_Rebuild
|
||||
|
||||
* Wed Jul 14 2021 Jerry James <loganjerry@gmail.com> - 2.3.3-16
|
||||
- Add -private-libs patch to fix bz 1981466
|
||||
|
||||
* Fri Jun 04 2021 Python Maint <python-maint@redhat.com> - 2.3.3-15
|
||||
- Rebuilt for Python 3.10
|
||||
|
||||
* Tue Mar 30 2021 Jerry James <loganjerry@gmail.com> - 2.3.3-14
|
||||
- Remove useless rpaths
|
||||
|
||||
* Wed Jan 27 2021 Fedora Release Engineering <releng@fedoraproject.org> - 2.3.3-13
|
||||
- Rebuilt for https://fedoraproject.org/wiki/Fedora_34_Mass_Rebuild
|
||||
|
||||
* Fri Jan 22 2021 Jonathan Wakely <jwakely@redhat.com> - 2.3.3-12
|
||||
- Rebuilt for Boost 1.75
|
||||
|
||||
* Fri Nov 27 2020 Jerry James <loganjerry@gmail.com> - 2.3.3-11
|
||||
- Rebuild for cryptominisat 5.8.0
|
||||
|
||||
* Sat Aug 01 2020 Fedora Release Engineering <releng@fedoraproject.org> - 2.3.3-10
|
||||
- Second attempt - Rebuilt for
|
||||
https://fedoraproject.org/wiki/Fedora_33_Mass_Rebuild
|
||||
|
||||
* Wed Jul 29 2020 Fedora Release Engineering <releng@fedoraproject.org> - 2.3.3-9
|
||||
- Rebuilt for https://fedoraproject.org/wiki/Fedora_33_Mass_Rebuild
|
||||
|
||||
* Sun May 31 2020 Jonathan Wakely <jwakely@redhat.com> - 2.3.3-8
|
||||
- Rebuilt for Boost 1.73
|
||||
|
||||
* Tue May 26 2020 Miro Hrončok <mhroncok@redhat.com> - 2.3.3-7
|
||||
- Rebuilt for Python 3.9
|
||||
|
||||
* Sat Apr 25 2020 Jerry James <loganjerry@gmail.com> - 2.3.3-6
|
||||
- Rebuild for cryptominisat 5.7.0
|
||||
|
||||
* Fri Jan 31 2020 Fedora Release Engineering <releng@fedoraproject.org> - 2.3.3-5
|
||||
- Rebuilt for https://fedoraproject.org/wiki/Fedora_32_Mass_Rebuild
|
||||
|
||||
* Thu Oct 03 2019 Miro Hrončok <mhroncok@redhat.com> - 2.3.3-4
|
||||
- Rebuilt for Python 3.8.0rc1 (#1748018)
|
||||
|
||||
* Mon Aug 19 2019 Miro Hrončok <mhroncok@redhat.com> - 2.3.3-3
|
||||
- Rebuilt for Python 3.8
|
||||
|
||||
* Sat Jul 27 2019 Fedora Release Engineering <releng@fedoraproject.org> - 2.3.3-2
|
||||
- Rebuilt for https://fedoraproject.org/wiki/Fedora_31_Mass_Rebuild
|
||||
|
||||
* Sat Jul 20 2019 Jerry James <loganjerry@gmail.com> - 2.3.3-1
|
||||
- Disable rpath
|
||||
|
||||
* Wed Apr 17 2019 Jerry James <loganjerry@gmail.com> - 2.3.3-1
|
||||
- New upstream version
|
||||
|
||||
* Sun Feb 03 2019 Fedora Release Engineering <releng@fedoraproject.org> - 2.3.1-5.20181115git.d7d6530
|
||||
- Rebuilt for https://fedoraproject.org/wiki/Fedora_30_Mass_Rebuild
|
||||
|
||||
* Thu Nov 22 2018 Jerry James <loganjerry@gmail.com> - 2.3.1-4.20181115git.d7d6530
|
||||
- Update to recent git snapshot
|
||||
- Drop the python2 subpackage (bz 1634557)
|
||||
|
||||
* Sat Jul 14 2018 Fedora Release Engineering <releng@fedoraproject.org> - 2.3.1-3.20180607git.c68788e
|
||||
- Rebuilt for https://fedoraproject.org/wiki/Fedora_29_Mass_Rebuild
|
||||
|
||||
* Tue Jun 19 2018 Miro Hrončok <mhroncok@redhat.com> - 2.3.1-2.20180607git.c68788e
|
||||
- Rebuilt for Python 3.7
|
||||
|
||||
* Wed Jun 13 2018 Jerry James <loganjerry@gmail.com> - 2.3.1-1.20180607git.c68788e
|
||||
- Update to recent git snapshot
|
||||
- Add a python3 subpackage
|
||||
|
||||
* Fri Feb 09 2018 Fedora Release Engineering <releng@fedoraproject.org> - 2.1.2-12.20171116git.b67aa83
|
||||
- Rebuilt for https://fedoraproject.org/wiki/Fedora_28_Mass_Rebuild
|
||||
|
||||
* Tue Jan 23 2018 Jonathan Wakely <jwakely@redhat.com> - 2.1.2-11.20171116git.b67aa83
|
||||
- Rebuilt for Boost 1.66
|
||||
|
||||
* Sat Nov 25 2017 Jerry James <loganjerry@gmail.com> - 2.1.2-10.20171116git.b67aa83
|
||||
- Update to recent git snapshot
|
||||
- Build with cryptominisat5 support
|
||||
|
||||
* Sat Aug 19 2017 Zbigniew Jędrzejewski-Szmek <zbyszek@in.waw.pl> - 2.1.2-9.20151122git.3785148
|
||||
- Python 2 binary package renamed to python2-stp
|
||||
See https://fedoraproject.org/wiki/FinalizingFedoraSwitchtoPython3
|
||||
|
||||
* Thu Aug 03 2017 Fedora Release Engineering <releng@fedoraproject.org> - 2.1.2-8.20151122git.3785148
|
||||
- Rebuilt for https://fedoraproject.org/wiki/Fedora_27_Binutils_Mass_Rebuild
|
||||
|
||||
* Thu Jul 27 2017 Fedora Release Engineering <releng@fedoraproject.org> - 2.1.2-7.20151122git.3785148
|
||||
- Rebuilt for https://fedoraproject.org/wiki/Fedora_27_Mass_Rebuild
|
||||
|
||||
* Tue Jul 18 2017 Jonathan Wakely <jwakely@redhat.com> - 2.1.2-6.20151122git.3785148
|
||||
- Rebuilt for Boost 1.64
|
||||
|
||||
* Wed Feb 08 2017 Kalev Lember <klember@redhat.com> - 2.1.2-5.20151122git.3785148
|
||||
- Rebuilt for Boost 1.63
|
||||
|
||||
* Sat Jan 28 2017 Jerry James <loganjerry@gmail.com> - 2.1.2-4.20151122git.3785148
|
||||
- Fix cmake files (bz 1414167)
|
||||
|
||||
* Tue Jul 19 2016 Fedora Release Engineering <rel-eng@lists.fedoraproject.org> - 2.1.2-3.20151122git.3785148
|
||||
- https://fedoraproject.org/wiki/Changes/Automatic_Provides_for_Python_RPM_Packages
|
||||
|
||||
* Sat Mar 19 2016 Jerry James <loganjerry@gmail.com> - 2.1.2-2.20151122git.3785148
|
||||
- Rebuild for minisat 2.2.1
|
||||
|
||||
* Sat Feb 20 2016 Jerry James <loganjerry@gmail.com> - 2.1.2-1.20151122git.3785148
|
||||
- Update to recent git snapshot
|
||||
|
||||
* Fri Feb 05 2016 Fedora Release Engineering <releng@fedoraproject.org> - 2.1.0-3.20150904git.5405af4
|
||||
- Rebuilt for https://fedoraproject.org/wiki/Fedora_24_Mass_Rebuild
|
||||
|
||||
* Tue Jan 19 2016 Jonathan Wakely <jwakely@redhat.com> - 2.1.0-2.20150904git.5405af4
|
||||
- Rebuilt for Boost 1.60
|
||||
|
||||
* Fri Sep 4 2015 Jerry James <loganjerry@gmail.com> - 2.1.0-1.20150904git.5405af4
|
||||
- Update to recent git snapshot
|
||||
|
||||
* Wed Jul 29 2015 Fedora Release Engineering <rel-eng@lists.fedoraproject.org> - 0.1-30.20140619git.44de620
|
||||
- Rebuilt for https://fedoraproject.org/wiki/Changes/F23Boost159
|
||||
|
||||
* Wed Jul 22 2015 David Tardon <dtardon@redhat.com> - 0.1-29.20140619git.44de620
|
||||
- rebuild for Boost 1.58
|
||||
|
||||
* Fri Jun 19 2015 Fedora Release Engineering <rel-eng@lists.fedoraproject.org> - 0.1-28.20140619git.44de620
|
||||
- Rebuilt for https://fedoraproject.org/wiki/Fedora_23_Mass_Rebuild
|
||||
|
||||
* Sat May 02 2015 Kalev Lember <kalevlember@gmail.com> - 0.1-27.20140619git.44de620
|
||||
- Rebuilt for GCC 5 C++11 ABI change
|
||||
|
||||
* Sat Feb 21 2015 Jerry James <loganjerry@gmail.com> - 0.1.26-20140610git.44de620
|
||||
- Use license macro
|
||||
|
||||
* Tue Jan 27 2015 Petr Machata <pmachata@redhat.com> - 0.1-25.20140619git.44de620
|
||||
- Rebuild for boost 1.57.0
|
||||
|
||||
* Mon Aug 18 2014 Fedora Release Engineering <rel-eng@lists.fedoraproject.org> - 0.1-24.20140619git.44de620
|
||||
- Rebuilt for https://fedoraproject.org/wiki/Fedora_21_22_Mass_Rebuild
|
||||
|
||||
* Wed Jun 18 2014 Jerry James <loganjerry@gmail.com> - 0.1-23.20140619git.44de620
|
||||
- Update to recent git snapshot
|
||||
- Drop upstreamed -undefined patch
|
||||
|
||||
* Sun Jun 08 2014 Fedora Release Engineering <rel-eng@lists.fedoraproject.org> - 0.1-22.20140402git.f8a392d
|
||||
- Rebuilt for https://fedoraproject.org/wiki/Fedora_21_Mass_Rebuild
|
||||
|
||||
* Fri May 23 2014 Petr Machata <pmachata@redhat.com> - 0.1-21.20140402git.f8a392d
|
||||
- Rebuild for boost 1.55.0
|
||||
|
||||
* Tue Apr 29 2014 Jerry James <loganjerry@gmail.com> - 0.1-20.20140402git.f8a392d
|
||||
- Update to recent git snapshot
|
||||
|
||||
* Wed Mar 19 2014 Jerry James <loganjerry@gmail.com> - 0.1-19.20140319git.6110a49
|
||||
- Update to recent git snapshot, now hosted on github
|
||||
- Build now uses cmake
|
||||
- Tests now need boolector, which has license problems. Disable %%check for
|
||||
now unless we can find something useful to do.
|
||||
|
||||
* Wed Oct 9 2013 Jerry James <loganjerry@gmail.com> - 0.1-18.20130223svn
|
||||
- Really rebuild for cryptominisat 2.9.8
|
||||
|
||||
* Thu Sep 26 2013 Jerry James <loganjerry@gmail.com> - 0.1-17.20130223svn
|
||||
- Rebuild for cryptominisat 2.9.8
|
||||
- Disable regression tests for non-x86 (see bz 1012698)
|
||||
|
||||
* Sun Aug 04 2013 Fedora Release Engineering <rel-eng@lists.fedoraproject.org> - 0.1-16.20130223svn
|
||||
- Rebuilt for https://fedoraproject.org/wiki/Fedora_20_Mass_Rebuild
|
||||
|
||||
* Tue Jul 30 2013 Petr Machata <pmachata@redhat.com> - 0.1-15.20130223svn
|
||||
- Rebuild for boost 1.54.0
|
||||
|
||||
* Mon Mar 11 2013 Jerry James <loganjerry@gmail.com> - 0.1.14-20130223svn
|
||||
- Update to recent subversion snapshot
|
||||
- Reenable the check script
|
||||
|
||||
* Mon Feb 11 2013 Jerry James <loganjerry@gmail.com> - 0.1-13.20130211svn
|
||||
- Update to recent subversion snapshot
|
||||
|
||||
* Wed Oct 17 2012 Jerry James <loganjerry@gmail.com> - 0.1-12.20121002svn
|
||||
- Update to recent subversion snapshot
|
||||
|
||||
* Tue Aug 7 2012 Jerry James <loganjerry@gmail.com> - 0.1-11.20120615svn
|
||||
- Update to recent subversion snapshot
|
||||
- Do not build bundled cryptominisat
|
||||
|
||||
* Sat Jul 21 2012 Fedora Release Engineering <rel-eng@lists.fedoraproject.org> - 0.1-10.20120109svn
|
||||
- Rebuilt for https://fedoraproject.org/wiki/Fedora_18_Mass_Rebuild
|
||||
|
||||
* Tue Feb 28 2012 Fedora Release Engineering <rel-eng@lists.fedoraproject.org> - 0.1-9.20120109svn
|
||||
- Rebuilt for c++ ABI breakage
|
||||
|
||||
* Tue Jan 10 2012 Jerry James <loganjerry@gmail.com> - 0.1-8.20120109svn
|
||||
- Update to recent subversion snapshot
|
||||
- Add GCC 4.7 patch
|
||||
- Disable tests until valgrind doesn't cause failures in libdl
|
||||
|
||||
* Tue Dec 13 2011 Jerry James <loganjerry@gmail.com> - 0.1-7.20111130svn
|
||||
- Update to recent subversion snapshot
|
||||
- Minor spec file cleanups
|
||||
@ -369,13 +119,13 @@ mv %{buildroot}%{_prefix}/man %{buildroot}%{_datadir}/man
|
||||
* Sun Jul 26 2009 Fedora Release Engineering <rel-eng@lists.fedoraproject.org> - 0.1-5
|
||||
- Rebuilt for https://fedoraproject.org/wiki/Fedora_12_Mass_Rebuild
|
||||
|
||||
* Fri Mar 6 2009 David A. Wheeler <dwheeler at, dwheeler.com> 0.1-4
|
||||
* Mon Mar 6 2009 David A. Wheeler <dwheeler at, dwheeler.com> 0.1-4
|
||||
- Re-sync with CVS
|
||||
|
||||
* Fri Mar 6 2009 David A. Wheeler <dwheeler at, dwheeler.com> 0.1-3
|
||||
* Mon Mar 6 2009 David A. Wheeler <dwheeler at, dwheeler.com> 0.1-3
|
||||
- Modified spec so can rebuild in proper order on Fedora
|
||||
|
||||
* Tue Mar 3 2009 David A. Wheeler <dwheeler at, dwheeler.com> 0.1-2
|
||||
* Mon Mar 3 2009 David A. Wheeler <dwheeler at, dwheeler.com> 0.1-2
|
||||
- Fixed comments by Marcela Maslanova, mmaslano (at) redhat*DOT*com 2009-02-26
|
||||
- Moved definitions of subpackages to "top" of spec before prep.
|
||||
- moved "check" before "files".
|
||||
|
Loading…
Reference in New Issue
Block a user