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

Remove i686 from have_perftools due to test failures.

This commit is contained in:
Jerry James 2015-03-12 12:01:30 -06:00
parent 1eebfe320a
commit 7bd0d829c0
1 changed files with 3 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
cvc4.spec
View File

@ -1,7 +1,8 @@
# CVC4 1.4 and later need a modified glpk, unavailable in Fedora. Therefore,
# we currently build without glpk support.
%ifarch %{ix86} x86_64 ppc ppc64
# Building for i686 with perftools leads to test failures on F22.
%ifarch x86_64 ppc ppc64
%global have_perftools 1
%endif
@ -254,6 +255,7 @@ make check
- Help the documentation generator find COPYING
- Build with -fsigned-char to fix the arm build
- Prevent rebuilds while running checks
- Remove i686 from have_perftools due to test failures
* Tue Jan 27 2015 Petr Machata <pmachata@redhat.com> - 1.4-2
- Rebuild for boost 1.57.0