New upstream version.
This commit is contained in:
parent
6333387608
commit
fb4076ae94
1
.gitignore
vendored
1
.gitignore
vendored
@ -1 +1,2 @@
|
|||||||
/z3-*.tar.gz
|
/z3-*.tar.gz
|
||||||
|
/Z3-*.tar.gz
|
||||||
|
2
sources
2
sources
@ -1 +1 @@
|
|||||||
SHA512 (z3-4.8.4.tar.gz) = 4660ba6ab33a6345b2e8396c332d4afcfc73eda66ceb2595a39f152df4d62a9ea0f349b0f9212389ba84ecba6bdae6ad9b62b376ba44dc4d9c74f80d7a818bf4
|
SHA512 (Z3-4.8.5.tar.gz) = ca36e1a0332bd473a64f41dfdb31656fb3486178473e4fd4934dccce109a84c9686c08f94998df74bacb588eb12ea5db25dc17a564ee76f82fd2559349697309
|
||||||
|
11
z3.spec
11
z3.spec
@ -1,13 +1,13 @@
|
|||||||
%global medtag d6df51951f4c
|
%global medtag d6df51951f4c
|
||||||
|
|
||||||
Name: z3
|
Name: z3
|
||||||
Version: 4.8.4
|
Version: 4.8.5
|
||||||
Release: 3%{?dist}
|
Release: 1%{?dist}
|
||||||
Summary: Satisfiability Modulo Theories (SMT) solver
|
Summary: Satisfiability Modulo Theories (SMT) solver
|
||||||
|
|
||||||
License: MIT
|
License: MIT
|
||||||
URL: https://github.com/Z3Prover/z3
|
URL: https://github.com/Z3Prover/z3
|
||||||
Source0: https://github.com/Z3Prover/z3/archive/%{name}-%{version}.tar.gz
|
Source0: https://github.com/Z3Prover/z3/archive/Z3-%{version}.tar.gz
|
||||||
|
|
||||||
BuildRequires: doxygen
|
BuildRequires: doxygen
|
||||||
BuildRequires: gcc-c++
|
BuildRequires: gcc-c++
|
||||||
@ -88,7 +88,7 @@ Provides: python2-%{name} = 4.8
|
|||||||
Python 3 interface to z3.
|
Python 3 interface to z3.
|
||||||
|
|
||||||
%prep
|
%prep
|
||||||
%setup -q -n %{name}-%{name}-%{version}
|
%setup -q -n %{name}-Z3-%{version}
|
||||||
|
|
||||||
# Install python objects into the right place, enable verbose builds, use
|
# Install python objects into the right place, enable verbose builds, use
|
||||||
# Fedora CFLAGS, preserve timestamps when installing, include the entire
|
# Fedora CFLAGS, preserve timestamps when installing, include the entire
|
||||||
@ -226,6 +226,9 @@ mv %{buildroot}%{_prefix}/lib/lib%{name}java.so %{buildroot}%{_libdir}/%{name}
|
|||||||
%{python3_sitearch}/%{name}/
|
%{python3_sitearch}/%{name}/
|
||||||
|
|
||||||
%changelog
|
%changelog
|
||||||
|
* Sat Jun 22 2019 Jerry James <loganjerry@gmail.com> - 4.8.5-1
|
||||||
|
- New upstream version
|
||||||
|
|
||||||
* Mon Apr 29 2019 Richard W.M. Jones <rjones@redhat.com> - 4.8.4-3
|
* Mon Apr 29 2019 Richard W.M. Jones <rjones@redhat.com> - 4.8.4-3
|
||||||
- OCaml 4.08.0 (beta 3) rebuild.
|
- OCaml 4.08.0 (beta 3) rebuild.
|
||||||
|
|
||||||
|
Loading…
Reference in New Issue
Block a user