rpms
/
z3
2
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

Version 4.8.15.

This commit is contained in:
Jerry James 2022-03-21 12:04:45 -06:00
parent d4a35ac719
commit 0d4eb3e8f9
3 changed files with 6 additions and 28 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
sources
View File

@ -1 +1 @@
SHA512 (z3-4.8.14.tar.gz) = 10170516ca472258d2f9df28cd036e43023a76a25f1e1670290c62f3890d935bf82770970054a5fd3a0f02559409e7ed4b18fb08347c040ff2f9e0918e152aab
SHA512 (z3-4.8.15.tar.gz) = 7b08dec5b035a38edc90c4c491f508fd9ed227357de94400169db53d4c59382bd6a81ae6615771023a06534a3aa92668844f0ebfcc2a3b5ef4bba957426a0c6c

25
z3.rpmlintrc
View File

@ -1,25 +0,0 @@
# THIS FILE IS FOR WHITELISTING RPMLINT ERRORS AND WARNINGS IN TASKOTRON
# https://fedoraproject.org/wiki/Taskotron/Tasks/dist.rpmlint#Whitelisting_errors
# The dictionary is missing some technical terms
addFilter(r'W: spelling-error .* ((S|s)atisfiability|datatypes)')
# Shared objects in the python arch directory are not devel files
addFilter(r'python3-z3\.[^:]+: W: devel-file-in-non-devel-package .*libz3\.so')
# The documentation is in the -doc subpackage
addFilter(r'W: no-documentation')
# Oh yes, we have no manual page
addFilter(r'W: no-manual-page-for-binary z3')
# The configure script is not an autotools-generated script
addFilter(r'z3\.spec:[^:]*: W: configure-without-libdir-spec')
# The spec file moves the shared object from /usr/lib to /usr/lib64 on 64-bit
# systems, the opposite of the problem this warning is intended to catch.
addFilter(r'z3\.spec:[^:]+: E: hardcoded-library-path in %{_prefix}/lib/libz3\.so\*')
# This is where JAR files are supposed to go when there is a binary interface.
addFilter(r'z3\.spec:[^:]+: E: hardcoded-library-path in %{_prefix}/lib/\*\.jar')
addFilter(r'z3\.spec:[^:]+: E: hardcoded-library-path in %{_prefix}/lib/lib%{name}java\.so')

7
z3.spec
View File

@ -4,8 +4,8 @@
%bcond_with test
Name: z3
Version: 4.8.14
Release: 4%{?dist}
Version: 4.8.15
Release: 1%{?dist}
Summary: Satisfiability Modulo Theories (SMT) solver
License: MIT
@ -230,6 +230,9 @@ cd -
%{python3_sitelib}/%{name}/
%changelog
* Mon Mar 21 2022 Jerry James <loganjerry@gmail.com> - 4.8.15-1
- Version 4.8.15
* Sat Feb 05 2022 Jiri Vanek <jvanek@redhat.com> - 4.8.14-4
- Rebuilt for java-17-openjdk as system jdk