From 5fcbf5312b23f80a4c81c1a9c70f3f19ae92a909 Mon Sep 17 00:00:00 2001
From: Jerry James <loganjerry@gmail.com>
Date: Sep 25 2015 15:10:37 +0000
Subject: FLINT level 2 support only works on 64 bit platforms.


---

diff --git a/eclib.spec b/eclib.spec
index 9c73848..631b800 100644
--- a/eclib.spec
+++ b/eclib.spec
@@ -40,7 +40,13 @@ Development libraries and headers for %{name}.
 autoreconf -fi
 
 %build
-export CPPFLAGS="-I %{_includedir}/flint -DFLINT_LEVEL=2"
+# FLINT_LEVEL 2 assumes that the C int type == half the width of a limb_t.
+# This is only true on 64 bit platforms.
+if [ %{__isa_bits} = "64" ]; then
+  export CPPFLAGS="-I %{_includedir}/flint -DFLINT_LEVEL=2"
+else
+  export CPPFLAGS="-I %{_includedir}/flint"
+fi
 %configure \
 	--disable-static \
 	--enable-shared \