Notification time stamped 2019-07-01 02:29:20 UTC
From f294ef445b87f39e5f6e4acda19e97fb908046ed Mon Sep 17 00:00:00 2001
From: Jerry James <loganjerry(a)gmail.com>
Date: Jul 01 2019 02:29:01 +0000
Subject: Fix copy-and-paste error that killed the 32-bit build.
---
diff --git a/cvc4.spec b/cvc4.spec
index 204a163..6a5689e 100644
--- a/cvc4.spec
+++ b/cvc4.spec
@@ -121,7 +121,7 @@ sed -i '/replaceall-len-c/d' test/regress/CMakeLists.txt
%build
pyinc=$(python3-config --includes | sed -r
's/-I([^[:blank:]]+)[[:blank:]]*.*/\1/')
-pylib=$(ls -1 /usr/lib64/libpython3.*.so)
+pylib=$(ls -1 %{_libdir}/libpython3.*.so)
export CFLAGS="%{optflags} -fsigned-char -DABC_USE_STDINT_H
-I%{_jvmdir}/java/include -I%{_jvmdir}/java/include/linux -I%{_includedir}/abc"
export CXXFLAGS="$CFLAGS"
%cmake \
https://src.fedoraproject.org/rpms/cvc4/c/f294ef445b87f39e5f6e4acda19e97f...