From f294ef445b87f39e5f6e4acda19e97fb908046ed Mon Sep 17 00:00:00 2001 From: Jerry James Date: Sun, 30 Jun 2019 20:29:01 -0600 Subject: [PATCH] Fix copy-and-paste error that killed the 32-bit build. --- cvc4.spec | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) 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 \