rpms
/
cvc4
2
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

Fix copy-and-paste error that killed the 32-bit build.

This commit is contained in:
Jerry James 2019-06-30 20:29:01 -06:00
parent bb8bce8c35
commit f294ef445b
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
cvc4.spec
View File

@ -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 \