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

Try harder to avoid build failures due to inconsistent warning options.

This commit is contained in:
Jerry James 2017-07-15 21:44:22 -06:00
parent 7e5614b256
commit 80b85584ff
1 changed files with 3 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

3
cvc4.spec
View File

@ -114,6 +114,9 @@ sed -e '/^if test "$enable_debug_symbols"/,/fi/d' \
sed -e "s|^\(javalibdir =.*\)jni|\1java/%{name}|" \
-e 's/ -Wno-all//' \
-i src/bindings/Makefile.am
sed -e "s|^\(javalibdir =.*\)jni|\1java/%{name}|" \
-e 's/ -Wno-all//' \
-i src/bindings/Makefile.in
# Fix access to an uninitialized variable
sed -e 's/Kind k;/Kind k = kind::UNDEFINED_KIND;/' \