Version 4.8.14. Conditionalize the %check script.
This commit is contained in:
parent
533bf73c99
commit
6ffdbbf843
2
sources
2
sources
|
@ -1 +1 @@
|
||||||
SHA512 (z3-4.8.13.tar.gz) = c5e8f34525ed3b6b2935d7f01ce2f90f5dd99b4cdd035664b36c967fb1c7f3b05abed45c7288e2261723e73d68728ee91a0f67d92012d86b04598d7b54369c30
|
SHA512 (z3-4.8.14.tar.gz) = 10170516ca472258d2f9df28cd036e43023a76a25f1e1670290c62f3890d935bf82770970054a5fd3a0f02559409e7ed4b18fb08347c040ff2f9e0918e152aab
|
||||||
|
|
29
z3.spec
29
z3.spec
|
@ -1,5 +1,9 @@
|
||||||
|
# Tests are off by default because some of the tests require more memory than
|
||||||
|
# the koji builders have available.
|
||||||
|
%bcond_with test
|
||||||
|
|
||||||
Name: z3
|
Name: z3
|
||||||
Version: 4.8.13
|
Version: 4.8.14
|
||||||
Release: 1%{?dist}
|
Release: 1%{?dist}
|
||||||
Summary: Satisfiability Modulo Theories (SMT) solver
|
Summary: Satisfiability Modulo Theories (SMT) solver
|
||||||
|
|
||||||
|
@ -108,9 +112,6 @@ sed -e '/libz3java/s,\(System\.load\)Library("\(.*\)"),\1("%{_libdir}/z3/\2.so")
|
||||||
-e "s/@MAJVER@/$majver/" \
|
-e "s/@MAJVER@/$majver/" \
|
||||||
-i scripts/update_api.py
|
-i scripts/update_api.py
|
||||||
|
|
||||||
# Update an OCaml interface
|
|
||||||
sed -i 's/Pervasives/Stdlib/' src/api/ml/z3.ml
|
|
||||||
|
|
||||||
# Fix character encoding
|
# Fix character encoding
|
||||||
iconv -f iso8859-1 -t utf-8 RELEASE_NOTES > RELEASE_NOTES.utf8
|
iconv -f iso8859-1 -t utf-8 RELEASE_NOTES > RELEASE_NOTES.utf8
|
||||||
touch -r RELEASE_NOTES RELEASE_NOTES.utf8
|
touch -r RELEASE_NOTES RELEASE_NOTES.utf8
|
||||||
|
@ -178,14 +179,14 @@ rm -rf %{buildroot}%{_docdir}/Z3
|
||||||
mkdir -p %{buildroot}%{_mandir}/man1
|
mkdir -p %{buildroot}%{_mandir}/man1
|
||||||
help2man -N -o %{buildroot}%{_mandir}/man1/%{name}.1 %{_vpath_builddir}/%{name}
|
help2man -N -o %{buildroot}%{_mandir}/man1/%{name}.1 %{_vpath_builddir}/%{name}
|
||||||
|
|
||||||
#%%check
|
%if %{with test}
|
||||||
# Some of the tests require more memory than the koji builders have available.
|
%check
|
||||||
#
|
export LANG="C.UTF-8"
|
||||||
#export LANG="C.UTF-8"
|
cd build
|
||||||
#pushd build
|
make test-z3
|
||||||
#make test-z3
|
./test-z3 /a
|
||||||
#./test-z3 /a
|
cd -
|
||||||
#popd
|
%endif
|
||||||
|
|
||||||
%files
|
%files
|
||||||
%doc README.md RELEASE_NOTES
|
%doc README.md RELEASE_NOTES
|
||||||
|
@ -228,6 +229,10 @@ help2man -N -o %{buildroot}%{_mandir}/man1/%{name}.1 %{_vpath_builddir}/%{name}
|
||||||
%{python3_sitelib}/%{name}/
|
%{python3_sitelib}/%{name}/
|
||||||
|
|
||||||
%changelog
|
%changelog
|
||||||
|
* Fri Dec 24 2021 Jerry James <loganjerry@gmail.com> - 4.8.14-1
|
||||||
|
- Version 4.8.14
|
||||||
|
- Conditionalize the %%check script
|
||||||
|
|
||||||
* Fri Nov 19 2021 Jerry James <loganjerry@gmail.com> - 4.8.13-1
|
* Fri Nov 19 2021 Jerry James <loganjerry@gmail.com> - 4.8.13-1
|
||||||
- Version 4.8.13
|
- Version 4.8.13
|
||||||
|
|
||||||
|
|
Loading…
Reference in New Issue