From 8423de87767be4c0f3ebbb10980979a381a7f984 Mon Sep 17 00:00:00 2001
From: Jerry James <jamesjer@betterlinux.com>
Date: Apr 30 2013 15:13:54 +0000
Subject: Turn off parallel builds; they sometimes fail while building the Java code.


---

diff --git a/cvc3.spec b/cvc3.spec
index 2abcb0c..ed78155 100644
--- a/cvc3.spec
+++ b/cvc3.spec
@@ -150,8 +150,9 @@ sed -i "s|-lcvc3 \$(LD_LIBS)|-Wl,--as-needed -lcvc3 \$(LD_LIBS)|" java/Makefile
 
 %build
 %configure --with-build=optimized --enable-dynamic --enable-java \
-  --disable-zchaff --with-java-home=/usr/lib/jvm/java
-make %{?_smp_mflags}
+  --disable-zchaff --with-java-home=%{java_home}
+# FIXME: %%{?_smp_mflags} sometimes leads to build failures
+make
 
 # Build the documentation
 make -C doc
@@ -224,6 +225,7 @@ LD_LIBRARY_PATH=`pwd`/lib make regress4
 %changelog
 * Mon Apr 29 2013 Jerry James <loganjerry@gmail.com> - 2.4.1-6
 - Add -aarch64 support (bz 925213)
+- Turn off parallel builds; they sometimes fail while building the Java code
 
 * Wed Feb 13 2013 Fedora Release Engineering <rel-eng@lists.fedoraproject.org> - 2.4.1-5
 - Rebuilt for https://fedoraproject.org/wiki/Fedora_19_Mass_Rebuild