From 15c323b5475b1978658b09b40acbd910bf47e1ca Mon Sep 17 00:00:00 2001
From: Jerry James <loganjerry@gmail.com>
Date: Tue, 8 Oct 2013 18:55:59 -0600
Subject: [PATCH] Disable valgrind tests for non-x86 (see bz 1012698).

---
 stp.spec | 6 ++++++
 1 file changed, 6 insertions(+)

diff --git a/stp.spec b/stp.spec
index 9f22d66..8334600 100644
--- a/stp.spec
+++ b/stp.spec
@@ -96,6 +96,11 @@ sed -i "s/^\.PHONY:.*/& depend/" src/main/Makefile
 # Fix underlinked tests
 sed -i 's/^LIBS=.*/& -lcryptominisat -lm/' tests/c-api-tests/Makefile
 
+# The valgrind tests tend to work on x86 only
+%ifnarch %{ix86} x86_64
+sed -i 's/\(VALGRINDPATH=\).*/\1""/' tests/c-api-tests/Makefile
+%endif
+
 %build
 scripts/configure --with-prefix=%{_prefix}
 
@@ -130,6 +135,7 @@ make regresscapi
 %changelog
 * Thu Sep 26 2013 Jerry James <loganjerry@gmail.com> - 0.1-17.20130223svn
 - Rebuild for cryptominisat 2.9.8
+- Disable valgrind 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