jjames pushed to z3 (f22). "Temporarily disable tests due to insufficient memory on the builders."

[notifications at fedoraproject.org]

>From f43a07744b98a934a7f1f6a8e7683141f7cdab5f Mon Sep 17 00:00:00 2001
From: Jerry James <loganjerry at gmail.com>
Date: Sat, 25 Apr 2015 09:45:50 -0600
Subject: Temporarily disable tests due to insufficient memory on the builders.


diff --git a/z3.spec b/z3.spec
index 53cab32..eff9de3 100644
--- a/z3.spec
+++ b/z3.spec
@@ -217,11 +217,17 @@ chmod 0755 %{buildroot}%{_bindir}/* %{buildroot}%{_libdir}/*.so.0.0.0 \
   %{buildroot}%{_libdir}/%{name}/*.so
 
 %check
-export LANG="en_US.UTF-8"
-pushd build
-make test
-./test-z3 /a
-popd
+# Some of the tests require more memory than the koji builders have available.
+# However, valgrind also shows a large number of memory leaks.  I will work
+# with upstream to fix the leaks, then try again to see if the tests can be
+# run on the koji builders successfully.  If not, the tests will have to be run
+# manually on machines with more available memory.
+#
+#export LANG="en_US.UTF-8"
+#pushd build
+#make test
+#./test-z3 /a
+#popd
 
 %post libs -p /sbin/ldconfig
 
-- 
cgit v0.10.2


	http://pkgs.fedoraproject.org/cgit/z3.git/commit/?h=f22&id=f43a07744b98a934a7f1f6a8e7683141f7cdab5f