Login
[x]
Log in using an account from:
Fedora Account System
Red Hat Associate
Red Hat Customer
Or login using a Red Hat Bugzilla account
Forgot Password
Login:
Hide Forgot
Create an Account
Red Hat Bugzilla – Attachment 903904 Details for
Bug 1106109
cvc4: FTBFS in rawhide
[?]
New
Simple Search
Advanced Search
My Links
Browse
Requests
Reports
Current State
Search
Tabular reports
Graphical reports
Duplicates
Other Reports
User Changes
Plotly Reports
Bug Status
Bug Severity
Non-Defaults
|
Product Dashboard
Help
Page Help!
Bug Writing Guidelines
What's new
Browser Support Policy
5.0.4.rh83 Release notes
FAQ
Guides index
User guide
Web Services
Contact
Legal
This site requires JavaScript to be enabled to function correctly, please enable it.
build.log
<fdopen> (text/plain), 195.57 KB, created by
Dennis Gilmore
on 2014-06-09 03:12:46 UTC
(
hide
)
Description:
build.log
Filename:
MIME Type:
Creator:
Dennis Gilmore
Created:
2014-06-09 03:12:46 UTC
Size:
195.57 KB
patch
obsolete
>Mock Version: 1.1.39 >Mock Version: 1.1.39 >ENTER do(['bash', '--login', '-c', 'rpmbuild -bs --target armv7hl --nodeps builddir/build/SPECS/cvc4.spec'], False, '/var/lib/mock/f21-build-2119967-392840/root/', None, 86400, True, False, 1000, 425, None, False, {'LANG': 'en_US.UTF-8', 'TERM': 'vt100', 'SHELL': '/bin/bash', 'HOSTNAME': 'mock', 'PROMPT_COMMAND': 'echo -n "<mock-chroot>"', 'HOME': '/builddir', 'PATH': '/usr/bin:/bin:/usr/sbin:/sbin'}, logger=<mockbuild.trace_decorator.getLog object at 0x1771b90>) >Executing command: ['bash', '--login', '-c', 'rpmbuild -bs --target armv7hl --nodeps builddir/build/SPECS/cvc4.spec'] with env {'LANG': 'en_US.UTF-8', 'TERM': 'vt100', 'SHELL': '/bin/bash', 'HOSTNAME': 'mock', 'PROMPT_COMMAND': 'echo -n "<mock-chroot>"', 'HOME': '/builddir', 'PATH': '/usr/bin:/bin:/usr/sbin:/sbin'} >warning: Could not canonicalize hostname: arm04-builder18.arm.fedoraproject.org >Building target platforms: armv7hl >Building for target armv7hl >Wrote: /builddir/build/SRPMS/cvc4-1.3-6.fc21.src.rpm >Child return code was: 0 >LEAVE do --> > >ENTER do(['bash', '--login', '-c', 'rpmbuild -bb --target armv7hl --nodeps builddir/build/SPECS/cvc4.spec'], False, '/var/lib/mock/f21-build-2119967-392840/root/', None, 86400, True, False, 1000, 425, None, False, {'LANG': 'en_US.UTF-8', 'TERM': 'vt100', 'SHELL': '/bin/bash', 'HOSTNAME': 'mock', 'PROMPT_COMMAND': 'echo -n "<mock-chroot>"', 'HOME': '/builddir', 'PATH': '/usr/bin:/bin:/usr/sbin:/sbin'}, logger=<mockbuild.trace_decorator.getLog object at 0x1771b90>) >Executing command: ['bash', '--login', '-c', 'rpmbuild -bb --target armv7hl --nodeps builddir/build/SPECS/cvc4.spec'] with env {'LANG': 'en_US.UTF-8', 'TERM': 'vt100', 'SHELL': '/bin/bash', 'HOSTNAME': 'mock', 'PROMPT_COMMAND': 'echo -n "<mock-chroot>"', 'HOME': '/builddir', 'PATH': '/usr/bin:/bin:/usr/sbin:/sbin'} >Building target platforms: armv7hl >Building for target armv7hl >Executing(%prep): /bin/sh -e /var/tmp/rpm-tmp.NFRoBG >+ umask 022 >+ cd /builddir/build/BUILD >+ cd /builddir/build/BUILD >+ rm -rf cvc4-1.3 >+ /usr/bin/gzip -dc /builddir/build/SOURCES/cvc4-1.3.tar.gz >+ /usr/bin/tar -xf - >+ STATUS=0 >+ '[' 0 -ne 0 ']' >+ cd cvc4-1.3 >+ /usr/bin/chmod -Rf a+rX,u+w,g-w,o-w . >+ patch -p0 -T >patching file ./src/decision/options.h >patching file ./src/expr/expr_manager_template.h >patching file ./src/expr/expr_template.h >patching file ./src/expr/kind_template.h >patching file ./src/expr/options.h >patching file ./src/main/options.h >patching file ./src/options/base_options.h >patching file ./src/options/base_options_template.h >patching file ./src/options/options.h >patching file ./src/parser/options.h >patching file ./src/printer/options.h >patching file ./src/proof/options.h >patching file ./src/prop/options.h >patching file ./src/smt/options.h >patching file ./src/theory/arith/options.h >patching file ./src/theory/arrays/options.h >patching file ./src/theory/booleans/options.h >patching file ./src/theory/builtin/options.h >patching file ./src/theory/bv/options.h >patching file ./src/theory/datatypes/options.h >patching file ./src/theory/options.h >patching file ./src/theory/quantifiers/options.h >patching file ./src/theory/rewriterules/options.h >patching file ./src/theory/uf/options.h >patching file ./src/util/tls.h.in >+ sed -e '/^if test "$enable_debug_symbols"/,/fi/d' -e 's|^hardcode_libdir_flag_spec=.*|hardcode_libdir_flag_spec=""|g' -e 's|^runpath_var=LD_RUN_PATH|runpath_var=DIE_RPATH_DIE|g' -i configure >+ sed -i 's|^\(javalibdir =.*\)jni|\1java/cvc4|' src/bindings/Makefile.in >+ exit 0 >Executing(%build): /bin/sh -e /var/tmp/rpm-tmp.DY0cHH >+ umask 022 >+ cd /builddir/build/BUILD >+ cd cvc4-1.3 >+ CFLAGS='-O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -fexceptions -fstack-protector-strong --param=ssp-buffer-size=4 -grecord-gcc-switches -march=armv7-a -mfpu=vfpv3-d16 -mfloat-abi=hard' >+ export CFLAGS >+ CXXFLAGS='-O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -fexceptions -fstack-protector-strong --param=ssp-buffer-size=4 -grecord-gcc-switches -march=armv7-a -mfpu=vfpv3-d16 -mfloat-abi=hard' >+ export CXXFLAGS >+ FFLAGS='-O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -fexceptions -fstack-protector-strong --param=ssp-buffer-size=4 -grecord-gcc-switches -march=armv7-a -mfpu=vfpv3-d16 -mfloat-abi=hard -I/usr/lib/gfortran/modules' >+ export FFLAGS >+ FCFLAGS='-O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -fexceptions -fstack-protector-strong --param=ssp-buffer-size=4 -grecord-gcc-switches -march=armv7-a -mfpu=vfpv3-d16 -mfloat-abi=hard -I/usr/lib/gfortran/modules' >+ export FCFLAGS >+ LDFLAGS='-Wl,-z,relro ' >+ export LDFLAGS >+ '[' 1 = 1 ']' >++ find . -name config.guess -o -name config.sub >+ for i in '$(find . -name config.guess -o -name config.sub)' >++ basename ./config/config.sub >+ '[' -f /usr/lib/rpm/redhat/config.sub ']' >+ /usr/bin/rm -f ./config/config.sub >++ basename ./config/config.sub >+ /usr/bin/cp -fv /usr/lib/rpm/redhat/config.sub ./config/config.sub >'/usr/lib/rpm/redhat/config.sub' -> './config/config.sub' >+ for i in '$(find . -name config.guess -o -name config.sub)' >++ basename ./config/config.guess >+ '[' -f /usr/lib/rpm/redhat/config.guess ']' >+ /usr/bin/rm -f ./config/config.guess >++ basename ./config/config.guess >+ /usr/bin/cp -fv /usr/lib/rpm/redhat/config.guess ./config/config.guess >'/usr/lib/rpm/redhat/config.guess' -> './config/config.guess' >+ '[' 1 = 1 ']' >+ '[' x '!=' x ']' >+ ./configure --build=armv7hl-redhat-linux-gnu --host=armv7hl-redhat-linux-gnu --program-prefix= --disable-dependency-tracking --prefix=/usr --exec-prefix=/usr --bindir=/usr/bin --sbindir=/usr/sbin --sysconfdir=/etc --datadir=/usr/share --includedir=/usr/include --libdir=/usr/lib --libexecdir=/usr/libexec --localstatedir=/var --sharedstatedir=/var/lib --mandir=/usr/share/man --infodir=/usr/share/info --enable-proof --enable-language-bindings=all --with-portfolio --with-google-perftools --with-glpk --without-compat 'CPPFLAGS=-I/usr/lib/jvm/java/include -I/usr/lib/jvm/java/include/linux -DFEDORA_GLPK_ITCNT -Dlpx_get_int_parm(x,y)=glp_get_it_cnt(x)' LFSCARGS=/usr/share/lfsc/sat.plf >checking whether make supports nested variables... yes >checking whether to enable maintainer-specific portions of Makefiles... yes >checking build system type... armv7hl-redhat-linux-gnu >checking host system type... armv7hl-redhat-linux-gnu >checking target system type... armv7hl-redhat-linux-gnu >checking for requested build profile... default >checking for a BSD-compatible install... /usr/bin/install -c >checking whether build environment is sane... yes >checking for a thread-safe mkdir -p... /usr/bin/mkdir -p >checking for gawk... gawk >checking whether make sets $(MAKE)... yes >checking how to create a pax tar archive... gnutar >checking how to print strings... printf >checking for style of include used by make... GNU >checking for armv7hl-redhat-linux-gnu-gcc... no >checking for gcc... gcc >checking whether the C compiler works... yes >checking for C compiler default output file name... a.out >checking for suffix of executables... >checking whether we are cross compiling... no >checking for suffix of object files... o >checking whether we are using the GNU C compiler... yes >checking whether gcc accepts -g... yes >checking for gcc option to accept ISO C89... none needed >checking dependency style of gcc... none >checking for a sed that does not truncate output... /usr/bin/sed >checking for grep that handles long lines and -e... /usr/bin/grep >checking for egrep... /usr/bin/grep -E >checking for fgrep... /usr/bin/grep -F >checking for ld used by gcc... /usr/bin/ld >checking if the linker (/usr/bin/ld) is GNU ld... yes >checking for BSD- or MS-compatible name lister (nm)... /usr/bin/nm -B >checking the name lister (/usr/bin/nm -B) interface... BSD nm >checking whether ln -s works... yes >checking the maximum length of command line arguments... 1572864 >checking whether the shell understands some XSI constructs... yes >checking whether the shell understands "+="... yes >checking how to convert armv7hl-redhat-linux-gnu file names to armv7hl-redhat-linux-gnu format... func_convert_file_noop >checking how to convert armv7hl-redhat-linux-gnu file names to toolchain format... func_convert_file_noop >checking for /usr/bin/ld option to reload object files... -r >checking for armv7hl-redhat-linux-gnu-objdump... no >checking for objdump... objdump >checking how to recognize dependent libraries... pass_all >checking for armv7hl-redhat-linux-gnu-dlltool... no >checking for dlltool... no >checking how to associate runtime and link libraries... printf %s\n >checking for armv7hl-redhat-linux-gnu-ar... no >checking for ar... ar >checking for archiver @FILE support... @ >checking for armv7hl-redhat-linux-gnu-strip... no >checking for strip... strip >checking for armv7hl-redhat-linux-gnu-ranlib... no >checking for ranlib... ranlib >checking command to parse /usr/bin/nm -B output from gcc object... ok >checking for sysroot... no >checking for armv7hl-redhat-linux-gnu-mt... no >checking for mt... no >checking if : is a manifest tool... no >checking how to run the C preprocessor... gcc -E >checking for ANSI C header files... yes >checking for sys/types.h... yes >checking for sys/stat.h... yes >checking for stdlib.h... yes >checking for string.h... yes >checking for memory.h... yes >checking for strings.h... yes >checking for inttypes.h... yes >checking for stdint.h... yes >checking for unistd.h... yes >checking for dlfcn.h... yes >checking for objdir... .libs >checking if gcc supports -fno-rtti -fno-exceptions... no >checking for gcc option to produce PIC... -fPIC -DPIC >checking if gcc PIC flag -fPIC -DPIC works... yes >checking if gcc static flag -static works... no >checking if gcc supports -c -o file.o... yes >checking if gcc supports -c -o file.o... (cached) yes >checking whether the gcc linker (/usr/bin/ld) supports shared libraries... yes >checking whether -lc should be explicitly linked in... no >checking dynamic linker characteristics... GNU/Linux ld.so >checking how to hardcode library paths into programs... immediate >checking whether stripping libraries is possible... yes >checking if libtool supports shared libraries... yes >checking whether to build shared libraries... yes >checking whether to build static libraries... no >checking for armv7hl-redhat-linux-gnu-gcc... gcc >checking whether we are using the GNU C compiler... (cached) yes >checking whether gcc accepts -g... (cached) yes >checking for gcc option to accept ISO C89... (cached) none needed >checking dependency style of gcc... (cached) none >checking for armv7hl-redhat-linux-gnu-g++... no >checking for armv7hl-redhat-linux-gnu-c++... no >checking for armv7hl-redhat-linux-gnu-gpp... no >checking for armv7hl-redhat-linux-gnu-aCC... no >checking for armv7hl-redhat-linux-gnu-CC... no >checking for armv7hl-redhat-linux-gnu-cxx... no >checking for armv7hl-redhat-linux-gnu-cc++... no >checking for armv7hl-redhat-linux-gnu-cl.exe... no >checking for armv7hl-redhat-linux-gnu-FCC... no >checking for armv7hl-redhat-linux-gnu-KCC... no >checking for armv7hl-redhat-linux-gnu-RCC... no >checking for armv7hl-redhat-linux-gnu-xlC_r... no >checking for armv7hl-redhat-linux-gnu-xlC... no >checking for g++... g++ >checking whether we are using the GNU C++ compiler... yes >checking whether g++ accepts -g... yes >checking dependency style of g++... none >checking how to run the C++ preprocessor... g++ -E >checking for ld used by g++... /usr/bin/ld >checking if the linker (/usr/bin/ld) is GNU ld... yes >checking whether the g++ linker (/usr/bin/ld) supports shared libraries... yes >checking for g++ option to produce PIC... -fPIC -DPIC >checking if g++ PIC flag -fPIC -DPIC works... yes >checking if g++ static flag -static works... no >checking if g++ supports -c -o file.o... yes >checking if g++ supports -c -o file.o... (cached) yes >checking whether the g++ linker (/usr/bin/ld) supports shared libraries... yes >checking dynamic linker characteristics... (cached) GNU/Linux ld.so >checking how to hardcode library paths into programs... immediate >checking for __gmpz_init in -lgmp... yes >checking for __gmpz_init in -lgmpxx... yes >checking for appropriate build string... default-proof >checking what dir to configure... builds/armv7hl-redhat-linux-gnu/default-proof >./config/mkbuilddir armv7hl-redhat-linux-gnu default-proof >configure: Setting up builds/armv7hl-redhat-linux-gnu/default-proof... >configure: Creating builds/current... >configure: Linking builds/src... >configure: Linking builds/test... >cd builds/armv7hl-redhat-linux-gnu/default-proof >/bin/sh ../../../configure --build=armv7hl-redhat-linux-gnu --host=armv7hl-redhat-linux-gnu --program-prefix= --disable-dependency-tracking --prefix=/usr --exec-prefix=/usr --bindir=/usr/bin --sbindir=/usr/sbin --sysconfdir=/etc --datadir=/usr/share --includedir=/usr/include --libdir=/usr/lib --libexecdir=/usr/libexec --localstatedir=/var --sharedstatedir=/var/lib --mandir=/usr/share/man --infodir=/usr/share/info --enable-proof --enable-language-bindings=all --with-portfolio --with-google-perftools --with-glpk --without-compat CPPFLAGS=-I/usr/lib/jvm/java/include -I/usr/lib/jvm/java/include/linux -DFEDORA_GLPK_ITCNT -Dlpx_get_int_parm(x,y)=glp_get_it_cnt(x) LFSCARGS=/usr/share/lfsc/sat.plf >checking whether make supports nested variables... yes >checking whether to enable maintainer-specific portions of Makefiles... yes >checking build system type... armv7hl-redhat-linux-gnu >checking host system type... armv7hl-redhat-linux-gnu >checking target system type... armv7hl-redhat-linux-gnu >checking for requested build profile... default >checking for a BSD-compatible install... /usr/bin/install -c >checking whether build environment is sane... yes >checking for a thread-safe mkdir -p... /usr/bin/mkdir -p >checking for gawk... gawk >checking whether make sets $(MAKE)... yes >checking how to create a pax tar archive... gnutar >checking how to print strings... printf >checking for style of include used by make... GNU >checking for armv7hl-redhat-linux-gnu-gcc... no >checking for gcc... gcc >checking whether the C compiler works... yes >checking for C compiler default output file name... a.out >checking for suffix of executables... >checking whether we are cross compiling... no >checking for suffix of object files... o >checking whether we are using the GNU C compiler... yes >checking whether gcc accepts -g... yes >checking for gcc option to accept ISO C89... none needed >checking dependency style of gcc... none >checking for a sed that does not truncate output... /usr/bin/sed >checking for grep that handles long lines and -e... /usr/bin/grep >checking for egrep... /usr/bin/grep -E >checking for fgrep... /usr/bin/grep -F >checking for ld used by gcc... /usr/bin/ld >checking if the linker (/usr/bin/ld) is GNU ld... yes >checking for BSD- or MS-compatible name lister (nm)... /usr/bin/nm -B >checking the name lister (/usr/bin/nm -B) interface... BSD nm >checking whether ln -s works... yes >checking the maximum length of command line arguments... 1572864 >checking whether the shell understands some XSI constructs... yes >checking whether the shell understands "+="... yes >checking how to convert armv7hl-redhat-linux-gnu file names to armv7hl-redhat-linux-gnu format... func_convert_file_noop >checking how to convert armv7hl-redhat-linux-gnu file names to toolchain format... func_convert_file_noop >checking for /usr/bin/ld option to reload object files... -r >checking for armv7hl-redhat-linux-gnu-objdump... no >checking for objdump... objdump >checking how to recognize dependent libraries... pass_all >checking for armv7hl-redhat-linux-gnu-dlltool... no >checking for dlltool... no >checking how to associate runtime and link libraries... printf %s\n >checking for armv7hl-redhat-linux-gnu-ar... no >checking for ar... ar >checking for archiver @FILE support... @ >checking for armv7hl-redhat-linux-gnu-strip... no >checking for strip... strip >checking for armv7hl-redhat-linux-gnu-ranlib... no >checking for ranlib... ranlib >checking command to parse /usr/bin/nm -B output from gcc object... ok >checking for sysroot... no >checking for armv7hl-redhat-linux-gnu-mt... no >checking for mt... no >checking if : is a manifest tool... no >checking how to run the C preprocessor... gcc -E >checking for ANSI C header files... yes >checking for sys/types.h... yes >checking for sys/stat.h... yes >checking for stdlib.h... yes >checking for string.h... yes >checking for memory.h... yes >checking for strings.h... yes >checking for inttypes.h... yes >checking for stdint.h... yes >checking for unistd.h... yes >checking for dlfcn.h... yes >checking for objdir... .libs >checking if gcc supports -fno-rtti -fno-exceptions... no >checking for gcc option to produce PIC... -fPIC -DPIC >checking if gcc PIC flag -fPIC -DPIC works... yes >checking if gcc static flag -static works... no >checking if gcc supports -c -o file.o... yes >checking if gcc supports -c -o file.o... (cached) yes >checking whether the gcc linker (/usr/bin/ld) supports shared libraries... yes >checking whether -lc should be explicitly linked in... no >checking dynamic linker characteristics... GNU/Linux ld.so >checking how to hardcode library paths into programs... immediate >checking whether stripping libraries is possible... yes >checking if libtool supports shared libraries... yes >checking whether to build shared libraries... yes >checking whether to build static libraries... no >checking for armv7hl-redhat-linux-gnu-gcc... gcc >checking whether we are using the GNU C compiler... (cached) yes >checking whether gcc accepts -g... (cached) yes >checking for gcc option to accept ISO C89... (cached) none needed >checking dependency style of gcc... (cached) none >checking for armv7hl-redhat-linux-gnu-g++... no >checking for armv7hl-redhat-linux-gnu-c++... no >checking for armv7hl-redhat-linux-gnu-gpp... no >checking for armv7hl-redhat-linux-gnu-aCC... no >checking for armv7hl-redhat-linux-gnu-CC... no >checking for armv7hl-redhat-linux-gnu-cxx... no >checking for armv7hl-redhat-linux-gnu-cc++... no >checking for armv7hl-redhat-linux-gnu-cl.exe... no >checking for armv7hl-redhat-linux-gnu-FCC... no >checking for armv7hl-redhat-linux-gnu-KCC... no >checking for armv7hl-redhat-linux-gnu-RCC... no >checking for armv7hl-redhat-linux-gnu-xlC_r... no >checking for armv7hl-redhat-linux-gnu-xlC... no >checking for g++... g++ >checking whether we are using the GNU C++ compiler... yes >checking whether g++ accepts -g... yes >checking dependency style of g++... none >checking how to run the C++ preprocessor... g++ -E >checking for ld used by g++... /usr/bin/ld >checking if the linker (/usr/bin/ld) is GNU ld... yes >checking whether the g++ linker (/usr/bin/ld) supports shared libraries... yes >checking for g++ option to produce PIC... -fPIC -DPIC >checking if g++ PIC flag -fPIC -DPIC works... yes >checking if g++ static flag -static works... no >checking if g++ supports -c -o file.o... yes >checking if g++ supports -c -o file.o... (cached) yes >checking whether the g++ linker (/usr/bin/ld) supports shared libraries... yes >checking dynamic linker characteristics... (cached) GNU/Linux ld.so >checking how to hardcode library paths into programs... immediate >checking for __gmpz_init in -lgmp... yes >checking for __gmpz_init in -lgmpxx... yes >checking for appropriate build string... default-proof >checking what dir to configure... this one (in builds/) >checking whether to build a static binary... no >checking whether to support proofs in libcvc4... yes >checking whether to optimize libcvc4... yes >checking whether to include debugging symbols in libcvc4... yes >checking whether to include statistics are turned on in libcvc4... yes >checking whether the replay feature should be turned on in libcvc4... yes >checking whether to include assertions in build... yes >checking whether to do a traceable build of CVC4... yes >checking whether to do a dump-capable build of CVC4... yes >checking whether to do a muzzled build of CVC4... no >checking whether to do a gcov-enabled build of CVC4... no >checking whether to do a profiling-enabled build of CVC4... no >checking whether user requested glpk support... yes, glpk requested by user >checking glpk/glpk.h usability... no >checking glpk/glpk.h presence... no >checking for glpk/glpk.h... no >checking glpk.h usability... yes >checking glpk.h presence... yes >checking for glpk.h... yes >checking how to link glpk... -lglpk >checking whether __gnu_cxx::hash<uint64_t> is already specialized... no >checking for the relationship between long and int64_t... no relationship detected >checking for the pb_ds namespace... __gnu_pbds >checking whether pb_ds has bug 36612... bug is not present >checking for antlr3... /usr/bin/antlr3 >checking whether g++ supports -Werror... yes >checking whether gcc supports -Werror... yes >checking whether g++ supports -Wno-deprecated... yes >checking whether gcc supports -Wno-deprecated... yes >checking whether g++ supports -Wno-conversion-null... yes >checking whether g++ supports -Wno-tautological-compare... yes >checking whether g++ supports -Wno-parentheses... yes >checking whether g++ supports -Wno-uninitialized... yes >checking whether g++ supports -Wno-unused-variable... yes >checking whether g++ supports -fno-strict-aliasing... yes >checking for armv7hl-redhat-linux-gnu-doxygen... no >checking for doxygen... /usr/bin/doxygen >checking for armv7hl-redhat-linux-gnu-perl... no >checking for perl... /usr/bin/perl >checking for lfsc... lfsc >checking for cxxtestgen.pl... no >checking for cxxtestgen.py... no >checking for cxxtestgen... /usr/bin/cxxtestgen >checking for location of CxxTest headers... /usr/include >checking for perl... perl >checking for python... python >checking for library containing clock_gettime... none required >checking for strtok_r... yes >checking for ffs... yes >checking for ANTLR3 C runtime library... found in /usr/local >checking for presence of older antlr3AsciiFileStreamNew()... failed >checking for presence of newer antlr3FileStreamNew()... found it (must be antlr3 3.4 or similar) >checking for swig... swig >checking compatibility with version of swig... compatible version >checking for requested user language bindings... c c++ java >checking for availability of c binding... C support will be built >checking for availability of c++ binding... C++ is built by default >checking for availability of java binding... Java support will be built >checking jni.h usability... yes >checking jni.h presence... yes >checking for jni.h... yes >checking getopt.h usability... yes >checking getopt.h presence... yes >checking for getopt.h... yes >checking for unistd.h... (cached) yes >checking whether optreset is declared... no >checking whether strerror_r is declared... yes >checking for strerror_r... yes >checking whether strerror_r returns char *... no >checking for Boost headers version >= 0.0.0... yes >checking for Boost's header version... 1_55 >checking for the flags needed to use pthreads... -pthread >checking for the toolset name used by Boost for g++... configure: WARNING: could not figure out which toolset name to use for g++ >checking boost/system/error_code.hpp usability... yes >checking boost/system/error_code.hpp presence... yes >checking for boost/system/error_code.hpp... yes >checking for the Boost system library... yes >checking boost/thread.hpp usability... yes >checking boost/thread.hpp presence... yes >checking for boost/thread.hpp... yes >checking for the Boost thread library... yes >checking whether user requested readline support... no preference by user, will auto-detect >checking for readline in -lreadline... yes >checking readline/readline.h usability... yes >checking readline/readline.h presence... yes >checking for readline/readline.h... yes >checking for type of rl_completion_entry_function... char* (*)(const char*, int) >checking whether to build compatibility library (CVC3 API layer)... no, disabled by user >checking whether to use compiler-supported TLS if available... yes >checking for thread local storage (TLS) class... __thread >checking whether to link in google perftools libraries... yes >checking for MallocExtension_GetAllocatedSize in -ltcmalloc... yes >checking for ProfilerStart in -lprofiler... yes >checking for java... java >checking for javac... javac >checking for javah... javah >checking for jar... jar >configure: creating ./config.status >config.status: creating Makefile.builds >config.status: creating Makefile >config.status: creating contrib/Makefile >config.status: creating examples/Makefile >config.status: creating examples/api/Makefile >config.status: creating examples/api/java/Makefile >config.status: creating examples/hashsmt/Makefile >config.status: creating examples/nra-translate/Makefile >config.status: creating src/Makefile >config.status: creating src/bindings/Makefile >config.status: creating src/bindings/compat/Makefile >config.status: creating src/bindings/compat/c/Makefile >config.status: creating src/bindings/compat/java/Makefile >config.status: creating src/compat/Makefile >config.status: creating src/expr/Makefile >config.status: creating src/lib/Makefile >config.status: creating src/main/Makefile >config.status: creating src/options/Makefile >config.status: creating src/parser/Makefile >config.status: creating src/parser/cvc/Makefile >config.status: creating src/parser/smt1/Makefile >config.status: creating src/parser/smt2/Makefile >config.status: creating src/parser/tptp/Makefile >config.status: creating src/prop/bvminisat/Makefile >config.status: creating src/prop/minisat/Makefile >config.status: creating src/util/Makefile >config.status: creating test/Makefile >config.status: creating test/regress/Makefile >config.status: creating test/regress/regress0/Makefile >config.status: creating test/regress/regress0/arith/Makefile >config.status: creating test/regress/regress0/arith/integers/Makefile >config.status: creating test/regress/regress0/arrays/Makefile >config.status: creating test/regress/regress0/aufbv/Makefile >config.status: creating test/regress/regress0/auflia/Makefile >config.status: creating test/regress/regress0/bv/Makefile >config.status: creating test/regress/regress0/bv/core/Makefile >config.status: creating test/regress/regress0/datatypes/Makefile >config.status: creating test/regress/regress0/decision/Makefile >config.status: creating test/regress/regress0/fmf/Makefile >config.status: creating test/regress/regress0/lemmas/Makefile >config.status: creating test/regress/regress0/precedence/Makefile >config.status: creating test/regress/regress0/preprocess/Makefile >config.status: creating test/regress/regress0/push-pop/Makefile >config.status: creating test/regress/regress0/push-pop/arith/Makefile >config.status: creating test/regress/regress0/push-pop/boolean/Makefile >config.status: creating test/regress/regress0/quantifiers/Makefile >config.status: creating test/regress/regress0/rewriterules/Makefile >config.status: creating test/regress/regress0/strings/Makefile >config.status: creating test/regress/regress0/tptp/Makefile >config.status: creating test/regress/regress0/uf/Makefile >config.status: creating test/regress/regress0/uflia/Makefile >config.status: creating test/regress/regress0/uflra/Makefile >config.status: creating test/regress/regress0/unconstrained/Makefile >config.status: creating test/regress/regress1/Makefile >config.status: creating test/regress/regress1/arith/Makefile >config.status: creating test/regress/regress2/Makefile >config.status: creating test/regress/regress3/Makefile >config.status: creating test/system/Makefile >config.status: creating test/unit/Makefile >config.status: creating src/util/rational.h.tmp >config.status: creating src/util/integer.h.tmp >config.status: creating src/util/tls.h.tmp >config.status: creating doc/cvc4.1_template.tmp >config.status: creating doc/cvc4.5.tmp >config.status: creating doc/libcvc4.3_template.tmp >config.status: creating doc/SmtEngine.3cvc_template.tmp >config.status: creating doc/options.3cvc_template.tmp >config.status: creating doc/libcvc4parser.3.tmp >config.status: creating doc/libcvc4compat.3.tmp >config.status: creating cvc4autoconfig.h >config.status: executing depfiles commands >config.status: executing libtool commands >CVC4 1.3 >Build profile: default >Build ID : default-proof >Optimized : yes, at level 2 >Debug symbols: yes >Proof : yes >Statistics : yes >Replay : yes >Assertions : yes >Tracing : yes >Dumping : yes >Muzzle : no >Unit tests : unit testing infrastructure enabled in build directory >Proof tests : yes, proof regression tests enabled >gcov support : no >gprof support: no >Readline : yes >Static libs : no >Shared libs : yes >Static binary: no >Compat lib : no >Bindings : c c++ java >Multithreaded: with boost threading library >TLS support : __thread >Portfolio : yes >MP library : gmp (LGPL) >GLPK : yes >CPPFLAGS : -I/usr/lib/jvm/java/include -I/usr/lib/jvm/java/include/linux -DFEDORA_GLPK_ITCNT -Dlpx_get_int_parm(x,y)=glp_get_it_cnt(x) -pthread -DCVC4_PROOF -DCVC4_STATISTICS_ON -DCVC4_REPLAY -DCVC4_ASSERTIONS -DCVC4_TRACING -DCVC4_DUMPING -DCVC4_USE_GLPK -DCVC4_NEED_HASH_UINT64_T -DCVC4_PORTFOLIO >CXXFLAGS : -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -fexceptions -fstack-protector-strong --param=ssp-buffer-size=4 -grecord-gcc-switches -march=armv7-a -mfpu=vfpv3-d16 -mfloat-abi=hard -O2 -Wno-deprecated >CFLAGS : -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -fexceptions -fstack-protector-strong --param=ssp-buffer-size=4 -grecord-gcc-switches -march=armv7-a -mfpu=vfpv3-d16 -mfloat-abi=hard -O2 -Wno-deprecated -fexceptions >LIBS : -lprofiler -ltcmalloc -lgmpxx -lgmp >LDFLAGS : -Wl,-z,relro >libcvc4 version : 2:0:0 >libcvc4parser version : 2:0:0 >libcvc4compat version : N/A >libcvc4bindings version: 2:0:0 >Install into : /usr >Now just type make, followed by make check or make install, as you like. >+ sed -i 's/CC=.g../& -Wl,--as-needed/' builds/armv7hl-redhat-linux-gnu/default-proof/libtool >+ find builds -name Makefile >+ xargs sed -i 's/-Dlpx.*glp_get_it_cnt(x)/"&"/' >+ make -j4 >cd builds >make all >make[1]: Entering directory `/builddir/build/BUILD/cvc4-1.3/builds' >make[2]: Entering directory `/builddir/build/BUILD/cvc4-1.3/builds/armv7hl-redhat-linux-gnu/default-proof' >make all-recursive >make[3]: Entering directory `/builddir/build/BUILD/cvc4-1.3/builds/armv7hl-redhat-linux-gnu/default-proof' >Making all in src >make[4]: Entering directory `/builddir/build/BUILD/cvc4-1.3/builds/armv7hl-redhat-linux-gnu/default-proof/src' > GEN ../src/theory/.subdirs > GEN theory/theory_traits.h > GEN theory/rewriter_tables.h > GEN theory/type_enumerator.cpp >make all-recursive >make[5]: Entering directory `/builddir/build/BUILD/cvc4-1.3/builds/armv7hl-redhat-linux-gnu/default-proof/src' >Making all in lib >make[6]: Entering directory `/builddir/build/BUILD/cvc4-1.3/builds/armv7hl-redhat-linux-gnu/default-proof/src/lib' >make[6]: Nothing to be done for `all'. >make[6]: Leaving directory `/builddir/build/BUILD/cvc4-1.3/builds/armv7hl-redhat-linux-gnu/default-proof/src/lib' >Making all in options >make[6]: Entering directory `/builddir/build/BUILD/cvc4-1.3/builds/armv7hl-redhat-linux-gnu/default-proof/src/options' > GEN Trace_tags.tmp >make[7]: Entering directory `/builddir/build/BUILD/cvc4-1.3/builds/armv7hl-redhat-linux-gnu/default-proof/src/expr' > GEN kind.h > GEN metakind.h > GEN type_properties.h > GEN Trace_tags > GEN expr.h > GEN expr.cpp > GEN Trace_tags.h > GEN expr_manager.h > GEN expr_manager.cpp > GEN type_checker.cpp >make[7]: Leaving directory `/builddir/build/BUILD/cvc4-1.3/builds/armv7hl-redhat-linux-gnu/default-proof/src/expr' >make all-am >make[7]: Entering directory `/builddir/build/BUILD/cvc4-1.3/builds/armv7hl-redhat-linux-gnu/default-proof/src/options' > CXX options.lo > CXX base_options.lo > CXX ../expr/options.lo > CXX ../theory/booleans/options.lo > CXX ../theory/options.lo > CXX ../theory/bv/options.lo > CXX ../theory/datatypes/options.lo > CXX ../theory/builtin/options.lo > CXX ../theory/arith/options.lo > CXX ../theory/uf/options.lo > CXX ../theory/arrays/options.lo > CXX ../theory/quantifiers/options.lo > CXX ../theory/rewriterules/options.lo > CXX ../theory/strings/options.lo > CXX ../prop/options.lo > CXX ../proof/options.lo > CXX ../printer/options.lo > CXX ../smt/options.lo > CXX ../decision/options.lo > CXX ../main/options.lo > CXX ../parser/options.lo > CXX ../theory/idl/options.lo >../../../src/options/options_template.cpp: In member function 'CVC4::SExpr CVC4::Options::getOptions() const': >../../../src/options/options_template.cpp:592:7: note: variable tracking size limit exceeded with -fvar-tracking-assignments, retrying without > CXXLD liboptions.la >copying selected object files to avoid basename conflicts... >make[7]: Leaving directory `/builddir/build/BUILD/cvc4-1.3/builds/armv7hl-redhat-linux-gnu/default-proof/src/options' >make[6]: Leaving directory `/builddir/build/BUILD/cvc4-1.3/builds/armv7hl-redhat-linux-gnu/default-proof/src/options' >Making all in expr >make[6]: Entering directory `/builddir/build/BUILD/cvc4-1.3/builds/armv7hl-redhat-linux-gnu/default-proof/src/expr' >make all-am >make[7]: Entering directory `/builddir/build/BUILD/cvc4-1.3/builds/armv7hl-redhat-linux-gnu/default-proof/src/expr' > CXX node.lo > CXX type.lo > CXX type_node.lo > CXX node_value.lo > CXX node_manager.lo > CXX attribute.lo > CXX command.lo > CXX symbol_table.lo > CXX pickle_data.lo > CXX pickler.lo >In file included from /builddir/build/BUILD/cvc4-1.3/builds/armv7hl-redhat-linux-gnu/default-proof/../../../src/expr/pickle_data.cpp:25:0: >/builddir/build/BUILD/cvc4-1.3/builds/armv7hl-redhat-linux-gnu/default-proof/../../../src/expr/../expr/pickle_data.h:63:49: warning: width of 'CVC4::expr::pickle::BlockHeaderConstant::d_constblocks' exceeds its type > unsigned long d_constblocks : NBITS_BLOCK - NBITS_KIND; > ^ >/builddir/build/BUILD/cvc4-1.3/builds/armv7hl-redhat-linux-gnu/default-proof/../../../src/expr/../expr/pickle_data.h:68:44: warning: width of 'CVC4::expr::pickle::BlockHeaderVariable::<anonymous>' exceeds its type > unsigned long : NBITS_BLOCK - NBITS_KIND; > ^ >/builddir/build/BUILD/cvc4-1.3/builds/armv7hl-redhat-linux-gnu/default-proof/../../../src/expr/../expr/pickle_data.h:72:35: warning: width of 'CVC4::expr::pickle::BlockBody::d_data' exceeds its type > unsigned long d_data : NBITS_BLOCK; > ^ > CXX expr.lo >In file included from /builddir/build/BUILD/cvc4-1.3/builds/armv7hl-redhat-linux-gnu/default-proof/../../../src/expr/pickler.cpp:24:0: >/builddir/build/BUILD/cvc4-1.3/builds/armv7hl-redhat-linux-gnu/default-proof/../../../src/expr/../expr/pickle_data.h:63:49: warning: width of 'CVC4::expr::pickle::BlockHeaderConstant::d_constblocks' exceeds its type > unsigned long d_constblocks : NBITS_BLOCK - NBITS_KIND; > ^ >/builddir/build/BUILD/cvc4-1.3/builds/armv7hl-redhat-linux-gnu/default-proof/../../../src/expr/../expr/pickle_data.h:68:44: warning: width of 'CVC4::expr::pickle::BlockHeaderVariable::<anonymous>' exceeds its type > unsigned long : NBITS_BLOCK - NBITS_KIND; > ^ >/builddir/build/BUILD/cvc4-1.3/builds/armv7hl-redhat-linux-gnu/default-proof/../../../src/expr/../expr/pickle_data.h:72:35: warning: width of 'CVC4::expr::pickle::BlockBody::d_data' exceeds its type > unsigned long d_data : NBITS_BLOCK; > ^ > CXX expr_manager.lo > CXX type_checker.lo > CXXLD libexpr.la >make[7]: Leaving directory `/builddir/build/BUILD/cvc4-1.3/builds/armv7hl-redhat-linux-gnu/default-proof/src/expr' >make[6]: Leaving directory `/builddir/build/BUILD/cvc4-1.3/builds/armv7hl-redhat-linux-gnu/default-proof/src/expr' >Making all in util >make[6]: Entering directory `/builddir/build/BUILD/cvc4-1.3/builds/armv7hl-redhat-linux-gnu/default-proof/src/util' >make all-am >make[7]: Entering directory `/builddir/build/BUILD/cvc4-1.3/builds/armv7hl-redhat-linux-gnu/default-proof/src/util' > CXX cvc4_assert.lo > CXX exception.lo > CXX output.lo > CXX result.lo > CXX configuration.lo > CXX datatype.lo > CXX record.lo > CXX divisible.lo > CXX sexpr.lo > CXX statistics.lo > CXX statistics_registry.lo > CXX language.lo > CXX dump.lo > CXX predicate.lo > CXX cardinality.lo > CXX trans_closure.lo > CXX boolean_simplification.lo > CXX ite_removal.lo > CXX nary_builder.lo > CXX uninterpreted_constant.lo > CXX abstract_value.lo > CXX array_store_all.lo > CXX model.lo > CXX sort_inference.lo > CXX rational_gmp_imp.lo > CXX libstatistics_la-statistics_registry.lo > CXXLD libstatistics.la > CXXLD libutil.la >make[7]: Leaving directory `/builddir/build/BUILD/cvc4-1.3/builds/armv7hl-redhat-linux-gnu/default-proof/src/util' >make[6]: Leaving directory `/builddir/build/BUILD/cvc4-1.3/builds/armv7hl-redhat-linux-gnu/default-proof/src/util' >Making all in prop/minisat >make[6]: Entering directory `/builddir/build/BUILD/cvc4-1.3/builds/armv7hl-redhat-linux-gnu/default-proof/src/prop/minisat' > CXX minisat.lo > CXX core/Solver.lo > CXX simp/SimpSolver.lo > CXXLD libminisat.la >make[6]: Leaving directory `/builddir/build/BUILD/cvc4-1.3/builds/armv7hl-redhat-linux-gnu/default-proof/src/prop/minisat' >Making all in prop/bvminisat >make[6]: Entering directory `/builddir/build/BUILD/cvc4-1.3/builds/armv7hl-redhat-linux-gnu/default-proof/src/prop/bvminisat' > CXX bvminisat.lo > CXX core/Solver.lo > CXX simp/SimpSolver.lo > CXXLD libbvminisat.la >make[6]: Leaving directory `/builddir/build/BUILD/cvc4-1.3/builds/armv7hl-redhat-linux-gnu/default-proof/src/prop/bvminisat' >Making all in . >make[6]: Entering directory `/builddir/build/BUILD/cvc4-1.3/builds/armv7hl-redhat-linux-gnu/default-proof/src' > GEN gitinfo.tmp > GEN svninfo.tmp > CXX decision/decision_mode.lo > CXX decision/decision_engine.lo > CXX decision/justification_heuristic.lo > CXX printer/printer.lo > CXX printer/dagification_visitor.lo > CXX printer/model_format_mode.lo > CXX proof/sat_proof.lo > CXX proof/cnf_proof.lo > CXX proof/theory_proof.lo > CXX proof/proof_manager.lo > CXX prop/prop_engine.lo > CXX prop/theory_proxy.lo > CXX prop/cnf_stream.lo > CXX prop/sat_solver_factory.lo > CXX prop/sat_solver_registry.lo > CXX smt/smt_engine.lo > CXX smt/model_postprocessor.lo > CXX smt/smt_engine_scope.lo > CXX smt/command_list.lo > CXX smt/boolean_terms.lo > CXX smt/simplification_mode.lo > CXX theory/logic_info.lo >In file included from /builddir/build/BUILD/cvc4-1.3/builds/armv7hl-redhat-linux-gnu/default-proof/../../../src/util/exception.h:133:0, > from ./expr/kind.h:55, > from ./expr/metakind.h:37, > from /builddir/build/BUILD/cvc4-1.3/builds/armv7hl-redhat-linux-gnu/default-proof/../../../src/expr/node_value.h:24, > from /builddir/build/BUILD/cvc4-1.3/builds/armv7hl-redhat-linux-gnu/default-proof/../../../src/expr/node.h:20, > from /builddir/build/BUILD/cvc4-1.3/builds/armv7hl-redhat-linux-gnu/default-proof/../../../src/expr/attribute.h:21, > from /builddir/build/BUILD/cvc4-1.3/builds/armv7hl-redhat-linux-gnu/default-proof/../../../src/smt/boolean_terms.h:22, > from /builddir/build/BUILD/cvc4-1.3/builds/armv7hl-redhat-linux-gnu/default-proof/../../../src/smt/boolean_terms.cpp:18: >/builddir/build/BUILD/cvc4-1.3/builds/armv7hl-redhat-linux-gnu/default-proof/../../../src/expr/node_builder.h: In instantiation of 'void CVC4::NodeBuilder<N>::internalCopy(const CVC4::NodeBuilder<N>&) [with unsigned int N = 10u; unsigned int nchild_thresh = 10u]': >/builddir/build/BUILD/cvc4-1.3/builds/armv7hl-redhat-linux-gnu/default-proof/../../../src/expr/node_builder.h:443:20: required from 'CVC4::NodeBuilder<N>::NodeBuilder(const CVC4::NodeBuilder<N>&) [with unsigned int nchild_thresh = 10u]' >/usr/include/c++/4.9.0/ext/new_allocator.h:130:9: required from 'void __gnu_cxx::new_allocator<_Tp>::construct(__gnu_cxx::new_allocator<_Tp>::pointer, const _Tp&) [with _Tp = CVC4::NodeBuilder<>; __gnu_cxx::new_allocator<_Tp>::pointer = CVC4::NodeBuilder<>*]' >/usr/include/c++/4.9.0/bits/stl_deque.h:1403:6: required from 'void std::deque<_Tp, _Alloc>::push_back(const value_type&) [with _Tp = CVC4::NodeBuilder<>; _Alloc = std::allocator<CVC4::NodeBuilder<> >; std::deque<_Tp, _Alloc>::value_type = CVC4::NodeBuilder<>]' >/usr/include/c++/4.9.0/bits/stl_stack.h:187:9: required from 'void std::stack<_Tp, _Sequence>::push(const value_type&) [with _Tp = CVC4::NodeBuilder<>; _Sequence = std::deque<CVC4::NodeBuilder<>, std::allocator<CVC4::NodeBuilder<> > >; std::stack<_Tp, _Sequence>::value_type = CVC4::NodeBuilder<>]' >/builddir/build/BUILD/cvc4-1.3/builds/armv7hl-redhat-linux-gnu/default-proof/../../../src/smt/boolean_terms.cpp:378:41: required from here >/builddir/build/BUILD/cvc4-1.3/builds/armv7hl-redhat-linux-gnu/default-proof/../../../src/expr/node_builder.h:1312:50: warning: comparison between signed and unsigned integer expressions [-Wsign-compare] > Assert(nb.d_nv->nv_end() - nb.d_nv->nv_begin() <= d_nvMaxChildren, "realloced:%s, d_nvMax:%u, size:%u, nc:%u", realloced ? "true" : "false", d_nvMaxChildren, nb.d_nv->nv_end() - nb.d_nv->nv_begin(), nb.d_nv->getNumChildren()); > ^ >/builddir/build/BUILD/cvc4-1.3/builds/armv7hl-redhat-linux-gnu/default-proof/../../../src/util/cvc4_assert.h:268:34: note: in definition of macro 'AlwaysAssert' > if(__builtin_expect( ( ! (cond) ), false )) { \ > ^ >/builddir/build/BUILD/cvc4-1.3/builds/armv7hl-redhat-linux-gnu/default-proof/../../../src/expr/node_builder.h:1312:3: note: in expansion of macro 'Assert' > Assert(nb.d_nv->nv_end() - nb.d_nv->nv_begin() <= d_nvMaxChildren, "realloced:%s, d_nvMax:%u, size:%u, nc:%u", realloced ? "true" : "false", d_nvMaxChildren, nb.d_nv->nv_end() - nb.d_nv->nv_begin(), nb.d_nv->getNumChildren()); > ^ > CXX theory/theory_engine.lo > CXX theory/theory.lo > CXX theory/rewriter.lo >In file included from /builddir/build/BUILD/cvc4-1.3/builds/armv7hl-redhat-linux-gnu/default-proof/../../../src/util/exception.h:133:0, > from ./expr/kind.h:55, > from ./expr/metakind.h:37, > from /builddir/build/BUILD/cvc4-1.3/builds/armv7hl-redhat-linux-gnu/default-proof/../../../src/expr/node_value.h:24, > from /builddir/build/BUILD/cvc4-1.3/builds/armv7hl-redhat-linux-gnu/default-proof/../../../src/expr/node.h:20, > from /builddir/build/BUILD/cvc4-1.3/builds/armv7hl-redhat-linux-gnu/default-proof/../../../src/theory/theory.h:22, > from /builddir/build/BUILD/cvc4-1.3/builds/armv7hl-redhat-linux-gnu/default-proof/../../../src/theory/rewriter.cpp:18: >/builddir/build/BUILD/cvc4-1.3/builds/armv7hl-redhat-linux-gnu/default-proof/../../../src/expr/node_builder.h: In instantiation of 'void CVC4::NodeBuilder<N>::internalCopy(const CVC4::NodeBuilder<N>&) [with unsigned int N = 10u; unsigned int nchild_thresh = 10u]': >/builddir/build/BUILD/cvc4-1.3/builds/armv7hl-redhat-linux-gnu/default-proof/../../../src/expr/node_builder.h:443:20: required from 'CVC4::NodeBuilder<N>::NodeBuilder(const CVC4::NodeBuilder<N>&) [with unsigned int nchild_thresh = 10u]' >/builddir/build/BUILD/cvc4-1.3/builds/armv7hl-redhat-linux-gnu/default-proof/../../../src/theory/rewriter.cpp:52:8: required from 'void std::vector<_Tp, _Alloc>::_M_insert_aux(std::vector<_Tp, _Alloc>::iterator, const _Tp&) [with _Tp = CVC4::theory::RewriteStackElement; _Alloc = std::allocator<CVC4::theory::RewriteStackElement>; std::vector<_Tp, _Alloc>::iterator = __gnu_cxx::__normal_iterator<CVC4::theory::RewriteStackElement*, std::vector<CVC4::theory::RewriteStackElement> >; typename std::_Vector_base<_Tp, _Alloc>::pointer = CVC4::theory::RewriteStackElement*]' >/usr/include/c++/4.9.0/bits/stl_vector.h:925:28: required from 'void std::vector<_Tp, _Alloc>::push_back(const value_type&) [with _Tp = CVC4::theory::RewriteStackElement; _Alloc = std::allocator<CVC4::theory::RewriteStackElement>; std::vector<_Tp, _Alloc>::value_type = CVC4::theory::RewriteStackElement]' >/builddir/build/BUILD/cvc4-1.3/builds/armv7hl-redhat-linux-gnu/default-proof/../../../src/theory/rewriter.cpp:103:61: required from here >/builddir/build/BUILD/cvc4-1.3/builds/armv7hl-redhat-linux-gnu/default-proof/../../../src/expr/node_builder.h:1312:50: warning: comparison between signed and unsigned integer expressions [-Wsign-compare] > Assert(nb.d_nv->nv_end() - nb.d_nv->nv_begin() <= d_nvMaxChildren, "realloced:%s, d_nvMax:%u, size:%u, nc:%u", realloced ? "true" : "false", d_nvMaxChildren, nb.d_nv->nv_end() - nb.d_nv->nv_begin(), nb.d_nv->getNumChildren()); > ^ >/builddir/build/BUILD/cvc4-1.3/builds/armv7hl-redhat-linux-gnu/default-proof/../../../src/util/cvc4_assert.h:268:34: note: in definition of macro 'AlwaysAssert' > if(__builtin_expect( ( ! (cond) ), false )) { \ > ^ >/builddir/build/BUILD/cvc4-1.3/builds/armv7hl-redhat-linux-gnu/default-proof/../../../src/expr/node_builder.h:1312:3: note: in expansion of macro 'Assert' > Assert(nb.d_nv->nv_end() - nb.d_nv->nv_begin() <= d_nvMaxChildren, "realloced:%s, d_nvMax:%u, size:%u, nc:%u", realloced ? "true" : "false", d_nvMaxChildren, nb.d_nv->nv_end() - nb.d_nv->nv_begin(), nb.d_nv->getNumChildren()); > ^ > CXX theory/substitutions.lo > CXX theory/valuation.lo > CXX theory/shared_terms_database.lo > CXX theory/term_registration_visitor.lo > CXX theory/ite_utilities.lo > CXX theory/unconstrained_simplifier.lo > CXX theory/quantifiers_engine.lo > CXX theory/theory_model.lo > CXX theory/rep_set.lo > CXX theory/atom_requests.lo > CXX theory/uf/theory_uf.lo > CXX theory/uf/equality_engine.lo > CXX theory/uf/symmetry_breaker.lo > CXX theory/uf/theory_uf_strong_solver.lo >/builddir/build/BUILD/cvc4-1.3/builds/armv7hl-redhat-linux-gnu/default-proof/../../../src/theory/uf/theory_uf_strong_solver.cpp: In member function 'bool CVC4::theory::uf::StrongSolverTheoryUF::SortModel::Region::getMustCombine(int)': >/builddir/build/BUILD/cvc4-1.3/builds/armv7hl-redhat-linux-gnu/default-proof/../../../src/theory/uf/theory_uf_strong_solver.cpp:202:55: warning: comparison between signed and unsigned integer expressions [-Wsign-compare] > if( options::ufssRegions() && d_total_diseq_external>=long(cardinality) ){ > ^ >/builddir/build/BUILD/cvc4-1.3/builds/armv7hl-redhat-linux-gnu/default-proof/../../../src/theory/uf/theory_uf_strong_solver.cpp: In member function 'bool CVC4::theory::uf::StrongSolverTheoryUF::SortModel::Region::check(CVC4::theory::Theory::Effort, int, std::vector<CVC4::NodeTemplate<true> >&)': >/builddir/build/BUILD/cvc4-1.3/builds/armv7hl-redhat-linux-gnu/default-proof/../../../src/theory/uf/theory_uf_strong_solver.cpp:241:18: warning: comparison between signed and unsigned integer expressions [-Wsign-compare] > if( d_reps_size>long(cardinality) ){ > ^ >/builddir/build/BUILD/cvc4-1.3/builds/armv7hl-redhat-linux-gnu/default-proof/../../../src/theory/uf/theory_uf_strong_solver.cpp:257:27: warning: comparison between signed and unsigned integer expressions [-Wsign-compare] > if( d_testCliqueSize<=long(cardinality) ){ > ^ >/builddir/build/BUILD/cvc4-1.3/builds/armv7hl-redhat-linux-gnu/default-proof/../../../src/theory/uf/theory_uf_strong_solver.cpp:259:29: warning: comparison between signed and unsigned integer expressions [-Wsign-compare] > if( d_testCliqueSize<long(cardinality) ){ > ^ >/builddir/build/BUILD/cvc4-1.3/builds/armv7hl-redhat-linux-gnu/default-proof/../../../src/theory/uf/theory_uf_strong_solver.cpp:315:27: warning: comparison between signed and unsigned integer expressions [-Wsign-compare] > if( d_testCliqueSize>=long(cardinality+1) && d_splitsSize==0 ){ > ^ >/builddir/build/BUILD/cvc4-1.3/builds/armv7hl-redhat-linux-gnu/default-proof/../../../src/theory/uf/theory_uf_strong_solver.cpp: In member function 'bool CVC4::theory::uf::StrongSolverTheoryUF::SortModel::Region::getCandidateClique(int, std::vector<CVC4::NodeTemplate<true> >&)': >/builddir/build/BUILD/cvc4-1.3/builds/armv7hl-redhat-linux-gnu/default-proof/../../../src/theory/uf/theory_uf_strong_solver.cpp:330:23: warning: comparison between signed and unsigned integer expressions [-Wsign-compare] > if( d_testCliqueSize>=long(cardinality+1) ){ > ^ > CXX theory/uf/theory_uf_model.lo > CXX theory/bv/bitblaster.lo > CXX theory/bv/bv_to_bool.lo > CXX theory/bv/bv_subtheory_core.lo > CXX theory/bv/bv_subtheory_bitblast.lo > CXX theory/bv/bv_subtheory_inequality.lo > CXX theory/bv/bv_inequality_graph.lo > CXX theory/bv/bitblast_strategies.lo > CXX theory/bv/slicer.lo > CXX theory/bv/theory_bv.lo > CXX theory/bv/theory_bv_rewriter.lo > CXX theory/idl/idl_model.lo > CXX theory/idl/idl_assertion.lo > CXX theory/idl/idl_assertion_db.lo > CXX theory/idl/theory_idl.lo > CXX theory/builtin/theory_builtin_rewriter.lo > CXX theory/builtin/theory_builtin.lo > CXX theory/datatypes/theory_datatypes.lo > CXX theory/strings/theory_strings.lo > CXX theory/strings/theory_strings_rewriter.lo > CXX theory/strings/theory_strings_preprocess.lo > CXX theory/strings/regexp_operation.lo > CXX theory/arrays/theory_arrays_rewriter.lo > CXX theory/arrays/theory_arrays.lo > CXX theory/arrays/union_find.lo > CXX theory/arrays/array_info.lo > CXX theory/arrays/static_fact_manager.lo > CXX theory/quantifiers/quantifiers_rewriter.lo > CXX theory/quantifiers/theory_quantifiers.lo > CXX theory/quantifiers/instantiation_engine.lo > CXX theory/quantifiers/trigger.lo > CXX theory/quantifiers/candidate_generator.lo > CXX theory/quantifiers/inst_match.lo > CXX theory/quantifiers/model_engine.lo > CXX theory/quantifiers/modes.lo > CXX theory/quantifiers/term_database.lo > CXX theory/quantifiers/first_order_model.lo > CXX theory/quantifiers/model_builder.lo > CXX theory/quantifiers/quantifiers_attributes.lo > CXX theory/quantifiers/inst_gen.lo > CXX theory/quantifiers/quant_util.lo > CXX theory/quantifiers/inst_match_generator.lo > CXX theory/quantifiers/macros.lo > CXX theory/quantifiers/inst_strategy_e_matching.lo > CXX theory/quantifiers/inst_strategy_cbqi.lo > CXX theory/quantifiers/full_model_check.lo > CXX theory/quantifiers/bounded_integers.lo > CXX theory/quantifiers/first_order_reasoning.lo > CXX theory/quantifiers/rewrite_engine.lo > CXX theory/quantifiers/relevant_domain.lo > CXX theory/quantifiers/symmetry_breaking.lo > CXX theory/rewriterules/theory_rewriterules_rules.lo > CXX theory/rewriterules/theory_rewriterules.lo > CXX theory/rewriterules/rr_inst_match.lo > CXX theory/rewriterules/rr_trigger.lo > CXX theory/rewriterules/rr_candidate_generator.lo > CXX theory/rewriterules/efficient_e_matching.lo > CXX theory/arith/arithvar.lo > CXX theory/arith/arith_rewriter.lo > CXX theory/arith/arith_static_learner.lo > CXX theory/arith/constraint.lo >In file included from /builddir/build/BUILD/cvc4-1.3/builds/armv7hl-redhat-linux-gnu/default-proof/../../../src/util/exception.h:133:0, > from ./expr/kind.h:55, > from ./expr/metakind.h:37, > from /builddir/build/BUILD/cvc4-1.3/builds/armv7hl-redhat-linux-gnu/default-proof/../../../src/expr/node_value.h:24, > from /builddir/build/BUILD/cvc4-1.3/builds/armv7hl-redhat-linux-gnu/default-proof/../../../src/expr/node.h:20, > from /builddir/build/BUILD/cvc4-1.3/builds/armv7hl-redhat-linux-gnu/default-proof/../../../src/theory/rewriter.h:21, > from /builddir/build/BUILD/cvc4-1.3/builds/armv7hl-redhat-linux-gnu/default-proof/../../../src/theory/arith/arith_static_learner.cpp:18: >/builddir/build/BUILD/cvc4-1.3/builds/armv7hl-redhat-linux-gnu/default-proof/../../../src/expr/node_builder.h: In instantiation of 'void CVC4::NodeBuilder<N>::internalCopy(const CVC4::NodeBuilder<N>&) [with unsigned int N = 10u; unsigned int nchild_thresh = 10u]': >/builddir/build/BUILD/cvc4-1.3/builds/armv7hl-redhat-linux-gnu/default-proof/../../../src/expr/node_builder.h:443:20: required from 'CVC4::NodeBuilder<N>::NodeBuilder(const CVC4::NodeBuilder<N>&) [with unsigned int nchild_thresh = 10u]' >/builddir/build/BUILD/cvc4-1.3/builds/armv7hl-redhat-linux-gnu/default-proof/../../../src/expr/convenience_node_builders.h:42:59: required from here >/builddir/build/BUILD/cvc4-1.3/builds/armv7hl-redhat-linux-gnu/default-proof/../../../src/expr/node_builder.h:1312:50: warning: comparison between signed and unsigned integer expressions [-Wsign-compare] > Assert(nb.d_nv->nv_end() - nb.d_nv->nv_begin() <= d_nvMaxChildren, "realloced:%s, d_nvMax:%u, size:%u, nc:%u", realloced ? "true" : "false", d_nvMaxChildren, nb.d_nv->nv_end() - nb.d_nv->nv_begin(), nb.d_nv->getNumChildren()); > ^ >/builddir/build/BUILD/cvc4-1.3/builds/armv7hl-redhat-linux-gnu/default-proof/../../../src/util/cvc4_assert.h:268:34: note: in definition of macro 'AlwaysAssert' > if(__builtin_expect( ( ! (cond) ), false )) { \ > ^ >/builddir/build/BUILD/cvc4-1.3/builds/armv7hl-redhat-linux-gnu/default-proof/../../../src/expr/node_builder.h:1312:3: note: in expansion of macro 'Assert' > Assert(nb.d_nv->nv_end() - nb.d_nv->nv_begin() <= d_nvMaxChildren, "realloced:%s, d_nvMax:%u, size:%u, nc:%u", realloced ? "true" : "false", d_nvMaxChildren, nb.d_nv->nv_end() - nb.d_nv->nv_begin(), nb.d_nv->getNumChildren()); > ^ > CXX theory/arith/congruence_manager.lo > CXX theory/arith/normal_form.lo > CXX theory/arith/delta_rational.lo > CXX theory/arith/partial_model.lo > CXX theory/arith/linear_equality.lo > CXX theory/arith/simplex_update.lo > CXX theory/arith/callbacks.lo > CXX theory/arith/matrix.lo > CXX theory/arith/tableau.lo > CXX theory/arith/tableau_sizes.lo > CXX theory/arith/error_set.lo > CXX theory/arith/simplex.lo > CXX theory/arith/dual_simplex.lo > CXX theory/arith/fc_simplex.lo > CXX theory/arith/soi_simplex.lo > CXX theory/arith/approx_simplex.lo > CXX theory/arith/attempt_solution_simplex.lo > CXX theory/arith/theory_arith.lo > CXX theory/arith/theory_arith_private.lo > CXX theory/arith/dio_solver.lo > CXX theory/arith/arith_heuristic_pivot_rule.lo > CXX theory/arith/arith_unate_lemma_mode.lo > CXX theory/arith/arith_propagation_mode.lo > CXX theory/booleans/theory_bool.lo > CXX theory/booleans/theory_bool_rewriter.lo > CXX theory/booleans/circuit_propagator.lo > CXX theory/booleans/boolean_term_conversion_mode.lo > CXX smt/smt_options.lo > CXX theory/type_enumerator.lo > GEN gitinfo > GEN svninfo > CXX context/context.lo > CXX context/context_mm.lo > CXX printer/ast/ast_printer.lo > CXX printer/smt1/smt1_printer.lo > CXX printer/smt2/smt2_printer.lo > CXX printer/cvc/cvc_printer.lo > CXX printer/tptp/tptp_printer.lo > GEN git_versioninfo.cpp > GEN svn_versioninfo.cpp > CXX git_versioninfo.lo > CXX svn_versioninfo.lo > CXXLD libcvc4.la >make[6]: Leaving directory `/builddir/build/BUILD/cvc4-1.3/builds/armv7hl-redhat-linux-gnu/default-proof/src' >Making all in parser >make[6]: Entering directory `/builddir/build/BUILD/cvc4-1.3/builds/armv7hl-redhat-linux-gnu/default-proof/src/parser' >Making all in smt1 >make[7]: Entering directory `/builddir/build/BUILD/cvc4-1.3/builds/armv7hl-redhat-linux-gnu/default-proof/src/parser/smt1' >make all-am >make[8]: Entering directory `/builddir/build/BUILD/cvc4-1.3/builds/armv7hl-redhat-linux-gnu/default-proof/src/parser/smt1' > CXX smt1.lo > CXX smt1_input.lo > CC generated/Smt1Lexer.lo > CC generated/Smt1Parser.lo > CXXLD libparsersmt1.la >make[8]: Leaving directory `/builddir/build/BUILD/cvc4-1.3/builds/armv7hl-redhat-linux-gnu/default-proof/src/parser/smt1' >make[7]: Leaving directory `/builddir/build/BUILD/cvc4-1.3/builds/armv7hl-redhat-linux-gnu/default-proof/src/parser/smt1' >Making all in smt2 >make[7]: Entering directory `/builddir/build/BUILD/cvc4-1.3/builds/armv7hl-redhat-linux-gnu/default-proof/src/parser/smt2' >make all-am >make[8]: Entering directory `/builddir/build/BUILD/cvc4-1.3/builds/armv7hl-redhat-linux-gnu/default-proof/src/parser/smt2' > CXX smt2_input.lo > CXX smt2.lo > CC generated/Smt2Lexer.lo > CC generated/Smt2Parser.lo > CXXLD libparsersmt2.la >make[8]: Leaving directory `/builddir/build/BUILD/cvc4-1.3/builds/armv7hl-redhat-linux-gnu/default-proof/src/parser/smt2' >make[7]: Leaving directory `/builddir/build/BUILD/cvc4-1.3/builds/armv7hl-redhat-linux-gnu/default-proof/src/parser/smt2' >Making all in cvc >make[7]: Entering directory `/builddir/build/BUILD/cvc4-1.3/builds/armv7hl-redhat-linux-gnu/default-proof/src/parser/cvc' >make all-am >make[8]: Entering directory `/builddir/build/BUILD/cvc4-1.3/builds/armv7hl-redhat-linux-gnu/default-proof/src/parser/cvc' > CXX cvc_input.lo > CC generated/CvcLexer.lo > CC generated/CvcParser.lo >/builddir/build/BUILD/cvc4-1.3/builds/armv7hl-redhat-linux-gnu/default-proof/../../../src/parser/cvc/generated/CvcParser.c: In function 'void prefixFormula(pCvcParser, CVC4::Expr&)': >/builddir/build/BUILD/cvc4-1.3/builds/armv7hl-redhat-linux-gnu/default-proof/../../../src/parser/cvc/generated/CvcParser.c:11288:30: warning: 'k' may be used uninitialized in this function [-Wmaybe-uninitialized] > f = MK_EXPR(k, terms); > ^ >At global scope: >cc1plus: warning: unrecognized command line option "-Wno-tautological-compare" > CXXLD libparsercvc.la >make[8]: Leaving directory `/builddir/build/BUILD/cvc4-1.3/builds/armv7hl-redhat-linux-gnu/default-proof/src/parser/cvc' >make[7]: Leaving directory `/builddir/build/BUILD/cvc4-1.3/builds/armv7hl-redhat-linux-gnu/default-proof/src/parser/cvc' >Making all in tptp >make[7]: Entering directory `/builddir/build/BUILD/cvc4-1.3/builds/armv7hl-redhat-linux-gnu/default-proof/src/parser/tptp' >make all-am >make[8]: Entering directory `/builddir/build/BUILD/cvc4-1.3/builds/armv7hl-redhat-linux-gnu/default-proof/src/parser/tptp' > CXX tptp.lo > CXX tptp_input.lo > CC generated/TptpLexer.lo > CC generated/TptpParser.lo > CXXLD libparsertptp.la >make[8]: Leaving directory `/builddir/build/BUILD/cvc4-1.3/builds/armv7hl-redhat-linux-gnu/default-proof/src/parser/tptp' >make[7]: Leaving directory `/builddir/build/BUILD/cvc4-1.3/builds/armv7hl-redhat-linux-gnu/default-proof/src/parser/tptp' >make[7]: Entering directory `/builddir/build/BUILD/cvc4-1.3/builds/armv7hl-redhat-linux-gnu/default-proof/src/parser' > CXX antlr_input.lo > CXX antlr_input_imports.lo > CXX antlr_line_buffered_input.lo > CXX bounded_token_buffer.lo > CXX bounded_token_factory.lo > CXX input.lo > CXX memory_mapped_input_buffer.lo > CXX parser.lo > CXX parser_builder.lo > CXXLD libcvc4parser.la >make[7]: Leaving directory `/builddir/build/BUILD/cvc4-1.3/builds/armv7hl-redhat-linux-gnu/default-proof/src/parser' >make[6]: Leaving directory `/builddir/build/BUILD/cvc4-1.3/builds/armv7hl-redhat-linux-gnu/default-proof/src/parser' >Making all in compat >make[6]: Entering directory `/builddir/build/BUILD/cvc4-1.3/builds/armv7hl-redhat-linux-gnu/default-proof/src/compat' >make[6]: Nothing to be done for `all'. >make[6]: Leaving directory `/builddir/build/BUILD/cvc4-1.3/builds/armv7hl-redhat-linux-gnu/default-proof/src/compat' >Making all in bindings >make[6]: Entering directory `/builddir/build/BUILD/cvc4-1.3/builds/armv7hl-redhat-linux-gnu/default-proof/src/bindings' >Makefile:1678: .swig_deps: No such file or directory > GEN java.d >/builddir/build/BUILD/cvc4-1.3/builds/armv7hl-redhat-linux-gnu/default-proof/../../../src/bindings/../bindings/swig.h:29: Warning 204: CPP #warning, "Working around a SWIG segfault in C++ template parsing.". > GEN .swig_deps >Making all in compat >make[7]: Entering directory `/builddir/build/BUILD/cvc4-1.3/builds/armv7hl-redhat-linux-gnu/default-proof/src/bindings/compat' >make[8]: Entering directory `/builddir/build/BUILD/cvc4-1.3/builds/armv7hl-redhat-linux-gnu/default-proof/src/bindings/compat' >make[8]: Nothing to be done for `all-am'. >make[8]: Leaving directory `/builddir/build/BUILD/cvc4-1.3/builds/armv7hl-redhat-linux-gnu/default-proof/src/bindings/compat' >make[7]: Leaving directory `/builddir/build/BUILD/cvc4-1.3/builds/armv7hl-redhat-linux-gnu/default-proof/src/bindings/compat' >make[7]: Entering directory `/builddir/build/BUILD/cvc4-1.3/builds/armv7hl-redhat-linux-gnu/default-proof/src/bindings' > GEN java.d >/builddir/build/BUILD/cvc4-1.3/builds/armv7hl-redhat-linux-gnu/default-proof/../../../src/bindings/../bindings/swig.h:29: Warning 204: CPP #warning, "Working around a SWIG segfault in C++ template parsing.". > GEN .swig_deps > GEN java.cpp >/builddir/build/BUILD/cvc4-1.3/builds/armv7hl-redhat-linux-gnu/default-proof/../../../src/bindings/../bindings/swig.h:29: Warning 204: CPP #warning, "Working around a SWIG segfault in C++ template parsing.". >/builddir/build/BUILD/cvc4-1.3/builds/armv7hl-redhat-linux-gnu/default-proof/../../../src/bindings/../util/exception.h:144: Warning 302: Identifier 'CheckArgument' redefined (ignored), >/builddir/build/BUILD/cvc4-1.3/builds/armv7hl-redhat-linux-gnu/default-proof/../../../src/bindings/../util/exception.h:139: Warning 302: previous definition of 'CheckArgument'. >/builddir/build/BUILD/cvc4-1.3/builds/armv7hl-redhat-linux-gnu/default-proof/../../../src/bindings/../util/exception.h:150: Warning 302: Identifier 'CheckArgument' redefined (ignored), >/builddir/build/BUILD/cvc4-1.3/builds/armv7hl-redhat-linux-gnu/default-proof/../../../src/bindings/../util/exception.h:145: Warning 302: previous definition of 'CheckArgument'. >/builddir/build/BUILD/cvc4-1.3/builds/armv7hl-redhat-linux-gnu/default-proof/../../../src/bindings/../util/exception.h:159: Warning 302: Identifier 'DebugCheckArgument' redefined (ignored), >/builddir/build/BUILD/cvc4-1.3/builds/armv7hl-redhat-linux-gnu/default-proof/../../../src/bindings/../util/exception.h:154: Warning 302: previous definition of 'DebugCheckArgument'. >/builddir/build/BUILD/cvc4-1.3/builds/armv7hl-redhat-linux-gnu/default-proof/../../../src/bindings/../util/exception.h:165: Warning 302: Identifier 'DebugCheckArgument' redefined (ignored), >/builddir/build/BUILD/cvc4-1.3/builds/armv7hl-redhat-linux-gnu/default-proof/../../../src/bindings/../util/exception.h:160: Warning 302: previous definition of 'DebugCheckArgument'. >/builddir/build/BUILD/cvc4-1.3/builds/armv7hl-redhat-linux-gnu/default-proof/../../../src/bindings/../util/statistics.h:61: Warning 302: Identifier 'iterator' redefined by %extend (ignored), >/builddir/build/BUILD/cvc4-1.3/builds/armv7hl-redhat-linux-gnu/default-proof/../../../src/bindings/../util/statistics.i:27: Warning 302: %extend definition of 'iterator'. >/builddir/build/BUILD/cvc4-1.3/builds/armv7hl-redhat-linux-gnu/default-proof/../../../src/bindings/../util/record.h:104: Warning 302: Identifier 'find' redefined by %extend (ignored), >/builddir/build/BUILD/cvc4-1.3/builds/armv7hl-redhat-linux-gnu/default-proof/../../../src/bindings/../util/record.i:60: Warning 302: %extend definition of 'find'. >/builddir/build/BUILD/cvc4-1.3/builds/armv7hl-redhat-linux-gnu/default-proof/../../../src/bindings/../util/record.h:90: Warning 302: Identifier 'iterator' redefined by %extend (ignored), >/builddir/build/BUILD/cvc4-1.3/builds/armv7hl-redhat-linux-gnu/default-proof/../../../src/bindings/../util/record.i:64: Warning 302: %extend definition of 'iterator'. >/builddir/build/BUILD/cvc4-1.3/builds/armv7hl-redhat-linux-gnu/default-proof/../../../src/bindings/../expr/command.h:813: Warning 302: Identifier 'iterator' redefined by %extend (ignored), >/builddir/build/BUILD/cvc4-1.3/builds/armv7hl-redhat-linux-gnu/default-proof/../../../src/bindings/../expr/command.i:34: Warning 302: %extend definition of 'iterator'. >/builddir/build/BUILD/cvc4-1.3/builds/armv7hl-redhat-linux-gnu/default-proof/../../../src/bindings/../bindings/java_stream_adapters.h:45: Warning 401: Nothing known about base class 'std::ostringstream'. Ignored. >/builddir/build/BUILD/cvc4-1.3/builds/armv7hl-redhat-linux-gnu/default-proof/../../../src/bindings/../bindings/java_stream_adapters.h:50: Warning 401: Nothing known about base class 'std::stringstream'. Ignored. >./../expr/expr.h:414: Warning 401: Nothing known about base class 'std::iterator< std::input_iterator_tag,Expr >'. Ignored. >./../expr/expr.h:414: Warning 401: Maybe you forgot to instantiate 'std::iterator< std::input_iterator_tag,Expr >' using %template. >/builddir/build/BUILD/cvc4-1.3/builds/armv7hl-redhat-linux-gnu/default-proof/../../../src/bindings/../util/integer_gmp_imp.h:74: Warning 516: Overloaded method CVC4::Integer::Integer(int64_t) ignored, >/builddir/build/BUILD/cvc4-1.3/builds/armv7hl-redhat-linux-gnu/default-proof/../../../src/bindings/../util/integer_gmp_imp.h:71: Warning 516: using CVC4::Integer::Integer(unsigned long) instead. >/builddir/build/BUILD/cvc4-1.3/builds/armv7hl-redhat-linux-gnu/default-proof/../../../src/bindings/../util/rational_gmp_imp.h:116: Warning 516: Overloaded method CVC4::Rational::Rational(int64_t) ignored, >/builddir/build/BUILD/cvc4-1.3/builds/armv7hl-redhat-linux-gnu/default-proof/../../../src/bindings/../util/rational_gmp_imp.h:111: Warning 516: using CVC4::Rational::Rational(unsigned long) instead. >/builddir/build/BUILD/cvc4-1.3/builds/armv7hl-redhat-linux-gnu/default-proof/../../../src/bindings/../util/rational_gmp_imp.h:141: Warning 516: Overloaded method CVC4::Rational::Rational(int64_t,int64_t) ignored, >/builddir/build/BUILD/cvc4-1.3/builds/armv7hl-redhat-linux-gnu/default-proof/../../../src/bindings/../util/rational_gmp_imp.h:136: Warning 516: using CVC4::Rational::Rational(unsigned long,unsigned long) instead. >/builddir/build/BUILD/cvc4-1.3/builds/armv7hl-redhat-linux-gnu/default-proof/../../../src/bindings/../util/rational_gmp_imp.h:136: Warning 516: Overloaded method CVC4::Rational::Rational(unsigned long,unsigned long) ignored, >/builddir/build/BUILD/cvc4-1.3/builds/armv7hl-redhat-linux-gnu/default-proof/../../../src/bindings/../util/rational_gmp_imp.h:141: Warning 516: using CVC4::Rational::Rational(int64_t,int64_t) instead. >/builddir/build/BUILD/cvc4-1.3/builds/armv7hl-redhat-linux-gnu/default-proof/../../../src/bindings/../util/rational_gmp_imp.h:111: Warning 516: Overloaded method CVC4::Rational::Rational(unsigned long) ignored, >/builddir/build/BUILD/cvc4-1.3/builds/armv7hl-redhat-linux-gnu/default-proof/../../../src/bindings/../util/rational_gmp_imp.h:116: Warning 516: using CVC4::Rational::Rational(int64_t) instead. >/builddir/build/BUILD/cvc4-1.3/builds/armv7hl-redhat-linux-gnu/default-proof/../../../src/bindings/../util/predicate.h:55: Warning 503: Can't wrap 'operator <<' unless renamed to a valid identifier. >./../expr/kind.h:475: Warning 503: Can't wrap 'operator ()' unless renamed to a valid identifier. >./../expr/kind.h:505: Warning 503: Can't wrap 'operator ()' unless renamed to a valid identifier. >./../expr/expr.h:425: Warning 503: Can't wrap 'operator =' unless renamed to a valid identifier. >./../expr/expr.h:427: Warning 503: Can't wrap 'operator ==' unless renamed to a valid identifier. >./../expr/expr.h:430: Warning 503: Can't wrap 'operator !=' unless renamed to a valid identifier. >./../expr/expr.h:431: Warning 503: Can't wrap 'operator ++' unless renamed to a valid identifier. >./../expr/expr.h:432: Warning 503: Can't wrap 'operator ++' unless renamed to a valid identifier. >/builddir/build/BUILD/cvc4-1.3/builds/armv7hl-redhat-linux-gnu/default-proof/../../../src/bindings/../expr/command.h:179: Warning 822: Covariant return types not supported in Java. Proxy method will return CVC4::CommandStatus &. > GEN CVC4.jar > CXX java_libcvc4jni_la-java.lo > CXXLD java/libcvc4jni.la >make[7]: Leaving directory `/builddir/build/BUILD/cvc4-1.3/builds/armv7hl-redhat-linux-gnu/default-proof/src/bindings' >make[6]: Leaving directory `/builddir/build/BUILD/cvc4-1.3/builds/armv7hl-redhat-linux-gnu/default-proof/src/bindings' >Making all in main >make[6]: Entering directory `/builddir/build/BUILD/cvc4-1.3/builds/armv7hl-redhat-linux-gnu/default-proof/src/main' > GEN cvc_tokens.h > GEN smt1_tokens.h > GEN smt2_tokens.h > GEN tptp_tokens.h >make all-am >make[7]: Entering directory `/builddir/build/BUILD/cvc4-1.3/builds/armv7hl-redhat-linux-gnu/default-proof/src/main' > CXX interactive_shell.o > CXX util.o > CXX main.o > CXX command_executor.o > CXX driver_unified.o > CXX pcvc4-main.o > CXX pcvc4-portfolio.o > CXX pcvc4-portfolio_util.o > CXX pcvc4-command_executor.o > CXX pcvc4-command_executor_portfolio.o > CXX pcvc4-driver_unified.o > AR libmain.a > GEN cvc4 > GEN pcvc4 >make[7]: Leaving directory `/builddir/build/BUILD/cvc4-1.3/builds/armv7hl-redhat-linux-gnu/default-proof/src/main' >make[6]: Leaving directory `/builddir/build/BUILD/cvc4-1.3/builds/armv7hl-redhat-linux-gnu/default-proof/src/main' >make[5]: Leaving directory `/builddir/build/BUILD/cvc4-1.3/builds/armv7hl-redhat-linux-gnu/default-proof/src' >make[4]: Leaving directory `/builddir/build/BUILD/cvc4-1.3/builds/armv7hl-redhat-linux-gnu/default-proof/src' >Making all in test >make[4]: Entering directory `/builddir/build/BUILD/cvc4-1.3/builds/armv7hl-redhat-linux-gnu/default-proof/test' >Making all in unit >make[5]: Entering directory `/builddir/build/BUILD/cvc4-1.3/builds/armv7hl-redhat-linux-gnu/default-proof/test/unit' >make[5]: Nothing to be done for `all'. >make[5]: Leaving directory `/builddir/build/BUILD/cvc4-1.3/builds/armv7hl-redhat-linux-gnu/default-proof/test/unit' >Making all in system >make[5]: Entering directory `/builddir/build/BUILD/cvc4-1.3/builds/armv7hl-redhat-linux-gnu/default-proof/test/system' >make[5]: Nothing to be done for `all'. >make[5]: Leaving directory `/builddir/build/BUILD/cvc4-1.3/builds/armv7hl-redhat-linux-gnu/default-proof/test/system' >Making all in regress >make[5]: Entering directory `/builddir/build/BUILD/cvc4-1.3/builds/armv7hl-redhat-linux-gnu/default-proof/test/regress' >Making all in regress0 >make[6]: Entering directory `/builddir/build/BUILD/cvc4-1.3/builds/armv7hl-redhat-linux-gnu/default-proof/test/regress/regress0' >Making all in . >make[7]: Entering directory `/builddir/build/BUILD/cvc4-1.3/builds/armv7hl-redhat-linux-gnu/default-proof/test/regress/regress0' >make[7]: Nothing to be done for `all-am'. >make[7]: Leaving directory `/builddir/build/BUILD/cvc4-1.3/builds/armv7hl-redhat-linux-gnu/default-proof/test/regress/regress0' >Making all in arith >make[7]: Entering directory `/builddir/build/BUILD/cvc4-1.3/builds/armv7hl-redhat-linux-gnu/default-proof/test/regress/regress0/arith' >Making all in . >make[8]: Entering directory `/builddir/build/BUILD/cvc4-1.3/builds/armv7hl-redhat-linux-gnu/default-proof/test/regress/regress0/arith' >make[8]: Nothing to be done for `all-am'. >make[8]: Leaving directory `/builddir/build/BUILD/cvc4-1.3/builds/armv7hl-redhat-linux-gnu/default-proof/test/regress/regress0/arith' >Making all in integers >make[8]: Entering directory `/builddir/build/BUILD/cvc4-1.3/builds/armv7hl-redhat-linux-gnu/default-proof/test/regress/regress0/arith/integers' >Making all in . >make[9]: Entering directory `/builddir/build/BUILD/cvc4-1.3/builds/armv7hl-redhat-linux-gnu/default-proof/test/regress/regress0/arith/integers' >make[9]: Nothing to be done for `all-am'. >make[9]: Leaving directory `/builddir/build/BUILD/cvc4-1.3/builds/armv7hl-redhat-linux-gnu/default-proof/test/regress/regress0/arith/integers' >make[8]: Leaving directory `/builddir/build/BUILD/cvc4-1.3/builds/armv7hl-redhat-linux-gnu/default-proof/test/regress/regress0/arith/integers' >make[7]: Leaving directory `/builddir/build/BUILD/cvc4-1.3/builds/armv7hl-redhat-linux-gnu/default-proof/test/regress/regress0/arith' >Making all in precedence >make[7]: Entering directory `/builddir/build/BUILD/cvc4-1.3/builds/armv7hl-redhat-linux-gnu/default-proof/test/regress/regress0/precedence' >make[7]: Nothing to be done for `all'. >make[7]: Leaving directory `/builddir/build/BUILD/cvc4-1.3/builds/armv7hl-redhat-linux-gnu/default-proof/test/regress/regress0/precedence' >Making all in uf >make[7]: Entering directory `/builddir/build/BUILD/cvc4-1.3/builds/armv7hl-redhat-linux-gnu/default-proof/test/regress/regress0/uf' >make[7]: Nothing to be done for `all'. >make[7]: Leaving directory `/builddir/build/BUILD/cvc4-1.3/builds/armv7hl-redhat-linux-gnu/default-proof/test/regress/regress0/uf' >Making all in uflra >make[7]: Entering directory `/builddir/build/BUILD/cvc4-1.3/builds/armv7hl-redhat-linux-gnu/default-proof/test/regress/regress0/uflra' >make[7]: Nothing to be done for `all'. >make[7]: Leaving directory `/builddir/build/BUILD/cvc4-1.3/builds/armv7hl-redhat-linux-gnu/default-proof/test/regress/regress0/uflra' >Making all in uflia >make[7]: Entering directory `/builddir/build/BUILD/cvc4-1.3/builds/armv7hl-redhat-linux-gnu/default-proof/test/regress/regress0/uflia' >make[7]: Nothing to be done for `all'. >make[7]: Leaving directory `/builddir/build/BUILD/cvc4-1.3/builds/armv7hl-redhat-linux-gnu/default-proof/test/regress/regress0/uflia' >Making all in bv >make[7]: Entering directory `/builddir/build/BUILD/cvc4-1.3/builds/armv7hl-redhat-linux-gnu/default-proof/test/regress/regress0/bv' >Making all in . >make[8]: Entering directory `/builddir/build/BUILD/cvc4-1.3/builds/armv7hl-redhat-linux-gnu/default-proof/test/regress/regress0/bv' >make[8]: Nothing to be done for `all-am'. >make[8]: Leaving directory `/builddir/build/BUILD/cvc4-1.3/builds/armv7hl-redhat-linux-gnu/default-proof/test/regress/regress0/bv' >Making all in core >make[8]: Entering directory `/builddir/build/BUILD/cvc4-1.3/builds/armv7hl-redhat-linux-gnu/default-proof/test/regress/regress0/bv/core' >make[8]: Nothing to be done for `all'. >make[8]: Leaving directory `/builddir/build/BUILD/cvc4-1.3/builds/armv7hl-redhat-linux-gnu/default-proof/test/regress/regress0/bv/core' >make[7]: Leaving directory `/builddir/build/BUILD/cvc4-1.3/builds/armv7hl-redhat-linux-gnu/default-proof/test/regress/regress0/bv' >Making all in arrays >make[7]: Entering directory `/builddir/build/BUILD/cvc4-1.3/builds/armv7hl-redhat-linux-gnu/default-proof/test/regress/regress0/arrays' >make[7]: Nothing to be done for `all'. >make[7]: Leaving directory `/builddir/build/BUILD/cvc4-1.3/builds/armv7hl-redhat-linux-gnu/default-proof/test/regress/regress0/arrays' >Making all in aufbv >make[7]: Entering directory `/builddir/build/BUILD/cvc4-1.3/builds/armv7hl-redhat-linux-gnu/default-proof/test/regress/regress0/aufbv' >make[7]: Nothing to be done for `all'. >make[7]: Leaving directory `/builddir/build/BUILD/cvc4-1.3/builds/armv7hl-redhat-linux-gnu/default-proof/test/regress/regress0/aufbv' >Making all in auflia >make[7]: Entering directory `/builddir/build/BUILD/cvc4-1.3/builds/armv7hl-redhat-linux-gnu/default-proof/test/regress/regress0/auflia' >make[7]: Nothing to be done for `all'. >make[7]: Leaving directory `/builddir/build/BUILD/cvc4-1.3/builds/armv7hl-redhat-linux-gnu/default-proof/test/regress/regress0/auflia' >Making all in datatypes >make[7]: Entering directory `/builddir/build/BUILD/cvc4-1.3/builds/armv7hl-redhat-linux-gnu/default-proof/test/regress/regress0/datatypes' >Making all in . >make[8]: Entering directory `/builddir/build/BUILD/cvc4-1.3/builds/armv7hl-redhat-linux-gnu/default-proof/test/regress/regress0/datatypes' >make[8]: Nothing to be done for `all-am'. >make[8]: Leaving directory `/builddir/build/BUILD/cvc4-1.3/builds/armv7hl-redhat-linux-gnu/default-proof/test/regress/regress0/datatypes' >make[7]: Leaving directory `/builddir/build/BUILD/cvc4-1.3/builds/armv7hl-redhat-linux-gnu/default-proof/test/regress/regress0/datatypes' >Making all in quantifiers >make[7]: Entering directory `/builddir/build/BUILD/cvc4-1.3/builds/armv7hl-redhat-linux-gnu/default-proof/test/regress/regress0/quantifiers' >make[7]: Nothing to be done for `all'. >make[7]: Leaving directory `/builddir/build/BUILD/cvc4-1.3/builds/armv7hl-redhat-linux-gnu/default-proof/test/regress/regress0/quantifiers' >Making all in rewriterules >make[7]: Entering directory `/builddir/build/BUILD/cvc4-1.3/builds/armv7hl-redhat-linux-gnu/default-proof/test/regress/regress0/rewriterules' >make[7]: Nothing to be done for `all'. >make[7]: Leaving directory `/builddir/build/BUILD/cvc4-1.3/builds/armv7hl-redhat-linux-gnu/default-proof/test/regress/regress0/rewriterules' >Making all in lemmas >make[7]: Entering directory `/builddir/build/BUILD/cvc4-1.3/builds/armv7hl-redhat-linux-gnu/default-proof/test/regress/regress0/lemmas' >Making all in . >make[8]: Entering directory `/builddir/build/BUILD/cvc4-1.3/builds/armv7hl-redhat-linux-gnu/default-proof/test/regress/regress0/lemmas' >make[8]: Nothing to be done for `all-am'. >make[8]: Leaving directory `/builddir/build/BUILD/cvc4-1.3/builds/armv7hl-redhat-linux-gnu/default-proof/test/regress/regress0/lemmas' >make[7]: Leaving directory `/builddir/build/BUILD/cvc4-1.3/builds/armv7hl-redhat-linux-gnu/default-proof/test/regress/regress0/lemmas' >Making all in push-pop >make[7]: Entering directory `/builddir/build/BUILD/cvc4-1.3/builds/armv7hl-redhat-linux-gnu/default-proof/test/regress/regress0/push-pop' >Making all in boolean >make[8]: Entering directory `/builddir/build/BUILD/cvc4-1.3/builds/armv7hl-redhat-linux-gnu/default-proof/test/regress/regress0/push-pop/boolean' >Making all in . >make[9]: Entering directory `/builddir/build/BUILD/cvc4-1.3/builds/armv7hl-redhat-linux-gnu/default-proof/test/regress/regress0/push-pop/boolean' >make[9]: Nothing to be done for `all-am'. >make[9]: Leaving directory `/builddir/build/BUILD/cvc4-1.3/builds/armv7hl-redhat-linux-gnu/default-proof/test/regress/regress0/push-pop/boolean' >make[8]: Leaving directory `/builddir/build/BUILD/cvc4-1.3/builds/armv7hl-redhat-linux-gnu/default-proof/test/regress/regress0/push-pop/boolean' >Making all in arith >make[8]: Entering directory `/builddir/build/BUILD/cvc4-1.3/builds/armv7hl-redhat-linux-gnu/default-proof/test/regress/regress0/push-pop/arith' >Making all in . >make[9]: Entering directory `/builddir/build/BUILD/cvc4-1.3/builds/armv7hl-redhat-linux-gnu/default-proof/test/regress/regress0/push-pop/arith' >make[9]: Nothing to be done for `all-am'. >make[9]: Leaving directory `/builddir/build/BUILD/cvc4-1.3/builds/armv7hl-redhat-linux-gnu/default-proof/test/regress/regress0/push-pop/arith' >make[8]: Leaving directory `/builddir/build/BUILD/cvc4-1.3/builds/armv7hl-redhat-linux-gnu/default-proof/test/regress/regress0/push-pop/arith' >Making all in . >make[8]: Entering directory `/builddir/build/BUILD/cvc4-1.3/builds/armv7hl-redhat-linux-gnu/default-proof/test/regress/regress0/push-pop' >make[8]: Nothing to be done for `all-am'. >make[8]: Leaving directory `/builddir/build/BUILD/cvc4-1.3/builds/armv7hl-redhat-linux-gnu/default-proof/test/regress/regress0/push-pop' >make[7]: Leaving directory `/builddir/build/BUILD/cvc4-1.3/builds/armv7hl-redhat-linux-gnu/default-proof/test/regress/regress0/push-pop' >Making all in preprocess >make[7]: Entering directory `/builddir/build/BUILD/cvc4-1.3/builds/armv7hl-redhat-linux-gnu/default-proof/test/regress/regress0/preprocess' >Making all in . >make[8]: Entering directory `/builddir/build/BUILD/cvc4-1.3/builds/armv7hl-redhat-linux-gnu/default-proof/test/regress/regress0/preprocess' >make[8]: Nothing to be done for `all-am'. >make[8]: Leaving directory `/builddir/build/BUILD/cvc4-1.3/builds/armv7hl-redhat-linux-gnu/default-proof/test/regress/regress0/preprocess' >make[7]: Leaving directory `/builddir/build/BUILD/cvc4-1.3/builds/armv7hl-redhat-linux-gnu/default-proof/test/regress/regress0/preprocess' >Making all in tptp >make[7]: Entering directory `/builddir/build/BUILD/cvc4-1.3/builds/armv7hl-redhat-linux-gnu/default-proof/test/regress/regress0/tptp' >make[7]: Nothing to be done for `all'. >make[7]: Leaving directory `/builddir/build/BUILD/cvc4-1.3/builds/armv7hl-redhat-linux-gnu/default-proof/test/regress/regress0/tptp' >Making all in unconstrained >make[7]: Entering directory `/builddir/build/BUILD/cvc4-1.3/builds/armv7hl-redhat-linux-gnu/default-proof/test/regress/regress0/unconstrained' >make[7]: Nothing to be done for `all'. >make[7]: Leaving directory `/builddir/build/BUILD/cvc4-1.3/builds/armv7hl-redhat-linux-gnu/default-proof/test/regress/regress0/unconstrained' >Making all in decision >make[7]: Entering directory `/builddir/build/BUILD/cvc4-1.3/builds/armv7hl-redhat-linux-gnu/default-proof/test/regress/regress0/decision' >make[7]: Nothing to be done for `all'. >make[7]: Leaving directory `/builddir/build/BUILD/cvc4-1.3/builds/armv7hl-redhat-linux-gnu/default-proof/test/regress/regress0/decision' >Making all in fmf >make[7]: Entering directory `/builddir/build/BUILD/cvc4-1.3/builds/armv7hl-redhat-linux-gnu/default-proof/test/regress/regress0/fmf' >make[7]: Nothing to be done for `all'. >make[7]: Leaving directory `/builddir/build/BUILD/cvc4-1.3/builds/armv7hl-redhat-linux-gnu/default-proof/test/regress/regress0/fmf' >Making all in strings >make[7]: Entering directory `/builddir/build/BUILD/cvc4-1.3/builds/armv7hl-redhat-linux-gnu/default-proof/test/regress/regress0/strings' >make[7]: Nothing to be done for `all'. >make[7]: Leaving directory `/builddir/build/BUILD/cvc4-1.3/builds/armv7hl-redhat-linux-gnu/default-proof/test/regress/regress0/strings' >make[6]: Leaving directory `/builddir/build/BUILD/cvc4-1.3/builds/armv7hl-redhat-linux-gnu/default-proof/test/regress/regress0' >make[6]: Entering directory `/builddir/build/BUILD/cvc4-1.3/builds/armv7hl-redhat-linux-gnu/default-proof/test/regress' >make[6]: Nothing to be done for `all-am'. >make[6]: Leaving directory `/builddir/build/BUILD/cvc4-1.3/builds/armv7hl-redhat-linux-gnu/default-proof/test/regress' >make[5]: Leaving directory `/builddir/build/BUILD/cvc4-1.3/builds/armv7hl-redhat-linux-gnu/default-proof/test/regress' >Making all in . >make[5]: Entering directory `/builddir/build/BUILD/cvc4-1.3/builds/armv7hl-redhat-linux-gnu/default-proof/test' >make[5]: Nothing to be done for `all-am'. >make[5]: Leaving directory `/builddir/build/BUILD/cvc4-1.3/builds/armv7hl-redhat-linux-gnu/default-proof/test' >make[4]: Leaving directory `/builddir/build/BUILD/cvc4-1.3/builds/armv7hl-redhat-linux-gnu/default-proof/test' >Making all in contrib >make[4]: Entering directory `/builddir/build/BUILD/cvc4-1.3/builds/armv7hl-redhat-linux-gnu/default-proof/contrib' >make[4]: Nothing to be done for `all'. >make[4]: Leaving directory `/builddir/build/BUILD/cvc4-1.3/builds/armv7hl-redhat-linux-gnu/default-proof/contrib' >make[4]: Entering directory `/builddir/build/BUILD/cvc4-1.3/builds/armv7hl-redhat-linux-gnu/default-proof' >rm -f doc/pcvc4.1 >cp -p "/builddir/build/BUILD/cvc4-1.3/builds/armv7hl-redhat-linux-gnu/default-proof/../../../doc/cvc4.1" "doc/pcvc4.1" >make[4]: Leaving directory `/builddir/build/BUILD/cvc4-1.3/builds/armv7hl-redhat-linux-gnu/default-proof' >make[3]: Leaving directory `/builddir/build/BUILD/cvc4-1.3/builds/armv7hl-redhat-linux-gnu/default-proof' >make[2]: Leaving directory `/builddir/build/BUILD/cvc4-1.3/builds/armv7hl-redhat-linux-gnu/default-proof' > MKDIR armv7hl-redhat-linux-gnu/default-proof/usr/bin > MKDIR armv7hl-redhat-linux-gnu/default-proof/usr/lib > LTINS armv7hl-redhat-linux-gnu/default-proof/src/libcvc4.la >libtool: install: warning: remember to run `libtool --finish /usr/lib' > LTINS armv7hl-redhat-linux-gnu/default-proof/src/parser/libcvc4parser.la >libtool: install: warning: relinking `armv7hl-redhat-linux-gnu/default-proof/src/parser/libcvc4parser.la' >libtool: install: warning: remember to run `libtool --finish /usr/lib' > RELNK cvc4 > RELNK pcvc4 >rm -f armv7hl-redhat-linux-gnu/default-proof/lib; ln -sf "/builddir/build/BUILD/cvc4-1.3/builds/armv7hl-redhat-linux-gnu/default-proof/usr/lib" armv7hl-redhat-linux-gnu/default-proof/lib >rm -f armv7hl-redhat-linux-gnu/default-proof/bin; ln -sf "/builddir/build/BUILD/cvc4-1.3/builds/armv7hl-redhat-linux-gnu/default-proof/usr/bin" armv7hl-redhat-linux-gnu/default-proof/bin > MKDIR ./usr/bin > MKDIR ./usr/lib > LTINS armv7hl-redhat-linux-gnu/default-proof/src/libcvc4.la >libtool: install: warning: remember to run `libtool --finish /usr/lib' > LTINS armv7hl-redhat-linux-gnu/default-proof/src/parser/libcvc4parser.la >libtool: install: warning: relinking `armv7hl-redhat-linux-gnu/default-proof/src/parser/libcvc4parser.la' >libtool: install: warning: remember to run `libtool --finish /usr/lib' > RELNK cvc4 > RELNK pcvc4 >rm -f lib; ln -sf "./usr/lib" lib >rm -f bin; ln -sf "./usr/bin" bin >rm -f doc; ln -sf "armv7hl-redhat-linux-gnu/default-proof/doc" doc >rm -f examples; ln -sf "armv7hl-redhat-linux-gnu/default-proof/examples" examples >make[1]: Leaving directory `/builddir/build/BUILD/cvc4-1.3/builds' >make[1]: Entering directory `/builddir/build/BUILD/cvc4-1.3/builds' >(cd armv7hl-redhat-linux-gnu/default-proof && make show-config) >make[2]: Entering directory `/builddir/build/BUILD/cvc4-1.3/builds/armv7hl-redhat-linux-gnu/default-proof' >=============================================================================== >This CVC4 build was configured with: > configure --build=armv7hl-redhat-linux-gnu --host=armv7hl-redhat-linux-gnu --program-prefix= --disable-dependency-tracking --prefix=/usr --exec-prefix=/usr --bindir=/usr/bin --sbindir=/usr/sbin --sysconfdir=/etc --datadir=/usr/share --includedir=/usr/include --libdir=/usr/lib --libexecdir=/usr/libexec --localstatedir=/var --sharedstatedir=/var/lib --mandir=/usr/share/man --infodir=/usr/share/info --enable-proof --enable-language-bindings=all --with-portfolio --with-google-perftools --with-glpk --without-compat CPPFLAGS=-I/usr/lib/jvm/java/include -I/usr/lib/jvm/java/include/linux -DFEDORA_GLPK_ITCNT "-Dlpx_get_int_parm(x,y)=glp_get_it_cnt(x)" LFSCARGS=/usr/share/lfsc/sat.plf >=============================================================================== >make[2]: Leaving directory `/builddir/build/BUILD/cvc4-1.3/builds/armv7hl-redhat-linux-gnu/default-proof' >make[1]: Leaving directory `/builddir/build/BUILD/cvc4-1.3/builds' >+ make doc >cd builds >make doc-builds >make[1]: Entering directory `/builddir/build/BUILD/cvc4-1.3/builds' >(cd armv7hl-redhat-linux-gnu/default-proof && for dir in `find . -name Makefile | xargs grep -l BUILT_SOURCES`; do (cd `dirname "$dir"`; (cat Makefile; echo 'doc-prereq: $(BUILT_SOURCES)') | make -f- doc-prereq); done) >make[2]: Entering directory `/builddir/build/BUILD/cvc4-1.3/builds/armv7hl-redhat-linux-gnu/default-proof/src/bindings/compat/java' > GEN .classes >warning: [options] bootstrap class path not set in conjunction with -source 1.4 >1 warning > GEN cvc3/EmbeddedManager.h > GEN EmbeddedManager.cpp > GEN cvc3/Expr.h > GEN Expr.cpp > GEN cvc3/ExprMut.h > GEN ExprMut.cpp > GEN cvc3/ExprManager.h > GEN ExprManager.cpp > GEN cvc3/ValidityChecker.h > GEN ValidityChecker.cpp >make[2]: Leaving directory `/builddir/build/BUILD/cvc4-1.3/builds/armv7hl-redhat-linux-gnu/default-proof/src/bindings/compat/java' >make[2]: Entering directory `/builddir/build/BUILD/cvc4-1.3/builds/armv7hl-redhat-linux-gnu/default-proof/src/options' >make[3]: Entering directory `/builddir/build/BUILD/cvc4-1.3/builds/armv7hl-redhat-linux-gnu/default-proof/src/expr' >make[3]: Nothing to be done for `builts'. >make[3]: Leaving directory `/builddir/build/BUILD/cvc4-1.3/builds/armv7hl-redhat-linux-gnu/default-proof/src/expr' > GEN Trace_tags.tmp > GEN Trace_tags >make[2]: Leaving directory `/builddir/build/BUILD/cvc4-1.3/builds/armv7hl-redhat-linux-gnu/default-proof/src/options' >make[2]: Entering directory `/builddir/build/BUILD/cvc4-1.3/builds/armv7hl-redhat-linux-gnu/default-proof/src' >make[2]: Nothing to be done for `doc-prereq'. >make[2]: Leaving directory `/builddir/build/BUILD/cvc4-1.3/builds/armv7hl-redhat-linux-gnu/default-proof/src' >make[2]: Entering directory `/builddir/build/BUILD/cvc4-1.3/builds/armv7hl-redhat-linux-gnu/default-proof/src/parser/smt2' >make[2]: Nothing to be done for `doc-prereq'. >make[2]: Leaving directory `/builddir/build/BUILD/cvc4-1.3/builds/armv7hl-redhat-linux-gnu/default-proof/src/parser/smt2' >make[2]: Entering directory `/builddir/build/BUILD/cvc4-1.3/builds/armv7hl-redhat-linux-gnu/default-proof/src/parser/cvc' >make[2]: Nothing to be done for `doc-prereq'. >make[2]: Leaving directory `/builddir/build/BUILD/cvc4-1.3/builds/armv7hl-redhat-linux-gnu/default-proof/src/parser/cvc' >make[2]: Entering directory `/builddir/build/BUILD/cvc4-1.3/builds/armv7hl-redhat-linux-gnu/default-proof/src/parser/smt1' >make[2]: Nothing to be done for `doc-prereq'. >make[2]: Leaving directory `/builddir/build/BUILD/cvc4-1.3/builds/armv7hl-redhat-linux-gnu/default-proof/src/parser/smt1' >make[2]: Entering directory `/builddir/build/BUILD/cvc4-1.3/builds/armv7hl-redhat-linux-gnu/default-proof/src/parser/tptp' >make[2]: Nothing to be done for `doc-prereq'. >make[2]: Leaving directory `/builddir/build/BUILD/cvc4-1.3/builds/armv7hl-redhat-linux-gnu/default-proof/src/parser/tptp' >make[2]: Entering directory `/builddir/build/BUILD/cvc4-1.3/builds/armv7hl-redhat-linux-gnu/default-proof/src/expr' >make[2]: Nothing to be done for `doc-prereq'. >make[2]: Leaving directory `/builddir/build/BUILD/cvc4-1.3/builds/armv7hl-redhat-linux-gnu/default-proof/src/expr' >make[2]: Entering directory `/builddir/build/BUILD/cvc4-1.3/builds/armv7hl-redhat-linux-gnu/default-proof/src/main' >make[2]: Nothing to be done for `doc-prereq'. >make[2]: Leaving directory `/builddir/build/BUILD/cvc4-1.3/builds/armv7hl-redhat-linux-gnu/default-proof/src/main' >make[2]: Entering directory `/builddir/build/BUILD/cvc4-1.3/builds/armv7hl-redhat-linux-gnu/default-proof/src/util' >make[2]: Nothing to be done for `doc-prereq'. >make[2]: Leaving directory `/builddir/build/BUILD/cvc4-1.3/builds/armv7hl-redhat-linux-gnu/default-proof/src/util' >(cd armv7hl-redhat-linux-gnu/default-proof && make doxygen-doc CVC4_DOXYGEN_INPUT="`builddir="." srcdir="/builddir/build/BUILD/cvc4-1.3/builds/armv7hl-redhat-linux-gnu/default-proof/../../.." "/builddir/build/BUILD/cvc4-1.3/builds/armv7hl-redhat-linux-gnu/default-proof/../../../doc/find_public_interface.sh"`") >make[2]: Entering directory `/builddir/build/BUILD/cvc4-1.3/builds/armv7hl-redhat-linux-gnu/default-proof' >rm -rf /builddir/build/BUILD/cvc4-1.3/builds/armv7hl-redhat-linux-gnu/default-proof/../../../doc/doxygen >SRCDIR='/builddir/build/BUILD/cvc4-1.3/builds/armv7hl-redhat-linux-gnu/default-proof/../../..' PROJECT='cvc4' DOCDIR='/builddir/build/BUILD/cvc4-1.3/builds/armv7hl-redhat-linux-gnu/default-proof/../../../doc/doxygen' VERSION='1.3' PERL_PATH='/usr/bin/perl' HAVE_DOT='NO' GENERATE_MAN='NO' GENERATE_RTF='NO' GENERATE_XML='NO' GENERATE_HTMLHELP='NO' GENERATE_CHI='NO' GENERATE_HTML='YES' GENERATE_LATEX='NO' /usr/bin/doxygen /builddir/build/BUILD/cvc4-1.3/builds/armv7hl-redhat-linux-gnu/default-proof/../../../config/doxygen.cfg >Warning: Tag `SYMBOL_CACHE_SIZE' at line 289 of file `/builddir/build/BUILD/cvc4-1.3/builds/armv7hl-redhat-linux-gnu/default-proof/../../../config/doxygen.cfg' has become obsolete. > To avoid this warning please remove this line from your configuration file or upgrade it using "doxygen -u" >Warning: Tag `SHOW_DIRECTORIES' at line 477 of file `/builddir/build/BUILD/cvc4-1.3/builds/armv7hl-redhat-linux-gnu/default-proof/../../../config/doxygen.cfg' has become obsolete. > To avoid this warning please remove this line from your configuration file or upgrade it using "doxygen -u" >Warning: Tag `HTML_ALIGN_MEMBERS' at line 810 of file `/builddir/build/BUILD/cvc4-1.3/builds/armv7hl-redhat-linux-gnu/default-proof/../../../config/doxygen.cfg' has become obsolete. > To avoid this warning please remove this line from your configuration file or upgrade it using "doxygen -u" >Warning: Tag `USE_INLINE_TREES' at line 963 of file `/builddir/build/BUILD/cvc4-1.3/builds/armv7hl-redhat-linux-gnu/default-proof/../../../config/doxygen.cfg' has become obsolete. > To avoid this warning please remove this line from your configuration file or upgrade it using "doxygen -u" >Warning: Tag `XML_SCHEMA' at line 1156 of file `/builddir/build/BUILD/cvc4-1.3/builds/armv7hl-redhat-linux-gnu/default-proof/../../../config/doxygen.cfg' has become obsolete. > To avoid this warning please remove this line from your configuration file or upgrade it using "doxygen -u" >Warning: Tag `XML_DTD' at line 1162 of file `/builddir/build/BUILD/cvc4-1.3/builds/armv7hl-redhat-linux-gnu/default-proof/../../../config/doxygen.cfg' has become obsolete. > To avoid this warning please remove this line from your configuration file or upgrade it using "doxygen -u" >Warning: doxygen no longer ships with the FreeSans font. >You may want to clear or change DOT_FONTNAME. >Otherwise you run the risk that the wrong font is being used for dot generated graphs. >Warning: tag INPUT: input source `/builddir/build/BUILD/cvc4-1.3/builds/armv7hl-redhat-linux-gnu/default-proof/../../../ChangeLog' does not exist >warning: source /builddir/build/BUILD/cvc4-1.3/builds/armv7hl-redhat-linux-gnu/default-proof/../../../ChangeLog is not a readable file or directory... skipping. >/builddir/build/BUILD/cvc4-1.3/src/theory/strings/options.h:31: warning: the name `base_options_template.h' supplied as the second argument in the \file statement is not an input file >/builddir/build/BUILD/cvc4-1.3/src/theory/idl/options.h:31: warning: the name `base_options_template.h' supplied as the second argument in the \file statement is not an input file >/builddir/build/BUILD/cvc4-1.3/src/parser/parser.h:307: warning: The following parameters of CVC4::parser::Parser::checkDeclaration(const std::string &name, DeclarationCheck check, SymbolType type=SYM_VARIABLE, std::string notes="") are not documented: > parameter 'notes' >This is pdfTeX, Version 3.14159265-2.6-1.40.15 (TeX Live 2014) (preloaded format=latex) > restricted \write18 enabled. >entering extended mode >(./_formulas.tex >LaTeX2e <2011/06/27> >Babel <3.9k> and hyphenation patterns for 2 languages loaded. >make[2]: Leaving directory `/builddir/build/BUILD/cvc4-1.3/builds/armv7hl-redhat-linux-gnu/default-proof' >make[1]: Leaving directory `/builddir/build/BUILD/cvc4-1.3/builds' >make[1]: Entering directory `/builddir/build/BUILD/cvc4-1.3/builds' >(cd armv7hl-redhat-linux-gnu/default-proof && make show-config) >make[2]: Entering directory `/builddir/build/BUILD/cvc4-1.3/builds/armv7hl-redhat-linux-gnu/default-proof' >=============================================================================== >This CVC4 build was configured with: > configure --build=armv7hl-redhat-linux-gnu --host=armv7hl-redhat-linux-gnu --program-prefix= --disable-dependency-tracking --prefix=/usr --exec-prefix=/usr --bindir=/usr/bin --sbindir=/usr/sbin --sysconfdir=/etc --datadir=/usr/share --includedir=/usr/include --libdir=/usr/lib --libexecdir=/usr/libexec --localstatedir=/var --sharedstatedir=/var/lib --mandir=/usr/share/man --infodir=/usr/share/info --enable-proof --enable-language-bindings=all --with-portfolio --with-google-perftools --with-glpk --without-compat CPPFLAGS=-I/usr/lib/jvm/java/include -I/usr/lib/jvm/java/include/linux -DFEDORA_GLPK_ITCNT "-Dlpx_get_int_parm(x,y)=glp_get_it_cnt(x)" LFSCARGS=/usr/share/lfsc/sat.plf >=============================================================================== >make[2]: Leaving directory `/builddir/build/BUILD/cvc4-1.3/builds/armv7hl-redhat-linux-gnu/default-proof' >make[1]: Leaving directory `/builddir/build/BUILD/cvc4-1.3/builds' >+ exit 0 >Executing(%install): /bin/sh -e /var/tmp/rpm-tmp.UK9wei >+ umask 022 >+ cd /builddir/build/BUILD >+ '[' /builddir/build/BUILDROOT/cvc4-1.3-6.fc21.arm '!=' / ']' >+ rm -rf /builddir/build/BUILDROOT/cvc4-1.3-6.fc21.arm >++ dirname /builddir/build/BUILDROOT/cvc4-1.3-6.fc21.arm >+ mkdir -p /builddir/build/BUILDROOT >+ mkdir /builddir/build/BUILDROOT/cvc4-1.3-6.fc21.arm >+ cd cvc4-1.3 >+ /usr/bin/make install DESTDIR=/builddir/build/BUILDROOT/cvc4-1.3-6.fc21.arm >cd builds >/usr/bin/make install >make[1]: Entering directory `/builddir/build/BUILD/cvc4-1.3/builds' >(cd armv7hl-redhat-linux-gnu/default-proof && /usr/bin/make install) >make[2]: Entering directory `/builddir/build/BUILD/cvc4-1.3/builds/armv7hl-redhat-linux-gnu/default-proof' >Making install in src >make[3]: Entering directory `/builddir/build/BUILD/cvc4-1.3/builds/armv7hl-redhat-linux-gnu/default-proof/src' >/usr/bin/make install-recursive >make[4]: Entering directory `/builddir/build/BUILD/cvc4-1.3/builds/armv7hl-redhat-linux-gnu/default-proof/src' >Making install in lib >make[5]: Entering directory `/builddir/build/BUILD/cvc4-1.3/builds/armv7hl-redhat-linux-gnu/default-proof/src/lib' >make[6]: Entering directory `/builddir/build/BUILD/cvc4-1.3/builds/armv7hl-redhat-linux-gnu/default-proof/src/lib' >make[6]: Nothing to be done for `install-exec-am'. >make[6]: Nothing to be done for `install-data-am'. >make[6]: Leaving directory `/builddir/build/BUILD/cvc4-1.3/builds/armv7hl-redhat-linux-gnu/default-proof/src/lib' >make[5]: Leaving directory `/builddir/build/BUILD/cvc4-1.3/builds/armv7hl-redhat-linux-gnu/default-proof/src/lib' >Making install in options >make[5]: Entering directory `/builddir/build/BUILD/cvc4-1.3/builds/armv7hl-redhat-linux-gnu/default-proof/src/options' >make[6]: Entering directory `/builddir/build/BUILD/cvc4-1.3/builds/armv7hl-redhat-linux-gnu/default-proof/src/expr' >make[6]: Nothing to be done for `builts'. >make[6]: Leaving directory `/builddir/build/BUILD/cvc4-1.3/builds/armv7hl-redhat-linux-gnu/default-proof/src/expr' > GEN Trace_tags.tmp > GEN Trace_tags >/usr/bin/make install-am >make[6]: Entering directory `/builddir/build/BUILD/cvc4-1.3/builds/armv7hl-redhat-linux-gnu/default-proof/src/options' >make[7]: Entering directory `/builddir/build/BUILD/cvc4-1.3/builds/armv7hl-redhat-linux-gnu/default-proof/src/options' >make[7]: Nothing to be done for `install-exec-am'. >make[7]: Nothing to be done for `install-data-am'. >make[7]: Leaving directory `/builddir/build/BUILD/cvc4-1.3/builds/armv7hl-redhat-linux-gnu/default-proof/src/options' >make[6]: Leaving directory `/builddir/build/BUILD/cvc4-1.3/builds/armv7hl-redhat-linux-gnu/default-proof/src/options' >make[5]: Leaving directory `/builddir/build/BUILD/cvc4-1.3/builds/armv7hl-redhat-linux-gnu/default-proof/src/options' >Making install in expr >make[5]: Entering directory `/builddir/build/BUILD/cvc4-1.3/builds/armv7hl-redhat-linux-gnu/default-proof/src/expr' >/usr/bin/make install-am >make[6]: Entering directory `/builddir/build/BUILD/cvc4-1.3/builds/armv7hl-redhat-linux-gnu/default-proof/src/expr' >make[7]: Entering directory `/builddir/build/BUILD/cvc4-1.3/builds/armv7hl-redhat-linux-gnu/default-proof/src/expr' >make[7]: Nothing to be done for `install-exec-am'. >make[7]: Nothing to be done for `install-data-am'. >make[7]: Leaving directory `/builddir/build/BUILD/cvc4-1.3/builds/armv7hl-redhat-linux-gnu/default-proof/src/expr' >make[6]: Leaving directory `/builddir/build/BUILD/cvc4-1.3/builds/armv7hl-redhat-linux-gnu/default-proof/src/expr' >make[5]: Leaving directory `/builddir/build/BUILD/cvc4-1.3/builds/armv7hl-redhat-linux-gnu/default-proof/src/expr' >Making install in util >make[5]: Entering directory `/builddir/build/BUILD/cvc4-1.3/builds/armv7hl-redhat-linux-gnu/default-proof/src/util' >/usr/bin/make install-am >make[6]: Entering directory `/builddir/build/BUILD/cvc4-1.3/builds/armv7hl-redhat-linux-gnu/default-proof/src/util' >make[7]: Entering directory `/builddir/build/BUILD/cvc4-1.3/builds/armv7hl-redhat-linux-gnu/default-proof/src/util' >make[7]: Nothing to be done for `install-exec-am'. >make[7]: Nothing to be done for `install-data-am'. >make[7]: Leaving directory `/builddir/build/BUILD/cvc4-1.3/builds/armv7hl-redhat-linux-gnu/default-proof/src/util' >make[6]: Leaving directory `/builddir/build/BUILD/cvc4-1.3/builds/armv7hl-redhat-linux-gnu/default-proof/src/util' >make[5]: Leaving directory `/builddir/build/BUILD/cvc4-1.3/builds/armv7hl-redhat-linux-gnu/default-proof/src/util' >Making install in prop/minisat >make[5]: Entering directory `/builddir/build/BUILD/cvc4-1.3/builds/armv7hl-redhat-linux-gnu/default-proof/src/prop/minisat' >make[6]: Entering directory `/builddir/build/BUILD/cvc4-1.3/builds/armv7hl-redhat-linux-gnu/default-proof/src/prop/minisat' >make[6]: Nothing to be done for `install-exec-am'. >make[6]: Nothing to be done for `install-data-am'. >make[6]: Leaving directory `/builddir/build/BUILD/cvc4-1.3/builds/armv7hl-redhat-linux-gnu/default-proof/src/prop/minisat' >make[5]: Leaving directory `/builddir/build/BUILD/cvc4-1.3/builds/armv7hl-redhat-linux-gnu/default-proof/src/prop/minisat' >Making install in prop/bvminisat >make[5]: Entering directory `/builddir/build/BUILD/cvc4-1.3/builds/armv7hl-redhat-linux-gnu/default-proof/src/prop/bvminisat' >make[6]: Entering directory `/builddir/build/BUILD/cvc4-1.3/builds/armv7hl-redhat-linux-gnu/default-proof/src/prop/bvminisat' >make[6]: Nothing to be done for `install-exec-am'. >make[6]: Nothing to be done for `install-data-am'. >make[6]: Leaving directory `/builddir/build/BUILD/cvc4-1.3/builds/armv7hl-redhat-linux-gnu/default-proof/src/prop/bvminisat' >make[5]: Leaving directory `/builddir/build/BUILD/cvc4-1.3/builds/armv7hl-redhat-linux-gnu/default-proof/src/prop/bvminisat' >Making install in . >make[5]: Entering directory `/builddir/build/BUILD/cvc4-1.3/builds/armv7hl-redhat-linux-gnu/default-proof/src' > GEN gitinfo.tmp > GEN gitinfo > GEN svninfo.tmp > GEN svninfo >make[6]: Entering directory `/builddir/build/BUILD/cvc4-1.3/builds/armv7hl-redhat-linux-gnu/default-proof/src' > GEN gitinfo.tmp > GEN gitinfo > GEN svninfo.tmp > GEN svninfo >test -z "/usr/lib" || /usr/bin/mkdir -p "/builddir/build/BUILDROOT/cvc4-1.3-6.fc21.arm/usr/lib" > /bin/sh ../libtool --mode=install /usr/bin/install -c libcvc4.la '/builddir/build/BUILDROOT/cvc4-1.3-6.fc21.arm/usr/lib' >libtool: install: /usr/bin/install -c .libs/libcvc4.so.2.0.0 /builddir/build/BUILDROOT/cvc4-1.3-6.fc21.arm/usr/lib/libcvc4.so.2.0.0 >libtool: install: (cd /builddir/build/BUILDROOT/cvc4-1.3-6.fc21.arm/usr/lib && { ln -s -f libcvc4.so.2.0.0 libcvc4.so.2 || { rm -f libcvc4.so.2 && ln -s libcvc4.so.2.0.0 libcvc4.so.2; }; }) >libtool: install: (cd /builddir/build/BUILDROOT/cvc4-1.3-6.fc21.arm/usr/lib && { ln -s -f libcvc4.so.2.0.0 libcvc4.so || { rm -f libcvc4.so && ln -s libcvc4.so.2.0.0 libcvc4.so; }; }) >libtool: install: /usr/bin/install -c .libs/libcvc4.lai /builddir/build/BUILDROOT/cvc4-1.3-6.fc21.arm/usr/lib/libcvc4.la >libtool: install: warning: remember to run `libtool --finish /usr/lib' >(echo include/cvc4.h; \ > echo include/cvc4_public.h; \ > echo include/cvc4parser_public.h; \ > echo util/tls.h; \ > echo util/integer.h; \ > echo util/rational.h; \ > find * -name '*.h' | \ > xargs grep -l '^# *include *"cvc4.*_public\.h"'; \ >(cd "/builddir/build/BUILD/cvc4-1.3/builds/armv7hl-redhat-linux-gnu/default-proof/../../../src" && find * -name '*.h' | \ > xargs grep -l '^# *include *"cvc4.*_public\.h"')) | \ >while read f; do \ > if expr "$f" : ".*_\(template\|private\|private_library\|test_utils\)\.h$" &>/dev/null; then \ > continue; \ > fi; \ > d="$(echo "$f" | sed 's,^include/,,')"; \ > /bin/sh /builddir/build/BUILD/cvc4-1.3/config/install-sh -d "$(dirname "/builddir/build/BUILDROOT/cvc4-1.3-6.fc21.arm/usr/include/cvc4/$d")"; \ > if [ -e "$f" ]; then \ > path="$f"; \ > else \ > path="/builddir/build/BUILD/cvc4-1.3/builds/armv7hl-redhat-linux-gnu/default-proof/../../../src/$f"; \ > fi; \ > fixpath="../header_install.fix"; \ > sed 's,^\([ \t]*#[ \t]*include[ \t*]\)"\(.*\)"\([ \t]*\)$,\1<cvc4/\2>\3,' "$path" > "$fixpath" || exit 1; \ > echo /usr/bin/install -c -m 644 "$fixpath" "/builddir/build/BUILDROOT/cvc4-1.3-6.fc21.arm/usr/include/cvc4/$d"; \ > if /usr/bin/install -c -m 644 "$fixpath" "/builddir/build/BUILDROOT/cvc4-1.3-6.fc21.arm/usr/include/cvc4/$d"; then \ > rm -f "$fixpath"; \ > else \ > rm -f "$fixpath"; \ > exit 1; \ > fi; \ >done >/usr/bin/install -c -m 644 ../header_install.fix /builddir/build/BUILDROOT/cvc4-1.3-6.fc21.arm/usr/include/cvc4/cvc4.h >/usr/bin/install -c -m 644 ../header_install.fix /builddir/build/BUILDROOT/cvc4-1.3-6.fc21.arm/usr/include/cvc4/cvc4_public.h >/usr/bin/install -c -m 644 ../header_install.fix /builddir/build/BUILDROOT/cvc4-1.3-6.fc21.arm/usr/include/cvc4/cvc4parser_public.h >/usr/bin/install -c -m 644 ../header_install.fix /builddir/build/BUILDROOT/cvc4-1.3-6.fc21.arm/usr/include/cvc4/util/tls.h >/usr/bin/install -c -m 644 ../header_install.fix /builddir/build/BUILDROOT/cvc4-1.3-6.fc21.arm/usr/include/cvc4/util/integer.h >/usr/bin/install -c -m 644 ../header_install.fix /builddir/build/BUILDROOT/cvc4-1.3-6.fc21.arm/usr/include/cvc4/util/rational.h >/usr/bin/install -c -m 644 ../header_install.fix /builddir/build/BUILDROOT/cvc4-1.3-6.fc21.arm/usr/include/cvc4/expr/kind.h >/usr/bin/install -c -m 644 ../header_install.fix /builddir/build/BUILDROOT/cvc4-1.3-6.fc21.arm/usr/include/cvc4/expr/expr_manager.h >/usr/bin/install -c -m 644 ../header_install.fix /builddir/build/BUILDROOT/cvc4-1.3-6.fc21.arm/usr/include/cvc4/expr/expr.h >/usr/bin/install -c -m 644 ../header_install.fix /builddir/build/BUILDROOT/cvc4-1.3-6.fc21.arm/usr/include/cvc4/util/tls.h >/usr/bin/install -c -m 644 ../header_install.fix /builddir/build/BUILDROOT/cvc4-1.3-6.fc21.arm/usr/include/cvc4/bindings/compat/c/c_interface_defs.h >/usr/bin/install -c -m 644 ../header_install.fix /builddir/build/BUILDROOT/cvc4-1.3-6.fc21.arm/usr/include/cvc4/bindings/compat/c/c_interface.h >/usr/bin/install -c -m 644 ../header_install.fix /builddir/build/BUILDROOT/cvc4-1.3-6.fc21.arm/usr/include/cvc4/compat/cvc3_compat.h >/usr/bin/install -c -m 644 ../header_install.fix /builddir/build/BUILDROOT/cvc4-1.3-6.fc21.arm/usr/include/cvc4/context/cdtrail_hashmap_forward.h >/usr/bin/install -c -m 644 ../header_install.fix /builddir/build/BUILDROOT/cvc4-1.3-6.fc21.arm/usr/include/cvc4/context/cdinsert_hashmap_forward.h >/usr/bin/install -c -m 644 ../header_install.fix /builddir/build/BUILDROOT/cvc4-1.3-6.fc21.arm/usr/include/cvc4/context/cdhashmap_forward.h >/usr/bin/install -c -m 644 ../header_install.fix /builddir/build/BUILDROOT/cvc4-1.3-6.fc21.arm/usr/include/cvc4/context/cdlist_forward.h >/usr/bin/install -c -m 644 ../header_install.fix /builddir/build/BUILDROOT/cvc4-1.3-6.fc21.arm/usr/include/cvc4/context/cdhashset_forward.h >/usr/bin/install -c -m 644 ../header_install.fix /builddir/build/BUILDROOT/cvc4-1.3-6.fc21.arm/usr/include/cvc4/decision/options.h >/usr/bin/install -c -m 644 ../header_install.fix /builddir/build/BUILDROOT/cvc4-1.3-6.fc21.arm/usr/include/cvc4/expr/pickler.h >/usr/bin/install -c -m 644 ../header_install.fix /builddir/build/BUILDROOT/cvc4-1.3-6.fc21.arm/usr/include/cvc4/expr/options.h >/usr/bin/install -c -m 644 ../header_install.fix /builddir/build/BUILDROOT/cvc4-1.3-6.fc21.arm/usr/include/cvc4/expr/variable_type_map.h >/usr/bin/install -c -m 644 ../header_install.fix /builddir/build/BUILDROOT/cvc4-1.3-6.fc21.arm/usr/include/cvc4/expr/symbol_table.h >/usr/bin/install -c -m 644 ../header_install.fix /builddir/build/BUILDROOT/cvc4-1.3-6.fc21.arm/usr/include/cvc4/expr/command.h >/usr/bin/install -c -m 644 ../header_install.fix /builddir/build/BUILDROOT/cvc4-1.3-6.fc21.arm/usr/include/cvc4/expr/type.h >/usr/bin/install -c -m 644 ../header_install.fix /builddir/build/BUILDROOT/cvc4-1.3-6.fc21.arm/usr/include/cvc4/expr/expr_stream.h >/usr/bin/install -c -m 644 ../header_install.fix /builddir/build/BUILDROOT/cvc4-1.3-6.fc21.arm/usr/include/cvc4/cvc4parser_public.h >/usr/bin/install -c -m 644 ../header_install.fix /builddir/build/BUILDROOT/cvc4-1.3-6.fc21.arm/usr/include/cvc4/lib/ffs.h >/usr/bin/install -c -m 644 ../header_install.fix /builddir/build/BUILDROOT/cvc4-1.3-6.fc21.arm/usr/include/cvc4/lib/strtok_r.h >/usr/bin/install -c -m 644 ../header_install.fix /builddir/build/BUILDROOT/cvc4-1.3-6.fc21.arm/usr/include/cvc4/lib/clock_gettime.h >/usr/bin/install -c -m 644 ../header_install.fix /builddir/build/BUILDROOT/cvc4-1.3-6.fc21.arm/usr/include/cvc4/main/options.h >/usr/bin/install -c -m 644 ../header_install.fix /builddir/build/BUILDROOT/cvc4-1.3-6.fc21.arm/usr/include/cvc4/options/option_exception.h >/usr/bin/install -c -m 644 ../header_install.fix /builddir/build/BUILDROOT/cvc4-1.3-6.fc21.arm/usr/include/cvc4/options/options.h >/usr/bin/install -c -m 644 ../header_install.fix /builddir/build/BUILDROOT/cvc4-1.3-6.fc21.arm/usr/include/cvc4/options/base_options.h >/usr/bin/install -c -m 644 ../header_install.fix /builddir/build/BUILDROOT/cvc4-1.3-6.fc21.arm/usr/include/cvc4/parser/input.h >/usr/bin/install -c -m 644 ../header_install.fix /builddir/build/BUILDROOT/cvc4-1.3-6.fc21.arm/usr/include/cvc4/parser/options.h >/usr/bin/install -c -m 644 ../header_install.fix /builddir/build/BUILDROOT/cvc4-1.3-6.fc21.arm/usr/include/cvc4/parser/parser_exception.h >/usr/bin/install -c -m 644 ../header_install.fix /builddir/build/BUILDROOT/cvc4-1.3-6.fc21.arm/usr/include/cvc4/parser/parser_builder.h >/usr/bin/install -c -m 644 ../header_install.fix /builddir/build/BUILDROOT/cvc4-1.3-6.fc21.arm/usr/include/cvc4/parser/parser.h >/usr/bin/install -c -m 644 ../header_install.fix /builddir/build/BUILDROOT/cvc4-1.3-6.fc21.arm/usr/include/cvc4/printer/options.h >/usr/bin/install -c -m 644 ../header_install.fix /builddir/build/BUILDROOT/cvc4-1.3-6.fc21.arm/usr/include/cvc4/printer/model_format_mode.h >/usr/bin/install -c -m 644 ../header_install.fix /builddir/build/BUILDROOT/cvc4-1.3-6.fc21.arm/usr/include/cvc4/proof/options.h >/usr/bin/install -c -m 644 ../header_install.fix /builddir/build/BUILDROOT/cvc4-1.3-6.fc21.arm/usr/include/cvc4/prop/options.h >/usr/bin/install -c -m 644 ../header_install.fix /builddir/build/BUILDROOT/cvc4-1.3-6.fc21.arm/usr/include/cvc4/prop/sat_solver_factory.h >/usr/bin/install -c -m 644 ../header_install.fix /builddir/build/BUILDROOT/cvc4-1.3-6.fc21.arm/usr/include/cvc4/smt/options.h >/usr/bin/install -c -m 644 ../header_install.fix /builddir/build/BUILDROOT/cvc4-1.3-6.fc21.arm/usr/include/cvc4/smt/logic_exception.h >/usr/bin/install -c -m 644 ../header_install.fix /builddir/build/BUILDROOT/cvc4-1.3-6.fc21.arm/usr/include/cvc4/smt/smt_engine.h >/usr/bin/install -c -m 644 ../header_install.fix /builddir/build/BUILDROOT/cvc4-1.3-6.fc21.arm/usr/include/cvc4/smt/simplification_mode.h >/usr/bin/install -c -m 644 ../header_install.fix /builddir/build/BUILDROOT/cvc4-1.3-6.fc21.arm/usr/include/cvc4/smt/modal_exception.h >/usr/bin/install -c -m 644 ../header_install.fix /builddir/build/BUILDROOT/cvc4-1.3-6.fc21.arm/usr/include/cvc4/theory/options.h >/usr/bin/install -c -m 644 ../header_install.fix /builddir/build/BUILDROOT/cvc4-1.3-6.fc21.arm/usr/include/cvc4/theory/quantifiers/options.h >/usr/bin/install -c -m 644 ../header_install.fix /builddir/build/BUILDROOT/cvc4-1.3-6.fc21.arm/usr/include/cvc4/theory/theoryof_mode.h >/usr/bin/install -c -m 644 ../header_install.fix /builddir/build/BUILDROOT/cvc4-1.3-6.fc21.arm/usr/include/cvc4/theory/uf/options.h >/usr/bin/install -c -m 644 ../header_install.fix /builddir/build/BUILDROOT/cvc4-1.3-6.fc21.arm/usr/include/cvc4/theory/datatypes/options.h >/usr/bin/install -c -m 644 ../header_install.fix /builddir/build/BUILDROOT/cvc4-1.3-6.fc21.arm/usr/include/cvc4/theory/builtin/options.h >/usr/bin/install -c -m 644 ../header_install.fix /builddir/build/BUILDROOT/cvc4-1.3-6.fc21.arm/usr/include/cvc4/theory/logic_info.h >/usr/bin/install -c -m 644 ../header_install.fix /builddir/build/BUILDROOT/cvc4-1.3-6.fc21.arm/usr/include/cvc4/theory/rewriterules/options.h >/usr/bin/install -c -m 644 ../header_install.fix /builddir/build/BUILDROOT/cvc4-1.3-6.fc21.arm/usr/include/cvc4/theory/strings/options.h >/usr/bin/install -c -m 644 ../header_install.fix /builddir/build/BUILDROOT/cvc4-1.3-6.fc21.arm/usr/include/cvc4/theory/idl/options.h >/usr/bin/install -c -m 644 ../header_install.fix /builddir/build/BUILDROOT/cvc4-1.3-6.fc21.arm/usr/include/cvc4/theory/arrays/options.h >/usr/bin/install -c -m 644 ../header_install.fix /builddir/build/BUILDROOT/cvc4-1.3-6.fc21.arm/usr/include/cvc4/theory/booleans/options.h >/usr/bin/install -c -m 644 ../header_install.fix /builddir/build/BUILDROOT/cvc4-1.3-6.fc21.arm/usr/include/cvc4/theory/bv/options.h >/usr/bin/install -c -m 644 ../header_install.fix /builddir/build/BUILDROOT/cvc4-1.3-6.fc21.arm/usr/include/cvc4/theory/arith/options.h >/usr/bin/install -c -m 644 ../header_install.fix /builddir/build/BUILDROOT/cvc4-1.3-6.fc21.arm/usr/include/cvc4/theory/arith/arith_heuristic_pivot_rule.h >/usr/bin/install -c -m 644 ../header_install.fix /builddir/build/BUILDROOT/cvc4-1.3-6.fc21.arm/usr/include/cvc4/theory/arith/arith_propagation_mode.h >/usr/bin/install -c -m 644 ../header_install.fix /builddir/build/BUILDROOT/cvc4-1.3-6.fc21.arm/usr/include/cvc4/theory/arith/arith_unate_lemma_mode.h >/usr/bin/install -c -m 644 ../header_install.fix /builddir/build/BUILDROOT/cvc4-1.3-6.fc21.arm/usr/include/cvc4/util/gmp_util.h >/usr/bin/install -c -m 644 ../header_install.fix /builddir/build/BUILDROOT/cvc4-1.3-6.fc21.arm/usr/include/cvc4/util/lemma_output_channel.h >/usr/bin/install -c -m 644 ../header_install.fix /builddir/build/BUILDROOT/cvc4-1.3-6.fc21.arm/usr/include/cvc4/util/regexp.h >/usr/bin/install -c -m 644 ../header_install.fix /builddir/build/BUILDROOT/cvc4-1.3-6.fc21.arm/usr/include/cvc4/util/tuple.h >/usr/bin/install -c -m 644 ../header_install.fix /builddir/build/BUILDROOT/cvc4-1.3-6.fc21.arm/usr/include/cvc4/util/configuration.h >/usr/bin/install -c -m 644 ../header_install.fix /builddir/build/BUILDROOT/cvc4-1.3-6.fc21.arm/usr/include/cvc4/util/integer_cln_imp.h >/usr/bin/install -c -m 644 ../header_install.fix /builddir/build/BUILDROOT/cvc4-1.3-6.fc21.arm/usr/include/cvc4/util/ascription_type.h >/usr/bin/install -c -m 644 ../header_install.fix /builddir/build/BUILDROOT/cvc4-1.3-6.fc21.arm/usr/include/cvc4/util/chain.h >/usr/bin/install -c -m 644 ../header_install.fix /builddir/build/BUILDROOT/cvc4-1.3-6.fc21.arm/usr/include/cvc4/util/statistics.h >/usr/bin/install -c -m 644 ../header_install.fix /builddir/build/BUILDROOT/cvc4-1.3-6.fc21.arm/usr/include/cvc4/util/abstract_value.h >/usr/bin/install -c -m 644 ../header_install.fix /builddir/build/BUILDROOT/cvc4-1.3-6.fc21.arm/usr/include/cvc4/util/proof.h >/usr/bin/install -c -m 644 ../header_install.fix /builddir/build/BUILDROOT/cvc4-1.3-6.fc21.arm/usr/include/cvc4/util/dump.h >/usr/bin/install -c -m 644 ../header_install.fix /builddir/build/BUILDROOT/cvc4-1.3-6.fc21.arm/usr/include/cvc4/util/array.h >/usr/bin/install -c -m 644 ../header_install.fix /builddir/build/BUILDROOT/cvc4-1.3-6.fc21.arm/usr/include/cvc4/util/channel.h >/usr/bin/install -c -m 644 ../header_install.fix /builddir/build/BUILDROOT/cvc4-1.3-6.fc21.arm/usr/include/cvc4/util/cardinality.h >/usr/bin/install -c -m 644 ../header_install.fix /builddir/build/BUILDROOT/cvc4-1.3-6.fc21.arm/usr/include/cvc4/util/language.h >/usr/bin/install -c -m 644 ../header_install.fix /builddir/build/BUILDROOT/cvc4-1.3-6.fc21.arm/usr/include/cvc4/util/divisible.h >/usr/bin/install -c -m 644 ../header_install.fix /builddir/build/BUILDROOT/cvc4-1.3-6.fc21.arm/usr/include/cvc4/util/result.h >/usr/bin/install -c -m 644 ../header_install.fix /builddir/build/BUILDROOT/cvc4-1.3-6.fc21.arm/usr/include/cvc4/util/subrange_bound.h >/usr/bin/install -c -m 644 ../header_install.fix /builddir/build/BUILDROOT/cvc4-1.3-6.fc21.arm/usr/include/cvc4/util/record.h >/usr/bin/install -c -m 644 ../header_install.fix /builddir/build/BUILDROOT/cvc4-1.3-6.fc21.arm/usr/include/cvc4/util/bitvector.h >/usr/bin/install -c -m 644 ../header_install.fix /builddir/build/BUILDROOT/cvc4-1.3-6.fc21.arm/usr/include/cvc4/util/predicate.h >/usr/bin/install -c -m 644 ../header_install.fix /builddir/build/BUILDROOT/cvc4-1.3-6.fc21.arm/usr/include/cvc4/util/rational_cln_imp.h >/usr/bin/install -c -m 644 ../header_install.fix /builddir/build/BUILDROOT/cvc4-1.3-6.fc21.arm/usr/include/cvc4/util/bool.h >/usr/bin/install -c -m 644 ../header_install.fix /builddir/build/BUILDROOT/cvc4-1.3-6.fc21.arm/usr/include/cvc4/util/rational_gmp_imp.h >/usr/bin/install -c -m 644 ../header_install.fix /builddir/build/BUILDROOT/cvc4-1.3-6.fc21.arm/usr/include/cvc4/util/integer_gmp_imp.h >/usr/bin/install -c -m 644 ../header_install.fix /builddir/build/BUILDROOT/cvc4-1.3-6.fc21.arm/usr/include/cvc4/util/array_store_all.h >/usr/bin/install -c -m 644 ../header_install.fix /builddir/build/BUILDROOT/cvc4-1.3-6.fc21.arm/usr/include/cvc4/util/hash.h >/usr/bin/install -c -m 644 ../header_install.fix /builddir/build/BUILDROOT/cvc4-1.3-6.fc21.arm/usr/include/cvc4/util/exception.h >/usr/bin/install -c -m 644 ../header_install.fix /builddir/build/BUILDROOT/cvc4-1.3-6.fc21.arm/usr/include/cvc4/util/sexpr.h >/usr/bin/install -c -m 644 ../header_install.fix /builddir/build/BUILDROOT/cvc4-1.3-6.fc21.arm/usr/include/cvc4/util/uninterpreted_constant.h >/usr/bin/install -c -m 644 ../header_install.fix /builddir/build/BUILDROOT/cvc4-1.3-6.fc21.arm/usr/include/cvc4/util/lemma_input_channel.h >/usr/bin/install -c -m 644 ../header_install.fix /builddir/build/BUILDROOT/cvc4-1.3-6.fc21.arm/usr/include/cvc4/util/datatype.h >make[6]: Leaving directory `/builddir/build/BUILD/cvc4-1.3/builds/armv7hl-redhat-linux-gnu/default-proof/src' >make[5]: Leaving directory `/builddir/build/BUILD/cvc4-1.3/builds/armv7hl-redhat-linux-gnu/default-proof/src' >Making install in parser >make[5]: Entering directory `/builddir/build/BUILD/cvc4-1.3/builds/armv7hl-redhat-linux-gnu/default-proof/src/parser' >Making install in smt1 >make[6]: Entering directory `/builddir/build/BUILD/cvc4-1.3/builds/armv7hl-redhat-linux-gnu/default-proof/src/parser/smt1' >/usr/bin/make install-am >make[7]: Entering directory `/builddir/build/BUILD/cvc4-1.3/builds/armv7hl-redhat-linux-gnu/default-proof/src/parser/smt1' >make[8]: Entering directory `/builddir/build/BUILD/cvc4-1.3/builds/armv7hl-redhat-linux-gnu/default-proof/src/parser/smt1' >make[8]: Nothing to be done for `install-exec-am'. >make[8]: Nothing to be done for `install-data-am'. >make[8]: Leaving directory `/builddir/build/BUILD/cvc4-1.3/builds/armv7hl-redhat-linux-gnu/default-proof/src/parser/smt1' >make[7]: Leaving directory `/builddir/build/BUILD/cvc4-1.3/builds/armv7hl-redhat-linux-gnu/default-proof/src/parser/smt1' >make[6]: Leaving directory `/builddir/build/BUILD/cvc4-1.3/builds/armv7hl-redhat-linux-gnu/default-proof/src/parser/smt1' >Making install in smt2 >make[6]: Entering directory `/builddir/build/BUILD/cvc4-1.3/builds/armv7hl-redhat-linux-gnu/default-proof/src/parser/smt2' >/usr/bin/make install-am >make[7]: Entering directory `/builddir/build/BUILD/cvc4-1.3/builds/armv7hl-redhat-linux-gnu/default-proof/src/parser/smt2' >make[8]: Entering directory `/builddir/build/BUILD/cvc4-1.3/builds/armv7hl-redhat-linux-gnu/default-proof/src/parser/smt2' >make[8]: Nothing to be done for `install-exec-am'. >make[8]: Nothing to be done for `install-data-am'. >make[8]: Leaving directory `/builddir/build/BUILD/cvc4-1.3/builds/armv7hl-redhat-linux-gnu/default-proof/src/parser/smt2' >make[7]: Leaving directory `/builddir/build/BUILD/cvc4-1.3/builds/armv7hl-redhat-linux-gnu/default-proof/src/parser/smt2' >make[6]: Leaving directory `/builddir/build/BUILD/cvc4-1.3/builds/armv7hl-redhat-linux-gnu/default-proof/src/parser/smt2' >Making install in cvc >make[6]: Entering directory `/builddir/build/BUILD/cvc4-1.3/builds/armv7hl-redhat-linux-gnu/default-proof/src/parser/cvc' >/usr/bin/make install-am >make[7]: Entering directory `/builddir/build/BUILD/cvc4-1.3/builds/armv7hl-redhat-linux-gnu/default-proof/src/parser/cvc' >make[8]: Entering directory `/builddir/build/BUILD/cvc4-1.3/builds/armv7hl-redhat-linux-gnu/default-proof/src/parser/cvc' >make[8]: Nothing to be done for `install-exec-am'. >make[8]: Nothing to be done for `install-data-am'. >make[8]: Leaving directory `/builddir/build/BUILD/cvc4-1.3/builds/armv7hl-redhat-linux-gnu/default-proof/src/parser/cvc' >make[7]: Leaving directory `/builddir/build/BUILD/cvc4-1.3/builds/armv7hl-redhat-linux-gnu/default-proof/src/parser/cvc' >make[6]: Leaving directory `/builddir/build/BUILD/cvc4-1.3/builds/armv7hl-redhat-linux-gnu/default-proof/src/parser/cvc' >Making install in tptp >make[6]: Entering directory `/builddir/build/BUILD/cvc4-1.3/builds/armv7hl-redhat-linux-gnu/default-proof/src/parser/tptp' >/usr/bin/make install-am >make[7]: Entering directory `/builddir/build/BUILD/cvc4-1.3/builds/armv7hl-redhat-linux-gnu/default-proof/src/parser/tptp' >make[8]: Entering directory `/builddir/build/BUILD/cvc4-1.3/builds/armv7hl-redhat-linux-gnu/default-proof/src/parser/tptp' >make[8]: Nothing to be done for `install-exec-am'. >make[8]: Nothing to be done for `install-data-am'. >make[8]: Leaving directory `/builddir/build/BUILD/cvc4-1.3/builds/armv7hl-redhat-linux-gnu/default-proof/src/parser/tptp' >make[7]: Leaving directory `/builddir/build/BUILD/cvc4-1.3/builds/armv7hl-redhat-linux-gnu/default-proof/src/parser/tptp' >make[6]: Leaving directory `/builddir/build/BUILD/cvc4-1.3/builds/armv7hl-redhat-linux-gnu/default-proof/src/parser/tptp' >make[6]: Entering directory `/builddir/build/BUILD/cvc4-1.3/builds/armv7hl-redhat-linux-gnu/default-proof/src/parser' >make[7]: Entering directory `/builddir/build/BUILD/cvc4-1.3/builds/armv7hl-redhat-linux-gnu/default-proof/src/parser' >test -z "/usr/lib" || /usr/bin/mkdir -p "/builddir/build/BUILDROOT/cvc4-1.3-6.fc21.arm/usr/lib" > /bin/sh ../../libtool --mode=install /usr/bin/install -c libcvc4parser.la '/builddir/build/BUILDROOT/cvc4-1.3-6.fc21.arm/usr/lib' >libtool: install: warning: relinking `libcvc4parser.la' >libtool: install: (cd /builddir/build/BUILD/cvc4-1.3/builds/armv7hl-redhat-linux-gnu/default-proof/src/parser; /bin/sh /builddir/build/BUILD/cvc4-1.3/builds/armv7hl-redhat-linux-gnu/default-proof/libtool --silent --tag CXX --mode=relink g++ -Wall -Wno-unknown-pragmas -fvisibility=hidden -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -fexceptions -fstack-protector-strong --param=ssp-buffer-size=4 -grecord-gcc-switches -march=armv7-a -mfpu=vfpv3-d16 -mfloat-abi=hard -O2 -Wno-deprecated -L/usr/local/lib -lantlr3c -version-info 2:0:0 -Wl,-z,relro -o libcvc4parser.la -rpath /usr/lib antlr_input.lo antlr_input_imports.lo antlr_line_buffered_input.lo bounded_token_buffer.lo bounded_token_factory.lo input.lo memory_mapped_input_buffer.lo parser.lo parser_builder.lo ./smt1/libparsersmt1.la ./smt2/libparsersmt2.la ./tptp/libparsertptp.la ./cvc/libparsercvc.la -L./.. -lcvc4 -lprofiler -ltcmalloc -lgmpxx -lgmp -inst-prefix-dir /builddir/build/BUILDROOT/cvc4-1.3-6.fc21.arm) >libtool: install: /usr/bin/install -c .libs/libcvc4parser.so.2.0.0T /builddir/build/BUILDROOT/cvc4-1.3-6.fc21.arm/usr/lib/libcvc4parser.so.2.0.0 >libtool: install: (cd /builddir/build/BUILDROOT/cvc4-1.3-6.fc21.arm/usr/lib && { ln -s -f libcvc4parser.so.2.0.0 libcvc4parser.so.2 || { rm -f libcvc4parser.so.2 && ln -s libcvc4parser.so.2.0.0 libcvc4parser.so.2; }; }) >libtool: install: (cd /builddir/build/BUILDROOT/cvc4-1.3-6.fc21.arm/usr/lib && { ln -s -f libcvc4parser.so.2.0.0 libcvc4parser.so || { rm -f libcvc4parser.so && ln -s libcvc4parser.so.2.0.0 libcvc4parser.so; }; }) >libtool: install: /usr/bin/install -c .libs/libcvc4parser.lai /builddir/build/BUILDROOT/cvc4-1.3-6.fc21.arm/usr/lib/libcvc4parser.la >libtool: install: warning: remember to run `libtool --finish /usr/lib' >make[7]: Nothing to be done for `install-data-am'. >make[7]: Leaving directory `/builddir/build/BUILD/cvc4-1.3/builds/armv7hl-redhat-linux-gnu/default-proof/src/parser' >make[6]: Leaving directory `/builddir/build/BUILD/cvc4-1.3/builds/armv7hl-redhat-linux-gnu/default-proof/src/parser' >make[5]: Leaving directory `/builddir/build/BUILD/cvc4-1.3/builds/armv7hl-redhat-linux-gnu/default-proof/src/parser' >Making install in compat >make[5]: Entering directory `/builddir/build/BUILD/cvc4-1.3/builds/armv7hl-redhat-linux-gnu/default-proof/src/compat' >make[6]: Entering directory `/builddir/build/BUILD/cvc4-1.3/builds/armv7hl-redhat-linux-gnu/default-proof/src/compat' >test -z "/usr/lib" || /usr/bin/mkdir -p "/builddir/build/BUILDROOT/cvc4-1.3-6.fc21.arm/usr/lib" >make[6]: Nothing to be done for `install-data-am'. >make[6]: Leaving directory `/builddir/build/BUILD/cvc4-1.3/builds/armv7hl-redhat-linux-gnu/default-proof/src/compat' >make[5]: Leaving directory `/builddir/build/BUILD/cvc4-1.3/builds/armv7hl-redhat-linux-gnu/default-proof/src/compat' >Making install in bindings >make[5]: Entering directory `/builddir/build/BUILD/cvc4-1.3/builds/armv7hl-redhat-linux-gnu/default-proof/src/bindings' > GEN java.d >/builddir/build/BUILD/cvc4-1.3/builds/armv7hl-redhat-linux-gnu/default-proof/../../../src/bindings/../bindings/swig.h:29: Warning 204: CPP #warning, "Working around a SWIG segfault in C++ template parsing.". > GEN .swig_deps >Making install in compat >make[6]: Entering directory `/builddir/build/BUILD/cvc4-1.3/builds/armv7hl-redhat-linux-gnu/default-proof/src/bindings/compat' >make[7]: Entering directory `/builddir/build/BUILD/cvc4-1.3/builds/armv7hl-redhat-linux-gnu/default-proof/src/bindings/compat' >make[8]: Entering directory `/builddir/build/BUILD/cvc4-1.3/builds/armv7hl-redhat-linux-gnu/default-proof/src/bindings/compat' >make[8]: Nothing to be done for `install-exec-am'. >make[8]: Nothing to be done for `install-data-am'. >make[8]: Leaving directory `/builddir/build/BUILD/cvc4-1.3/builds/armv7hl-redhat-linux-gnu/default-proof/src/bindings/compat' >make[7]: Leaving directory `/builddir/build/BUILD/cvc4-1.3/builds/armv7hl-redhat-linux-gnu/default-proof/src/bindings/compat' >make[6]: Leaving directory `/builddir/build/BUILD/cvc4-1.3/builds/armv7hl-redhat-linux-gnu/default-proof/src/bindings/compat' >make[6]: Entering directory `/builddir/build/BUILD/cvc4-1.3/builds/armv7hl-redhat-linux-gnu/default-proof/src/bindings' > GEN java.d >/builddir/build/BUILD/cvc4-1.3/builds/armv7hl-redhat-linux-gnu/default-proof/../../../src/bindings/../bindings/swig.h:29: Warning 204: CPP #warning, "Working around a SWIG segfault in C++ template parsing.". > GEN .swig_deps >make[7]: Entering directory `/builddir/build/BUILD/cvc4-1.3/builds/armv7hl-redhat-linux-gnu/default-proof/src/bindings' > GEN java.d >/builddir/build/BUILD/cvc4-1.3/builds/armv7hl-redhat-linux-gnu/default-proof/../../../src/bindings/../bindings/swig.h:29: Warning 204: CPP #warning, "Working around a SWIG segfault in C++ template parsing.". > GEN .swig_deps >test -z "/usr/lib" || /usr/bin/mkdir -p "/builddir/build/BUILDROOT/cvc4-1.3-6.fc21.arm/usr/lib" >test -z "/usr/bin" || /usr/bin/mkdir -p "/builddir/build/BUILDROOT/cvc4-1.3-6.fc21.arm/usr/bin" >test -z "/usr/share/csharp" || /usr/bin/mkdir -p "/builddir/build/BUILDROOT/cvc4-1.3-6.fc21.arm/usr/share/csharp" >test -z "/usr/lib/csharp" || /usr/bin/mkdir -p "/builddir/build/BUILDROOT/cvc4-1.3-6.fc21.arm/usr/lib/csharp" >test -z "/usr/share/java" || /usr/bin/mkdir -p "/builddir/build/BUILDROOT/cvc4-1.3-6.fc21.arm/usr/share/java" > /usr/bin/install -c -m 644 CVC4.jar '/builddir/build/BUILDROOT/cvc4-1.3-6.fc21.arm/usr/share/java' >test -z "/usr/lib/java/cvc4" || /usr/bin/mkdir -p "/builddir/build/BUILDROOT/cvc4-1.3-6.fc21.arm/usr/lib/java/cvc4" > /bin/sh ../../libtool --mode=install /usr/bin/install -c java/libcvc4jni.la '/builddir/build/BUILDROOT/cvc4-1.3-6.fc21.arm/usr/lib/java/cvc4' >libtool: install: warning: relinking `java/libcvc4jni.la' >libtool: install: (cd /builddir/build/BUILD/cvc4-1.3/builds/armv7hl-redhat-linux-gnu/default-proof/src/bindings; /bin/sh /builddir/build/BUILD/cvc4-1.3/builds/armv7hl-redhat-linux-gnu/default-proof/libtool --silent --tag CXX --mode=relink g++ -Wno-all -fno-strict-aliasing -Wno-unused-variable -Wno-uninitialized -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -fexceptions -fstack-protector-strong --param=ssp-buffer-size=4 -grecord-gcc-switches -march=armv7-a -mfpu=vfpv3-d16 -mfloat-abi=hard -O2 -Wno-deprecated -module -shrext .so -version-info 2:0:0 -Wl,-z,relro -o java/libcvc4jni.la -rpath /usr/lib/java/cvc4 java_libcvc4jni_la-java.lo -L./.. -lcvc4 -L./../parser -lcvc4parser -lprofiler -ltcmalloc -lgmpxx -lgmp -inst-prefix-dir /builddir/build/BUILDROOT/cvc4-1.3-6.fc21.arm) >libtool: install: /usr/bin/install -c java/.libs/libcvc4jni.so.2.0.0T /builddir/build/BUILDROOT/cvc4-1.3-6.fc21.arm/usr/lib/java/cvc4/libcvc4jni.so.2.0.0 >libtool: install: (cd /builddir/build/BUILDROOT/cvc4-1.3-6.fc21.arm/usr/lib/java/cvc4 && { ln -s -f libcvc4jni.so.2.0.0 libcvc4jni.so.2 || { rm -f libcvc4jni.so.2 && ln -s libcvc4jni.so.2.0.0 libcvc4jni.so.2; }; }) >libtool: install: (cd /builddir/build/BUILDROOT/cvc4-1.3-6.fc21.arm/usr/lib/java/cvc4 && { ln -s -f libcvc4jni.so.2.0.0 libcvc4jni.so || { rm -f libcvc4jni.so && ln -s libcvc4jni.so.2.0.0 libcvc4jni.so; }; }) >libtool: install: /usr/bin/install -c java/.libs/libcvc4jni.lai /builddir/build/BUILDROOT/cvc4-1.3-6.fc21.arm/usr/lib/java/cvc4/libcvc4jni.la >libtool: install: warning: remember to run `libtool --finish /usr/lib/java/cvc4' >test -z "/usr/lib/ocaml/cvc4" || /usr/bin/mkdir -p "/builddir/build/BUILDROOT/cvc4-1.3-6.fc21.arm/usr/lib/ocaml/cvc4" >test -z "/usr/lib/ocaml/cvc4" || /usr/bin/mkdir -p "/builddir/build/BUILDROOT/cvc4-1.3-6.fc21.arm/usr/lib/ocaml/cvc4" >test -z "/usr/share/perl5" || /usr/bin/mkdir -p "/builddir/build/BUILDROOT/cvc4-1.3-6.fc21.arm/usr/share/perl5" >test -z "/usr/lib/perl5" || /usr/bin/mkdir -p "/builddir/build/BUILDROOT/cvc4-1.3-6.fc21.arm/usr/lib/perl5" >test -z "/usr/share/php" || /usr/bin/mkdir -p "/builddir/build/BUILDROOT/cvc4-1.3-6.fc21.arm/usr/share/php" >test -z "/usr/lib/php" || /usr/bin/mkdir -p "/builddir/build/BUILDROOT/cvc4-1.3-6.fc21.arm/usr/lib/php" >test -z "/usr/share/pyshared" || /usr/bin/mkdir -p "/builddir/build/BUILDROOT/cvc4-1.3-6.fc21.arm/usr/share/pyshared" >test -z "/usr/lib/pyshared" || /usr/bin/mkdir -p "/builddir/build/BUILDROOT/cvc4-1.3-6.fc21.arm/usr/lib/pyshared" >test -z "/usr/lib/ruby" || /usr/bin/mkdir -p "/builddir/build/BUILDROOT/cvc4-1.3-6.fc21.arm/usr/lib/ruby" >test -z "/usr/lib/tcltk" || /usr/bin/mkdir -p "/builddir/build/BUILDROOT/cvc4-1.3-6.fc21.arm/usr/lib/tcltk" >make[7]: Leaving directory `/builddir/build/BUILD/cvc4-1.3/builds/armv7hl-redhat-linux-gnu/default-proof/src/bindings' >make[6]: Leaving directory `/builddir/build/BUILD/cvc4-1.3/builds/armv7hl-redhat-linux-gnu/default-proof/src/bindings' >make[5]: Leaving directory `/builddir/build/BUILD/cvc4-1.3/builds/armv7hl-redhat-linux-gnu/default-proof/src/bindings' >Making install in main >make[5]: Entering directory `/builddir/build/BUILD/cvc4-1.3/builds/armv7hl-redhat-linux-gnu/default-proof/src/main' >/usr/bin/make install-am >make[6]: Entering directory `/builddir/build/BUILD/cvc4-1.3/builds/armv7hl-redhat-linux-gnu/default-proof/src/main' >make[7]: Entering directory `/builddir/build/BUILD/cvc4-1.3/builds/armv7hl-redhat-linux-gnu/default-proof/src/main' >test -z "/usr/bin" || /usr/bin/mkdir -p "/builddir/build/BUILDROOT/cvc4-1.3-6.fc21.arm/usr/bin" > /bin/sh ../../libtool --mode=install /usr/bin/install -c cvc4 pcvc4 '/builddir/build/BUILDROOT/cvc4-1.3-6.fc21.arm/usr/bin' >libtool: install: warning: `./../parser/libcvc4parser.la' has not been installed in `/usr/lib' >libtool: install: warning: `./../libcvc4.la' has not been installed in `/usr/lib' >libtool: install: /usr/bin/install -c .libs/cvc4 /builddir/build/BUILDROOT/cvc4-1.3-6.fc21.arm/usr/bin/cvc4 >libtool: install: warning: `./../parser/libcvc4parser.la' has not been installed in `/usr/lib' >libtool: install: warning: `./../libcvc4.la' has not been installed in `/usr/lib' >libtool: install: /usr/bin/install -c .libs/pcvc4 /builddir/build/BUILDROOT/cvc4-1.3-6.fc21.arm/usr/bin/pcvc4 >make[7]: Nothing to be done for `install-data-am'. >make[7]: Leaving directory `/builddir/build/BUILD/cvc4-1.3/builds/armv7hl-redhat-linux-gnu/default-proof/src/main' >make[6]: Leaving directory `/builddir/build/BUILD/cvc4-1.3/builds/armv7hl-redhat-linux-gnu/default-proof/src/main' >make[5]: Leaving directory `/builddir/build/BUILD/cvc4-1.3/builds/armv7hl-redhat-linux-gnu/default-proof/src/main' >make[4]: Leaving directory `/builddir/build/BUILD/cvc4-1.3/builds/armv7hl-redhat-linux-gnu/default-proof/src' >make[3]: Leaving directory `/builddir/build/BUILD/cvc4-1.3/builds/armv7hl-redhat-linux-gnu/default-proof/src' >Making install in test >make[3]: Entering directory `/builddir/build/BUILD/cvc4-1.3/builds/armv7hl-redhat-linux-gnu/default-proof/test' >Making install in unit >make[4]: Entering directory `/builddir/build/BUILD/cvc4-1.3/builds/armv7hl-redhat-linux-gnu/default-proof/test/unit' >make[5]: Entering directory `/builddir/build/BUILD/cvc4-1.3/builds/armv7hl-redhat-linux-gnu/default-proof/test/unit' >make[5]: Nothing to be done for `install-exec-am'. >make[5]: Nothing to be done for `install-data-am'. >make[5]: Leaving directory `/builddir/build/BUILD/cvc4-1.3/builds/armv7hl-redhat-linux-gnu/default-proof/test/unit' >make[4]: Leaving directory `/builddir/build/BUILD/cvc4-1.3/builds/armv7hl-redhat-linux-gnu/default-proof/test/unit' >Making install in system >make[4]: Entering directory `/builddir/build/BUILD/cvc4-1.3/builds/armv7hl-redhat-linux-gnu/default-proof/test/system' >make[5]: Entering directory `/builddir/build/BUILD/cvc4-1.3/builds/armv7hl-redhat-linux-gnu/default-proof/test/system' >make[5]: Nothing to be done for `install-exec-am'. >make[5]: Nothing to be done for `install-data-am'. >make[5]: Leaving directory `/builddir/build/BUILD/cvc4-1.3/builds/armv7hl-redhat-linux-gnu/default-proof/test/system' >make[4]: Leaving directory `/builddir/build/BUILD/cvc4-1.3/builds/armv7hl-redhat-linux-gnu/default-proof/test/system' >Making install in regress >make[4]: Entering directory `/builddir/build/BUILD/cvc4-1.3/builds/armv7hl-redhat-linux-gnu/default-proof/test/regress' >Making install in regress0 >make[5]: Entering directory `/builddir/build/BUILD/cvc4-1.3/builds/armv7hl-redhat-linux-gnu/default-proof/test/regress/regress0' >Making install in . >make[6]: Entering directory `/builddir/build/BUILD/cvc4-1.3/builds/armv7hl-redhat-linux-gnu/default-proof/test/regress/regress0' >make[7]: Entering directory `/builddir/build/BUILD/cvc4-1.3/builds/armv7hl-redhat-linux-gnu/default-proof/test/regress/regress0' >make[7]: Nothing to be done for `install-exec-am'. >make[7]: Nothing to be done for `install-data-am'. >make[7]: Leaving directory `/builddir/build/BUILD/cvc4-1.3/builds/armv7hl-redhat-linux-gnu/default-proof/test/regress/regress0' >make[6]: Leaving directory `/builddir/build/BUILD/cvc4-1.3/builds/armv7hl-redhat-linux-gnu/default-proof/test/regress/regress0' >Making install in arith >make[6]: Entering directory `/builddir/build/BUILD/cvc4-1.3/builds/armv7hl-redhat-linux-gnu/default-proof/test/regress/regress0/arith' >Making install in . >make[7]: Entering directory `/builddir/build/BUILD/cvc4-1.3/builds/armv7hl-redhat-linux-gnu/default-proof/test/regress/regress0/arith' >make[8]: Entering directory `/builddir/build/BUILD/cvc4-1.3/builds/armv7hl-redhat-linux-gnu/default-proof/test/regress/regress0/arith' >make[8]: Nothing to be done for `install-exec-am'. >make[8]: Nothing to be done for `install-data-am'. >make[8]: Leaving directory `/builddir/build/BUILD/cvc4-1.3/builds/armv7hl-redhat-linux-gnu/default-proof/test/regress/regress0/arith' >make[7]: Leaving directory `/builddir/build/BUILD/cvc4-1.3/builds/armv7hl-redhat-linux-gnu/default-proof/test/regress/regress0/arith' >Making install in integers >make[7]: Entering directory `/builddir/build/BUILD/cvc4-1.3/builds/armv7hl-redhat-linux-gnu/default-proof/test/regress/regress0/arith/integers' >Making install in . >make[8]: Entering directory `/builddir/build/BUILD/cvc4-1.3/builds/armv7hl-redhat-linux-gnu/default-proof/test/regress/regress0/arith/integers' >make[9]: Entering directory `/builddir/build/BUILD/cvc4-1.3/builds/armv7hl-redhat-linux-gnu/default-proof/test/regress/regress0/arith/integers' >make[9]: Nothing to be done for `install-exec-am'. >make[9]: Nothing to be done for `install-data-am'. >make[9]: Leaving directory `/builddir/build/BUILD/cvc4-1.3/builds/armv7hl-redhat-linux-gnu/default-proof/test/regress/regress0/arith/integers' >make[8]: Leaving directory `/builddir/build/BUILD/cvc4-1.3/builds/armv7hl-redhat-linux-gnu/default-proof/test/regress/regress0/arith/integers' >make[7]: Leaving directory `/builddir/build/BUILD/cvc4-1.3/builds/armv7hl-redhat-linux-gnu/default-proof/test/regress/regress0/arith/integers' >make[6]: Leaving directory `/builddir/build/BUILD/cvc4-1.3/builds/armv7hl-redhat-linux-gnu/default-proof/test/regress/regress0/arith' >Making install in precedence >make[6]: Entering directory `/builddir/build/BUILD/cvc4-1.3/builds/armv7hl-redhat-linux-gnu/default-proof/test/regress/regress0/precedence' >make[7]: Entering directory `/builddir/build/BUILD/cvc4-1.3/builds/armv7hl-redhat-linux-gnu/default-proof/test/regress/regress0/precedence' >make[7]: Nothing to be done for `install-exec-am'. >make[7]: Nothing to be done for `install-data-am'. >make[7]: Leaving directory `/builddir/build/BUILD/cvc4-1.3/builds/armv7hl-redhat-linux-gnu/default-proof/test/regress/regress0/precedence' >make[6]: Leaving directory `/builddir/build/BUILD/cvc4-1.3/builds/armv7hl-redhat-linux-gnu/default-proof/test/regress/regress0/precedence' >Making install in uf >make[6]: Entering directory `/builddir/build/BUILD/cvc4-1.3/builds/armv7hl-redhat-linux-gnu/default-proof/test/regress/regress0/uf' >make[7]: Entering directory `/builddir/build/BUILD/cvc4-1.3/builds/armv7hl-redhat-linux-gnu/default-proof/test/regress/regress0/uf' >make[7]: Nothing to be done for `install-exec-am'. >make[7]: Nothing to be done for `install-data-am'. >make[7]: Leaving directory `/builddir/build/BUILD/cvc4-1.3/builds/armv7hl-redhat-linux-gnu/default-proof/test/regress/regress0/uf' >make[6]: Leaving directory `/builddir/build/BUILD/cvc4-1.3/builds/armv7hl-redhat-linux-gnu/default-proof/test/regress/regress0/uf' >Making install in uflra >make[6]: Entering directory `/builddir/build/BUILD/cvc4-1.3/builds/armv7hl-redhat-linux-gnu/default-proof/test/regress/regress0/uflra' >make[7]: Entering directory `/builddir/build/BUILD/cvc4-1.3/builds/armv7hl-redhat-linux-gnu/default-proof/test/regress/regress0/uflra' >make[7]: Nothing to be done for `install-exec-am'. >make[7]: Nothing to be done for `install-data-am'. >make[7]: Leaving directory `/builddir/build/BUILD/cvc4-1.3/builds/armv7hl-redhat-linux-gnu/default-proof/test/regress/regress0/uflra' >make[6]: Leaving directory `/builddir/build/BUILD/cvc4-1.3/builds/armv7hl-redhat-linux-gnu/default-proof/test/regress/regress0/uflra' >Making install in uflia >make[6]: Entering directory `/builddir/build/BUILD/cvc4-1.3/builds/armv7hl-redhat-linux-gnu/default-proof/test/regress/regress0/uflia' >make[7]: Entering directory `/builddir/build/BUILD/cvc4-1.3/builds/armv7hl-redhat-linux-gnu/default-proof/test/regress/regress0/uflia' >make[7]: Nothing to be done for `install-exec-am'. >make[7]: Nothing to be done for `install-data-am'. >make[7]: Leaving directory `/builddir/build/BUILD/cvc4-1.3/builds/armv7hl-redhat-linux-gnu/default-proof/test/regress/regress0/uflia' >make[6]: Leaving directory `/builddir/build/BUILD/cvc4-1.3/builds/armv7hl-redhat-linux-gnu/default-proof/test/regress/regress0/uflia' >Making install in bv >make[6]: Entering directory `/builddir/build/BUILD/cvc4-1.3/builds/armv7hl-redhat-linux-gnu/default-proof/test/regress/regress0/bv' >Making install in . >make[7]: Entering directory `/builddir/build/BUILD/cvc4-1.3/builds/armv7hl-redhat-linux-gnu/default-proof/test/regress/regress0/bv' >make[8]: Entering directory `/builddir/build/BUILD/cvc4-1.3/builds/armv7hl-redhat-linux-gnu/default-proof/test/regress/regress0/bv' >make[8]: Nothing to be done for `install-exec-am'. >make[8]: Nothing to be done for `install-data-am'. >make[8]: Leaving directory `/builddir/build/BUILD/cvc4-1.3/builds/armv7hl-redhat-linux-gnu/default-proof/test/regress/regress0/bv' >make[7]: Leaving directory `/builddir/build/BUILD/cvc4-1.3/builds/armv7hl-redhat-linux-gnu/default-proof/test/regress/regress0/bv' >Making install in core >make[7]: Entering directory `/builddir/build/BUILD/cvc4-1.3/builds/armv7hl-redhat-linux-gnu/default-proof/test/regress/regress0/bv/core' >make[8]: Entering directory `/builddir/build/BUILD/cvc4-1.3/builds/armv7hl-redhat-linux-gnu/default-proof/test/regress/regress0/bv/core' >make[8]: Nothing to be done for `install-exec-am'. >make[8]: Nothing to be done for `install-data-am'. >make[8]: Leaving directory `/builddir/build/BUILD/cvc4-1.3/builds/armv7hl-redhat-linux-gnu/default-proof/test/regress/regress0/bv/core' >make[7]: Leaving directory `/builddir/build/BUILD/cvc4-1.3/builds/armv7hl-redhat-linux-gnu/default-proof/test/regress/regress0/bv/core' >make[6]: Leaving directory `/builddir/build/BUILD/cvc4-1.3/builds/armv7hl-redhat-linux-gnu/default-proof/test/regress/regress0/bv' >Making install in arrays >make[6]: Entering directory `/builddir/build/BUILD/cvc4-1.3/builds/armv7hl-redhat-linux-gnu/default-proof/test/regress/regress0/arrays' >make[7]: Entering directory `/builddir/build/BUILD/cvc4-1.3/builds/armv7hl-redhat-linux-gnu/default-proof/test/regress/regress0/arrays' >make[7]: Nothing to be done for `install-exec-am'. >make[7]: Nothing to be done for `install-data-am'. >make[7]: Leaving directory `/builddir/build/BUILD/cvc4-1.3/builds/armv7hl-redhat-linux-gnu/default-proof/test/regress/regress0/arrays' >make[6]: Leaving directory `/builddir/build/BUILD/cvc4-1.3/builds/armv7hl-redhat-linux-gnu/default-proof/test/regress/regress0/arrays' >Making install in aufbv >make[6]: Entering directory `/builddir/build/BUILD/cvc4-1.3/builds/armv7hl-redhat-linux-gnu/default-proof/test/regress/regress0/aufbv' >make[7]: Entering directory `/builddir/build/BUILD/cvc4-1.3/builds/armv7hl-redhat-linux-gnu/default-proof/test/regress/regress0/aufbv' >make[7]: Nothing to be done for `install-exec-am'. >make[7]: Nothing to be done for `install-data-am'. >make[7]: Leaving directory `/builddir/build/BUILD/cvc4-1.3/builds/armv7hl-redhat-linux-gnu/default-proof/test/regress/regress0/aufbv' >make[6]: Leaving directory `/builddir/build/BUILD/cvc4-1.3/builds/armv7hl-redhat-linux-gnu/default-proof/test/regress/regress0/aufbv' >Making install in auflia >make[6]: Entering directory `/builddir/build/BUILD/cvc4-1.3/builds/armv7hl-redhat-linux-gnu/default-proof/test/regress/regress0/auflia' >make[7]: Entering directory `/builddir/build/BUILD/cvc4-1.3/builds/armv7hl-redhat-linux-gnu/default-proof/test/regress/regress0/auflia' >make[7]: Nothing to be done for `install-exec-am'. >make[7]: Nothing to be done for `install-data-am'. >make[7]: Leaving directory `/builddir/build/BUILD/cvc4-1.3/builds/armv7hl-redhat-linux-gnu/default-proof/test/regress/regress0/auflia' >make[6]: Leaving directory `/builddir/build/BUILD/cvc4-1.3/builds/armv7hl-redhat-linux-gnu/default-proof/test/regress/regress0/auflia' >Making install in datatypes >make[6]: Entering directory `/builddir/build/BUILD/cvc4-1.3/builds/armv7hl-redhat-linux-gnu/default-proof/test/regress/regress0/datatypes' >Making install in . >make[7]: Entering directory `/builddir/build/BUILD/cvc4-1.3/builds/armv7hl-redhat-linux-gnu/default-proof/test/regress/regress0/datatypes' >make[8]: Entering directory `/builddir/build/BUILD/cvc4-1.3/builds/armv7hl-redhat-linux-gnu/default-proof/test/regress/regress0/datatypes' >make[8]: Nothing to be done for `install-exec-am'. >make[8]: Nothing to be done for `install-data-am'. >make[8]: Leaving directory `/builddir/build/BUILD/cvc4-1.3/builds/armv7hl-redhat-linux-gnu/default-proof/test/regress/regress0/datatypes' >make[7]: Leaving directory `/builddir/build/BUILD/cvc4-1.3/builds/armv7hl-redhat-linux-gnu/default-proof/test/regress/regress0/datatypes' >make[6]: Leaving directory `/builddir/build/BUILD/cvc4-1.3/builds/armv7hl-redhat-linux-gnu/default-proof/test/regress/regress0/datatypes' >Making install in quantifiers >make[6]: Entering directory `/builddir/build/BUILD/cvc4-1.3/builds/armv7hl-redhat-linux-gnu/default-proof/test/regress/regress0/quantifiers' >make[7]: Entering directory `/builddir/build/BUILD/cvc4-1.3/builds/armv7hl-redhat-linux-gnu/default-proof/test/regress/regress0/quantifiers' >make[7]: Nothing to be done for `install-exec-am'. >make[7]: Nothing to be done for `install-data-am'. >make[7]: Leaving directory `/builddir/build/BUILD/cvc4-1.3/builds/armv7hl-redhat-linux-gnu/default-proof/test/regress/regress0/quantifiers' >make[6]: Leaving directory `/builddir/build/BUILD/cvc4-1.3/builds/armv7hl-redhat-linux-gnu/default-proof/test/regress/regress0/quantifiers' >Making install in rewriterules >make[6]: Entering directory `/builddir/build/BUILD/cvc4-1.3/builds/armv7hl-redhat-linux-gnu/default-proof/test/regress/regress0/rewriterules' >make[7]: Entering directory `/builddir/build/BUILD/cvc4-1.3/builds/armv7hl-redhat-linux-gnu/default-proof/test/regress/regress0/rewriterules' >make[7]: Nothing to be done for `install-exec-am'. >make[7]: Nothing to be done for `install-data-am'. >make[7]: Leaving directory `/builddir/build/BUILD/cvc4-1.3/builds/armv7hl-redhat-linux-gnu/default-proof/test/regress/regress0/rewriterules' >make[6]: Leaving directory `/builddir/build/BUILD/cvc4-1.3/builds/armv7hl-redhat-linux-gnu/default-proof/test/regress/regress0/rewriterules' >Making install in lemmas >make[6]: Entering directory `/builddir/build/BUILD/cvc4-1.3/builds/armv7hl-redhat-linux-gnu/default-proof/test/regress/regress0/lemmas' >Making install in . >make[7]: Entering directory `/builddir/build/BUILD/cvc4-1.3/builds/armv7hl-redhat-linux-gnu/default-proof/test/regress/regress0/lemmas' >make[8]: Entering directory `/builddir/build/BUILD/cvc4-1.3/builds/armv7hl-redhat-linux-gnu/default-proof/test/regress/regress0/lemmas' >make[8]: Nothing to be done for `install-exec-am'. >make[8]: Nothing to be done for `install-data-am'. >make[8]: Leaving directory `/builddir/build/BUILD/cvc4-1.3/builds/armv7hl-redhat-linux-gnu/default-proof/test/regress/regress0/lemmas' >make[7]: Leaving directory `/builddir/build/BUILD/cvc4-1.3/builds/armv7hl-redhat-linux-gnu/default-proof/test/regress/regress0/lemmas' >make[6]: Leaving directory `/builddir/build/BUILD/cvc4-1.3/builds/armv7hl-redhat-linux-gnu/default-proof/test/regress/regress0/lemmas' >Making install in push-pop >make[6]: Entering directory `/builddir/build/BUILD/cvc4-1.3/builds/armv7hl-redhat-linux-gnu/default-proof/test/regress/regress0/push-pop' >Making install in boolean >make[7]: Entering directory `/builddir/build/BUILD/cvc4-1.3/builds/armv7hl-redhat-linux-gnu/default-proof/test/regress/regress0/push-pop/boolean' >Making install in . >make[8]: Entering directory `/builddir/build/BUILD/cvc4-1.3/builds/armv7hl-redhat-linux-gnu/default-proof/test/regress/regress0/push-pop/boolean' >make[9]: Entering directory `/builddir/build/BUILD/cvc4-1.3/builds/armv7hl-redhat-linux-gnu/default-proof/test/regress/regress0/push-pop/boolean' >make[9]: Nothing to be done for `install-exec-am'. >make[9]: Nothing to be done for `install-data-am'. >make[9]: Leaving directory `/builddir/build/BUILD/cvc4-1.3/builds/armv7hl-redhat-linux-gnu/default-proof/test/regress/regress0/push-pop/boolean' >make[8]: Leaving directory `/builddir/build/BUILD/cvc4-1.3/builds/armv7hl-redhat-linux-gnu/default-proof/test/regress/regress0/push-pop/boolean' >make[7]: Leaving directory `/builddir/build/BUILD/cvc4-1.3/builds/armv7hl-redhat-linux-gnu/default-proof/test/regress/regress0/push-pop/boolean' >Making install in arith >make[7]: Entering directory `/builddir/build/BUILD/cvc4-1.3/builds/armv7hl-redhat-linux-gnu/default-proof/test/regress/regress0/push-pop/arith' >Making install in . >make[8]: Entering directory `/builddir/build/BUILD/cvc4-1.3/builds/armv7hl-redhat-linux-gnu/default-proof/test/regress/regress0/push-pop/arith' >make[9]: Entering directory `/builddir/build/BUILD/cvc4-1.3/builds/armv7hl-redhat-linux-gnu/default-proof/test/regress/regress0/push-pop/arith' >make[9]: Nothing to be done for `install-exec-am'. >make[9]: Nothing to be done for `install-data-am'. >make[9]: Leaving directory `/builddir/build/BUILD/cvc4-1.3/builds/armv7hl-redhat-linux-gnu/default-proof/test/regress/regress0/push-pop/arith' >make[8]: Leaving directory `/builddir/build/BUILD/cvc4-1.3/builds/armv7hl-redhat-linux-gnu/default-proof/test/regress/regress0/push-pop/arith' >make[7]: Leaving directory `/builddir/build/BUILD/cvc4-1.3/builds/armv7hl-redhat-linux-gnu/default-proof/test/regress/regress0/push-pop/arith' >Making install in . >make[7]: Entering directory `/builddir/build/BUILD/cvc4-1.3/builds/armv7hl-redhat-linux-gnu/default-proof/test/regress/regress0/push-pop' >make[8]: Entering directory `/builddir/build/BUILD/cvc4-1.3/builds/armv7hl-redhat-linux-gnu/default-proof/test/regress/regress0/push-pop' >make[8]: Nothing to be done for `install-exec-am'. >make[8]: Nothing to be done for `install-data-am'. >make[8]: Leaving directory `/builddir/build/BUILD/cvc4-1.3/builds/armv7hl-redhat-linux-gnu/default-proof/test/regress/regress0/push-pop' >make[7]: Leaving directory `/builddir/build/BUILD/cvc4-1.3/builds/armv7hl-redhat-linux-gnu/default-proof/test/regress/regress0/push-pop' >make[6]: Leaving directory `/builddir/build/BUILD/cvc4-1.3/builds/armv7hl-redhat-linux-gnu/default-proof/test/regress/regress0/push-pop' >Making install in preprocess >make[6]: Entering directory `/builddir/build/BUILD/cvc4-1.3/builds/armv7hl-redhat-linux-gnu/default-proof/test/regress/regress0/preprocess' >Making install in . >make[7]: Entering directory `/builddir/build/BUILD/cvc4-1.3/builds/armv7hl-redhat-linux-gnu/default-proof/test/regress/regress0/preprocess' >make[8]: Entering directory `/builddir/build/BUILD/cvc4-1.3/builds/armv7hl-redhat-linux-gnu/default-proof/test/regress/regress0/preprocess' >make[8]: Nothing to be done for `install-exec-am'. >make[8]: Nothing to be done for `install-data-am'. >make[8]: Leaving directory `/builddir/build/BUILD/cvc4-1.3/builds/armv7hl-redhat-linux-gnu/default-proof/test/regress/regress0/preprocess' >make[7]: Leaving directory `/builddir/build/BUILD/cvc4-1.3/builds/armv7hl-redhat-linux-gnu/default-proof/test/regress/regress0/preprocess' >make[6]: Leaving directory `/builddir/build/BUILD/cvc4-1.3/builds/armv7hl-redhat-linux-gnu/default-proof/test/regress/regress0/preprocess' >Making install in tptp >make[6]: Entering directory `/builddir/build/BUILD/cvc4-1.3/builds/armv7hl-redhat-linux-gnu/default-proof/test/regress/regress0/tptp' >make[7]: Entering directory `/builddir/build/BUILD/cvc4-1.3/builds/armv7hl-redhat-linux-gnu/default-proof/test/regress/regress0/tptp' >make[7]: Nothing to be done for `install-exec-am'. >make[7]: Nothing to be done for `install-data-am'. >make[7]: Leaving directory `/builddir/build/BUILD/cvc4-1.3/builds/armv7hl-redhat-linux-gnu/default-proof/test/regress/regress0/tptp' >make[6]: Leaving directory `/builddir/build/BUILD/cvc4-1.3/builds/armv7hl-redhat-linux-gnu/default-proof/test/regress/regress0/tptp' >Making install in unconstrained >make[6]: Entering directory `/builddir/build/BUILD/cvc4-1.3/builds/armv7hl-redhat-linux-gnu/default-proof/test/regress/regress0/unconstrained' >make[7]: Entering directory `/builddir/build/BUILD/cvc4-1.3/builds/armv7hl-redhat-linux-gnu/default-proof/test/regress/regress0/unconstrained' >make[7]: Nothing to be done for `install-exec-am'. >make[7]: Nothing to be done for `install-data-am'. >make[7]: Leaving directory `/builddir/build/BUILD/cvc4-1.3/builds/armv7hl-redhat-linux-gnu/default-proof/test/regress/regress0/unconstrained' >make[6]: Leaving directory `/builddir/build/BUILD/cvc4-1.3/builds/armv7hl-redhat-linux-gnu/default-proof/test/regress/regress0/unconstrained' >Making install in decision >make[6]: Entering directory `/builddir/build/BUILD/cvc4-1.3/builds/armv7hl-redhat-linux-gnu/default-proof/test/regress/regress0/decision' >make[7]: Entering directory `/builddir/build/BUILD/cvc4-1.3/builds/armv7hl-redhat-linux-gnu/default-proof/test/regress/regress0/decision' >make[7]: Nothing to be done for `install-exec-am'. >make[7]: Nothing to be done for `install-data-am'. >make[7]: Leaving directory `/builddir/build/BUILD/cvc4-1.3/builds/armv7hl-redhat-linux-gnu/default-proof/test/regress/regress0/decision' >make[6]: Leaving directory `/builddir/build/BUILD/cvc4-1.3/builds/armv7hl-redhat-linux-gnu/default-proof/test/regress/regress0/decision' >Making install in fmf >make[6]: Entering directory `/builddir/build/BUILD/cvc4-1.3/builds/armv7hl-redhat-linux-gnu/default-proof/test/regress/regress0/fmf' >make[7]: Entering directory `/builddir/build/BUILD/cvc4-1.3/builds/armv7hl-redhat-linux-gnu/default-proof/test/regress/regress0/fmf' >make[7]: Nothing to be done for `install-exec-am'. >make[7]: Nothing to be done for `install-data-am'. >make[7]: Leaving directory `/builddir/build/BUILD/cvc4-1.3/builds/armv7hl-redhat-linux-gnu/default-proof/test/regress/regress0/fmf' >make[6]: Leaving directory `/builddir/build/BUILD/cvc4-1.3/builds/armv7hl-redhat-linux-gnu/default-proof/test/regress/regress0/fmf' >Making install in strings >make[6]: Entering directory `/builddir/build/BUILD/cvc4-1.3/builds/armv7hl-redhat-linux-gnu/default-proof/test/regress/regress0/strings' >make[7]: Entering directory `/builddir/build/BUILD/cvc4-1.3/builds/armv7hl-redhat-linux-gnu/default-proof/test/regress/regress0/strings' >make[7]: Nothing to be done for `install-exec-am'. >make[7]: Nothing to be done for `install-data-am'. >make[7]: Leaving directory `/builddir/build/BUILD/cvc4-1.3/builds/armv7hl-redhat-linux-gnu/default-proof/test/regress/regress0/strings' >make[6]: Leaving directory `/builddir/build/BUILD/cvc4-1.3/builds/armv7hl-redhat-linux-gnu/default-proof/test/regress/regress0/strings' >make[5]: Leaving directory `/builddir/build/BUILD/cvc4-1.3/builds/armv7hl-redhat-linux-gnu/default-proof/test/regress/regress0' >make[5]: Entering directory `/builddir/build/BUILD/cvc4-1.3/builds/armv7hl-redhat-linux-gnu/default-proof/test/regress' >make[6]: Entering directory `/builddir/build/BUILD/cvc4-1.3/builds/armv7hl-redhat-linux-gnu/default-proof/test/regress' >make[6]: Nothing to be done for `install-exec-am'. >make[6]: Nothing to be done for `install-data-am'. >make[6]: Leaving directory `/builddir/build/BUILD/cvc4-1.3/builds/armv7hl-redhat-linux-gnu/default-proof/test/regress' >make[5]: Leaving directory `/builddir/build/BUILD/cvc4-1.3/builds/armv7hl-redhat-linux-gnu/default-proof/test/regress' >make[4]: Leaving directory `/builddir/build/BUILD/cvc4-1.3/builds/armv7hl-redhat-linux-gnu/default-proof/test/regress' >Making install in . >make[4]: Entering directory `/builddir/build/BUILD/cvc4-1.3/builds/armv7hl-redhat-linux-gnu/default-proof/test' >make[5]: Entering directory `/builddir/build/BUILD/cvc4-1.3/builds/armv7hl-redhat-linux-gnu/default-proof/test' >make[5]: Nothing to be done for `install-exec-am'. >make[5]: Nothing to be done for `install-data-am'. >make[5]: Leaving directory `/builddir/build/BUILD/cvc4-1.3/builds/armv7hl-redhat-linux-gnu/default-proof/test' >make[4]: Leaving directory `/builddir/build/BUILD/cvc4-1.3/builds/armv7hl-redhat-linux-gnu/default-proof/test' >make[3]: Leaving directory `/builddir/build/BUILD/cvc4-1.3/builds/armv7hl-redhat-linux-gnu/default-proof/test' >Making install in contrib >make[3]: Entering directory `/builddir/build/BUILD/cvc4-1.3/builds/armv7hl-redhat-linux-gnu/default-proof/contrib' >make[4]: Entering directory `/builddir/build/BUILD/cvc4-1.3/builds/armv7hl-redhat-linux-gnu/default-proof/contrib' >make[4]: Nothing to be done for `install-exec-am'. >make[4]: Nothing to be done for `install-data-am'. >make[4]: Leaving directory `/builddir/build/BUILD/cvc4-1.3/builds/armv7hl-redhat-linux-gnu/default-proof/contrib' >make[3]: Leaving directory `/builddir/build/BUILD/cvc4-1.3/builds/armv7hl-redhat-linux-gnu/default-proof/contrib' >make[3]: Entering directory `/builddir/build/BUILD/cvc4-1.3/builds/armv7hl-redhat-linux-gnu/default-proof' >make[4]: Entering directory `/builddir/build/BUILD/cvc4-1.3/builds/armv7hl-redhat-linux-gnu/default-proof' >make[4]: Nothing to be done for `install-exec-am'. >test -z "/usr/share/man/man1" || /usr/bin/mkdir -p "/builddir/build/BUILDROOT/cvc4-1.3-6.fc21.arm/usr/share/man/man1" > /usr/bin/install -c -m 644 /builddir/build/BUILD/cvc4-1.3/builds/armv7hl-redhat-linux-gnu/default-proof/../../../doc/cvc4.1 doc/pcvc4.1 '/builddir/build/BUILDROOT/cvc4-1.3-6.fc21.arm/usr/share/man/man1' >test -z "/usr/share/man/man3" || /usr/bin/mkdir -p "/builddir/build/BUILDROOT/cvc4-1.3-6.fc21.arm/usr/share/man/man3" > /usr/bin/install -c -m 644 /builddir/build/BUILD/cvc4-1.3/builds/armv7hl-redhat-linux-gnu/default-proof/../../../doc/libcvc4.3 /builddir/build/BUILD/cvc4-1.3/builds/armv7hl-redhat-linux-gnu/default-proof/../../../doc/SmtEngine.3cvc /builddir/build/BUILD/cvc4-1.3/builds/armv7hl-redhat-linux-gnu/default-proof/../../../doc/options.3cvc doc/libcvc4parser.3 doc/libcvc4compat.3 '/builddir/build/BUILDROOT/cvc4-1.3-6.fc21.arm/usr/share/man/man3' >test -z "/usr/share/man/man5" || /usr/bin/mkdir -p "/builddir/build/BUILDROOT/cvc4-1.3-6.fc21.arm/usr/share/man/man5" > /usr/bin/install -c -m 644 doc/cvc4.5 '/builddir/build/BUILDROOT/cvc4-1.3-6.fc21.arm/usr/share/man/man5' >make[4]: Leaving directory `/builddir/build/BUILD/cvc4-1.3/builds/armv7hl-redhat-linux-gnu/default-proof' >make[3]: Leaving directory `/builddir/build/BUILD/cvc4-1.3/builds/armv7hl-redhat-linux-gnu/default-proof' >make[2]: Leaving directory `/builddir/build/BUILD/cvc4-1.3/builds/armv7hl-redhat-linux-gnu/default-proof' >make[1]: Leaving directory `/builddir/build/BUILD/cvc4-1.3/builds' >make[1]: Entering directory `/builddir/build/BUILD/cvc4-1.3/builds' >(cd armv7hl-redhat-linux-gnu/default-proof && /usr/bin/make show-config) >make[2]: Entering directory `/builddir/build/BUILD/cvc4-1.3/builds/armv7hl-redhat-linux-gnu/default-proof' >=============================================================================== >This CVC4 build was configured with: > configure --build=armv7hl-redhat-linux-gnu --host=armv7hl-redhat-linux-gnu --program-prefix= --disable-dependency-tracking --prefix=/usr --exec-prefix=/usr --bindir=/usr/bin --sbindir=/usr/sbin --sysconfdir=/etc --datadir=/usr/share --includedir=/usr/include --libdir=/usr/lib --libexecdir=/usr/libexec --localstatedir=/var --sharedstatedir=/var/lib --mandir=/usr/share/man --infodir=/usr/share/info --enable-proof --enable-language-bindings=all --with-portfolio --with-google-perftools --with-glpk --without-compat CPPFLAGS=-I/usr/lib/jvm/java/include -I/usr/lib/jvm/java/include/linux -DFEDORA_GLPK_ITCNT "-Dlpx_get_int_parm(x,y)=glp_get_it_cnt(x)" LFSCARGS=/usr/share/lfsc/sat.plf >=============================================================================== >make[2]: Leaving directory `/builddir/build/BUILD/cvc4-1.3/builds/armv7hl-redhat-linux-gnu/default-proof' >make[1]: Leaving directory `/builddir/build/BUILD/cvc4-1.3/builds' >+ find /builddir/build/BUILDROOT/cvc4-1.3-6.fc21.arm/usr/lib -name '*.la' >+ xargs rm -f >+ rm -fr /builddir/build/BUILDROOT/cvc4-1.3-6.fc21.arm/usr/lib/csharp /builddir/build/BUILDROOT/cvc4-1.3-6.fc21.arm/usr/lib/ocaml /builddir/build/BUILDROOT/cvc4-1.3-6.fc21.arm/usr/lib/perl5 /builddir/build/BUILDROOT/cvc4-1.3-6.fc21.arm/usr/lib/php /builddir/build/BUILDROOT/cvc4-1.3-6.fc21.arm/usr/lib/pyshared /builddir/build/BUILDROOT/cvc4-1.3-6.fc21.arm/usr/lib/ruby /builddir/build/BUILDROOT/cvc4-1.3-6.fc21.arm/usr/lib/tcltk >+ rm -fr /builddir/build/BUILDROOT/cvc4-1.3-6.fc21.arm/usr/share/csharp /builddir/build/BUILDROOT/cvc4-1.3-6.fc21.arm/usr/share/perl5 /builddir/build/BUILDROOT/cvc4-1.3-6.fc21.arm/usr/share/php /builddir/build/BUILDROOT/cvc4-1.3-6.fc21.arm/usr/share/pyshared >+ '[' /usr/lib/java '!=' /usr/lib/java ']' >+ chrpath -d /builddir/build/BUILDROOT/cvc4-1.3-6.fc21.arm/usr/bin/cvc4 /builddir/build/BUILDROOT/cvc4-1.3-6.fc21.arm/usr/bin/pcvc4 /builddir/build/BUILDROOT/cvc4-1.3-6.fc21.arm/usr/lib/libcvc4.so.2.0.0 /builddir/build/BUILDROOT/cvc4-1.3-6.fc21.arm/usr/lib/libcvc4parser.so.2.0.0 /builddir/build/BUILDROOT/cvc4-1.3-6.fc21.arm/usr/lib/java/cvc4/libcvc4jni.so.2.0.0 >+ BUILDS='builds/*-*-linux-gnu' >+ for dir in decision expr main parser printer prop smt theory theory/arith theory/arrays theory/booleans theory/bv theory/datatypes theory/idl theory/quantifiers theory/rewriterules theory/strings theory/uf >+ ln -s /builddir/build/BUILD/cvc4-1.3/src/decision/options builds/armv7hl-redhat-linux-gnu/default-proof/src/decision >+ for dir in decision expr main parser printer prop smt theory theory/arith theory/arrays theory/booleans theory/bv theory/datatypes theory/idl theory/quantifiers theory/rewriterules theory/strings theory/uf >+ ln -s /builddir/build/BUILD/cvc4-1.3/src/expr/options builds/armv7hl-redhat-linux-gnu/default-proof/src/expr >+ for dir in decision expr main parser printer prop smt theory theory/arith theory/arrays theory/booleans theory/bv theory/datatypes theory/idl theory/quantifiers theory/rewriterules theory/strings theory/uf >+ ln -s /builddir/build/BUILD/cvc4-1.3/src/main/options builds/armv7hl-redhat-linux-gnu/default-proof/src/main >+ for dir in decision expr main parser printer prop smt theory theory/arith theory/arrays theory/booleans theory/bv theory/datatypes theory/idl theory/quantifiers theory/rewriterules theory/strings theory/uf >+ ln -s /builddir/build/BUILD/cvc4-1.3/src/parser/options builds/armv7hl-redhat-linux-gnu/default-proof/src/parser >+ for dir in decision expr main parser printer prop smt theory theory/arith theory/arrays theory/booleans theory/bv theory/datatypes theory/idl theory/quantifiers theory/rewriterules theory/strings theory/uf >+ ln -s /builddir/build/BUILD/cvc4-1.3/src/printer/options builds/armv7hl-redhat-linux-gnu/default-proof/src/printer >+ for dir in decision expr main parser printer prop smt theory theory/arith theory/arrays theory/booleans theory/bv theory/datatypes theory/idl theory/quantifiers theory/rewriterules theory/strings theory/uf >+ ln -s /builddir/build/BUILD/cvc4-1.3/src/prop/options builds/armv7hl-redhat-linux-gnu/default-proof/src/prop >+ for dir in decision expr main parser printer prop smt theory theory/arith theory/arrays theory/booleans theory/bv theory/datatypes theory/idl theory/quantifiers theory/rewriterules theory/strings theory/uf >+ ln -s /builddir/build/BUILD/cvc4-1.3/src/smt/options builds/armv7hl-redhat-linux-gnu/default-proof/src/smt >+ for dir in decision expr main parser printer prop smt theory theory/arith theory/arrays theory/booleans theory/bv theory/datatypes theory/idl theory/quantifiers theory/rewriterules theory/strings theory/uf >+ ln -s /builddir/build/BUILD/cvc4-1.3/src/theory/options builds/armv7hl-redhat-linux-gnu/default-proof/src/theory >+ for dir in decision expr main parser printer prop smt theory theory/arith theory/arrays theory/booleans theory/bv theory/datatypes theory/idl theory/quantifiers theory/rewriterules theory/strings theory/uf >+ ln -s /builddir/build/BUILD/cvc4-1.3/src/theory/arith/options builds/armv7hl-redhat-linux-gnu/default-proof/src/theory/arith >+ for dir in decision expr main parser printer prop smt theory theory/arith theory/arrays theory/booleans theory/bv theory/datatypes theory/idl theory/quantifiers theory/rewriterules theory/strings theory/uf >+ ln -s /builddir/build/BUILD/cvc4-1.3/src/theory/arrays/options builds/armv7hl-redhat-linux-gnu/default-proof/src/theory/arrays >+ for dir in decision expr main parser printer prop smt theory theory/arith theory/arrays theory/booleans theory/bv theory/datatypes theory/idl theory/quantifiers theory/rewriterules theory/strings theory/uf >+ ln -s /builddir/build/BUILD/cvc4-1.3/src/theory/booleans/options builds/armv7hl-redhat-linux-gnu/default-proof/src/theory/booleans >+ for dir in decision expr main parser printer prop smt theory theory/arith theory/arrays theory/booleans theory/bv theory/datatypes theory/idl theory/quantifiers theory/rewriterules theory/strings theory/uf >+ ln -s /builddir/build/BUILD/cvc4-1.3/src/theory/bv/options builds/armv7hl-redhat-linux-gnu/default-proof/src/theory/bv >+ for dir in decision expr main parser printer prop smt theory theory/arith theory/arrays theory/booleans theory/bv theory/datatypes theory/idl theory/quantifiers theory/rewriterules theory/strings theory/uf >+ ln -s /builddir/build/BUILD/cvc4-1.3/src/theory/datatypes/options builds/armv7hl-redhat-linux-gnu/default-proof/src/theory/datatypes >+ for dir in decision expr main parser printer prop smt theory theory/arith theory/arrays theory/booleans theory/bv theory/datatypes theory/idl theory/quantifiers theory/rewriterules theory/strings theory/uf >+ ln -s /builddir/build/BUILD/cvc4-1.3/src/theory/idl/options builds/armv7hl-redhat-linux-gnu/default-proof/src/theory/idl >+ for dir in decision expr main parser printer prop smt theory theory/arith theory/arrays theory/booleans theory/bv theory/datatypes theory/idl theory/quantifiers theory/rewriterules theory/strings theory/uf >+ ln -s /builddir/build/BUILD/cvc4-1.3/src/theory/quantifiers/options builds/armv7hl-redhat-linux-gnu/default-proof/src/theory/quantifiers >+ for dir in decision expr main parser printer prop smt theory theory/arith theory/arrays theory/booleans theory/bv theory/datatypes theory/idl theory/quantifiers theory/rewriterules theory/strings theory/uf >+ ln -s /builddir/build/BUILD/cvc4-1.3/src/theory/rewriterules/options builds/armv7hl-redhat-linux-gnu/default-proof/src/theory/rewriterules >+ for dir in decision expr main parser printer prop smt theory theory/arith theory/arrays theory/booleans theory/bv theory/datatypes theory/idl theory/quantifiers theory/rewriterules theory/strings theory/uf >+ ln -s /builddir/build/BUILD/cvc4-1.3/src/theory/strings/options builds/armv7hl-redhat-linux-gnu/default-proof/src/theory/strings >+ for dir in decision expr main parser printer prop smt theory theory/arith theory/arrays theory/booleans theory/bv theory/datatypes theory/idl theory/quantifiers theory/rewriterules theory/strings theory/uf >+ ln -s /builddir/build/BUILD/cvc4-1.3/src/theory/uf/options builds/armv7hl-redhat-linux-gnu/default-proof/src/theory/uf >+ ln -s default-proof/src builds/armv7hl-redhat-linux-gnu >+ ln -s /builddir/build/BUILD/cvc4-1.3/src/options/base_options builds/armv7hl-redhat-linux-gnu/default-proof/src/options >+ ln -s /builddir/build/BUILD/cvc4-1.3/src/options/base_options_template.cpp builds/armv7hl-redhat-linux-gnu/src/options >+ ln -s /builddir/build/BUILD/cvc4-1.3/src/options/options_holder_template.h builds/armv7hl-redhat-linux-gnu/src/options >+ ln -s /builddir/build/BUILD/cvc4-1.3/src/options/options_template.cpp builds/armv7hl-redhat-linux-gnu/src/options >+ ln -s /builddir/build/BUILD/cvc4-1.3/src/smt/smt_options_template.cpp builds/armv7hl-redhat-linux-gnu/src/smt >+ /usr/lib/rpm/find-debuginfo.sh --strict-build-id -m --run-dwz --dwz-low-mem-die-limit 10000000 --dwz-max-die-limit 50000000 /builddir/build/BUILD/cvc4-1.3 >extracting debug info from /builddir/build/BUILDROOT/cvc4-1.3-6.fc21.arm/usr/bin/cvc4 >extracting debug info from /builddir/build/BUILDROOT/cvc4-1.3-6.fc21.arm/usr/bin/pcvc4 >extracting debug info from /builddir/build/BUILDROOT/cvc4-1.3-6.fc21.arm/usr/lib/libcvc4.so.2.0.0 >extracting debug info from /builddir/build/BUILDROOT/cvc4-1.3-6.fc21.arm/usr/lib/java/cvc4/libcvc4jni.so.2.0.0 >extracting debug info from /builddir/build/BUILDROOT/cvc4-1.3-6.fc21.arm/usr/lib/libcvc4parser.so.2.0.0 >/usr/lib/rpm/sepdebugcrcfix: Updated 5 CRC32s, 0 CRC32s did match. >symlinked /usr/lib/debug/usr/lib/libcvc4.so.2.0.0.debug to /usr/lib/debug/usr/lib/libcvc4.so.2.debug >symlinked /usr/lib/debug/usr/lib/libcvc4.so.2.0.0.debug to /usr/lib/debug/usr/lib/libcvc4.so.debug >symlinked /usr/lib/debug/usr/lib/libcvc4parser.so.2.0.0.debug to /usr/lib/debug/usr/lib/libcvc4parser.so.debug >symlinked /usr/lib/debug/usr/lib/libcvc4parser.so.2.0.0.debug to /usr/lib/debug/usr/lib/libcvc4parser.so.2.debug >symlinked /usr/lib/debug/usr/lib/java/cvc4/libcvc4jni.so.2.0.0.debug to /usr/lib/debug/usr/lib/java/cvc4/libcvc4jni.so.debug >symlinked /usr/lib/debug/usr/lib/java/cvc4/libcvc4jni.so.2.0.0.debug to /usr/lib/debug/usr/lib/java/cvc4/libcvc4jni.so.2.debug >20786 blocks >+ /usr/lib/rpm/check-buildroot >+ /usr/lib/rpm/brp-compress >+ /usr/lib/rpm/brp-strip-static-archive /usr/bin/strip >+ /usr/lib/rpm/brp-python-bytecompile /usr/bin/python 1 >+ /usr/lib/rpm/brp-python-hardlink >+ /usr/lib/rpm/redhat/brp-java-repack-jars >Executing(%check): /bin/sh -e /var/tmp/rpm-tmp.xOljM5 >+ umask 022 >+ cd /builddir/build/BUILD >+ cd cvc4-1.3 >+ ulimit -s unlimited >++ find builds/armv7hl-redhat-linux-gnu/default-proof/test -name Makefile >+ for mk in '$(find builds/*-*-linux-gnu/default-proof/test -name Makefile)' >+ sed -e 's,^\(LFSCARGS =\).*,\1 /builddir/build/SOURCES/smt.plf /builddir/build/SOURCES/sat.plf /builddir/build/SOURCES/th_base.plf,' -e 's,^\(TESTS_ENVIRONMENT = LFSC=\)".*",\1"lfsc /builddir/build/SOURCES/smt.plf /builddir/build/SOURCES/sat.plf /builddir/build/SOURCES/th_base.plf",' -i builds/armv7hl-redhat-linux-gnu/default-proof/test/system/Makefile >+ for mk in '$(find builds/*-*-linux-gnu/default-proof/test -name Makefile)' >+ sed -e 's,^\(LFSCARGS =\).*,\1 /builddir/build/SOURCES/smt.plf /builddir/build/SOURCES/sat.plf /builddir/build/SOURCES/th_base.plf,' -e 's,^\(TESTS_ENVIRONMENT = LFSC=\)".*",\1"lfsc /builddir/build/SOURCES/smt.plf /builddir/build/SOURCES/sat.plf /builddir/build/SOURCES/th_base.plf",' -i builds/armv7hl-redhat-linux-gnu/default-proof/test/unit/Makefile >+ for mk in '$(find builds/*-*-linux-gnu/default-proof/test -name Makefile)' >+ sed -e 's,^\(LFSCARGS =\).*,\1 /builddir/build/SOURCES/smt.plf /builddir/build/SOURCES/sat.plf /builddir/build/SOURCES/th_base.plf,' -e 's,^\(TESTS_ENVIRONMENT = LFSC=\)".*",\1"lfsc /builddir/build/SOURCES/smt.plf /builddir/build/SOURCES/sat.plf /builddir/build/SOURCES/th_base.plf",' -i builds/armv7hl-redhat-linux-gnu/default-proof/test/Makefile >+ for mk in '$(find builds/*-*-linux-gnu/default-proof/test -name Makefile)' >+ sed -e 's,^\(LFSCARGS =\).*,\1 /builddir/build/SOURCES/smt.plf /builddir/build/SOURCES/sat.plf /builddir/build/SOURCES/th_base.plf,' -e 's,^\(TESTS_ENVIRONMENT = LFSC=\)".*",\1"lfsc /builddir/build/SOURCES/smt.plf /builddir/build/SOURCES/sat.plf /builddir/build/SOURCES/th_base.plf",' -i builds/armv7hl-redhat-linux-gnu/default-proof/test/regress/regress3/Makefile >+ for mk in '$(find builds/*-*-linux-gnu/default-proof/test -name Makefile)' >+ sed -e 's,^\(LFSCARGS =\).*,\1 /builddir/build/SOURCES/smt.plf /builddir/build/SOURCES/sat.plf /builddir/build/SOURCES/th_base.plf,' -e 's,^\(TESTS_ENVIRONMENT = LFSC=\)".*",\1"lfsc /builddir/build/SOURCES/smt.plf /builddir/build/SOURCES/sat.plf /builddir/build/SOURCES/th_base.plf",' -i builds/armv7hl-redhat-linux-gnu/default-proof/test/regress/regress2/Makefile >+ for mk in '$(find builds/*-*-linux-gnu/default-proof/test -name Makefile)' >+ sed -e 's,^\(LFSCARGS =\).*,\1 /builddir/build/SOURCES/smt.plf /builddir/build/SOURCES/sat.plf /builddir/build/SOURCES/th_base.plf,' -e 's,^\(TESTS_ENVIRONMENT = LFSC=\)".*",\1"lfsc /builddir/build/SOURCES/smt.plf /builddir/build/SOURCES/sat.plf /builddir/build/SOURCES/th_base.plf",' -i builds/armv7hl-redhat-linux-gnu/default-proof/test/regress/Makefile >+ for mk in '$(find builds/*-*-linux-gnu/default-proof/test -name Makefile)' >+ sed -e 's,^\(LFSCARGS =\).*,\1 /builddir/build/SOURCES/smt.plf /builddir/build/SOURCES/sat.plf /builddir/build/SOURCES/th_base.plf,' -e 's,^\(TESTS_ENVIRONMENT = LFSC=\)".*",\1"lfsc /builddir/build/SOURCES/smt.plf /builddir/build/SOURCES/sat.plf /builddir/build/SOURCES/th_base.plf",' -i builds/armv7hl-redhat-linux-gnu/default-proof/test/regress/regress0/uflra/Makefile >+ for mk in '$(find builds/*-*-linux-gnu/default-proof/test -name Makefile)' >+ sed -e 's,^\(LFSCARGS =\).*,\1 /builddir/build/SOURCES/smt.plf /builddir/build/SOURCES/sat.plf /builddir/build/SOURCES/th_base.plf,' -e 's,^\(TESTS_ENVIRONMENT = LFSC=\)".*",\1"lfsc /builddir/build/SOURCES/smt.plf /builddir/build/SOURCES/sat.plf /builddir/build/SOURCES/th_base.plf",' -i builds/armv7hl-redhat-linux-gnu/default-proof/test/regress/regress0/uflia/Makefile >+ for mk in '$(find builds/*-*-linux-gnu/default-proof/test -name Makefile)' >+ sed -e 's,^\(LFSCARGS =\).*,\1 /builddir/build/SOURCES/smt.plf /builddir/build/SOURCES/sat.plf /builddir/build/SOURCES/th_base.plf,' -e 's,^\(TESTS_ENVIRONMENT = LFSC=\)".*",\1"lfsc /builddir/build/SOURCES/smt.plf /builddir/build/SOURCES/sat.plf /builddir/build/SOURCES/th_base.plf",' -i builds/armv7hl-redhat-linux-gnu/default-proof/test/regress/regress0/push-pop/boolean/Makefile >+ for mk in '$(find builds/*-*-linux-gnu/default-proof/test -name Makefile)' >+ sed -e 's,^\(LFSCARGS =\).*,\1 /builddir/build/SOURCES/smt.plf /builddir/build/SOURCES/sat.plf /builddir/build/SOURCES/th_base.plf,' -e 's,^\(TESTS_ENVIRONMENT = LFSC=\)".*",\1"lfsc /builddir/build/SOURCES/smt.plf /builddir/build/SOURCES/sat.plf /builddir/build/SOURCES/th_base.plf",' -i builds/armv7hl-redhat-linux-gnu/default-proof/test/regress/regress0/push-pop/Makefile >+ for mk in '$(find builds/*-*-linux-gnu/default-proof/test -name Makefile)' >+ sed -e 's,^\(LFSCARGS =\).*,\1 /builddir/build/SOURCES/smt.plf /builddir/build/SOURCES/sat.plf /builddir/build/SOURCES/th_base.plf,' -e 's,^\(TESTS_ENVIRONMENT = LFSC=\)".*",\1"lfsc /builddir/build/SOURCES/smt.plf /builddir/build/SOURCES/sat.plf /builddir/build/SOURCES/th_base.plf",' -i builds/armv7hl-redhat-linux-gnu/default-proof/test/regress/regress0/push-pop/arith/Makefile >+ for mk in '$(find builds/*-*-linux-gnu/default-proof/test -name Makefile)' >+ sed -e 's,^\(LFSCARGS =\).*,\1 /builddir/build/SOURCES/smt.plf /builddir/build/SOURCES/sat.plf /builddir/build/SOURCES/th_base.plf,' -e 's,^\(TESTS_ENVIRONMENT = LFSC=\)".*",\1"lfsc /builddir/build/SOURCES/smt.plf /builddir/build/SOURCES/sat.plf /builddir/build/SOURCES/th_base.plf",' -i builds/armv7hl-redhat-linux-gnu/default-proof/test/regress/regress0/preprocess/Makefile >+ for mk in '$(find builds/*-*-linux-gnu/default-proof/test -name Makefile)' >+ sed -e 's,^\(LFSCARGS =\).*,\1 /builddir/build/SOURCES/smt.plf /builddir/build/SOURCES/sat.plf /builddir/build/SOURCES/th_base.plf,' -e 's,^\(TESTS_ENVIRONMENT = LFSC=\)".*",\1"lfsc /builddir/build/SOURCES/smt.plf /builddir/build/SOURCES/sat.plf /builddir/build/SOURCES/th_base.plf",' -i builds/armv7hl-redhat-linux-gnu/default-proof/test/regress/regress0/auflia/Makefile >+ for mk in '$(find builds/*-*-linux-gnu/default-proof/test -name Makefile)' >+ sed -e 's,^\(LFSCARGS =\).*,\1 /builddir/build/SOURCES/smt.plf /builddir/build/SOURCES/sat.plf /builddir/build/SOURCES/th_base.plf,' -e 's,^\(TESTS_ENVIRONMENT = LFSC=\)".*",\1"lfsc /builddir/build/SOURCES/smt.plf /builddir/build/SOURCES/sat.plf /builddir/build/SOURCES/th_base.plf",' -i builds/armv7hl-redhat-linux-gnu/default-proof/test/regress/regress0/unconstrained/Makefile >+ for mk in '$(find builds/*-*-linux-gnu/default-proof/test -name Makefile)' >+ sed -e 's,^\(LFSCARGS =\).*,\1 /builddir/build/SOURCES/smt.plf /builddir/build/SOURCES/sat.plf /builddir/build/SOURCES/th_base.plf,' -e 's,^\(TESTS_ENVIRONMENT = LFSC=\)".*",\1"lfsc /builddir/build/SOURCES/smt.plf /builddir/build/SOURCES/sat.plf /builddir/build/SOURCES/th_base.plf",' -i builds/armv7hl-redhat-linux-gnu/default-proof/test/regress/regress0/quantifiers/Makefile >+ for mk in '$(find builds/*-*-linux-gnu/default-proof/test -name Makefile)' >+ sed -e 's,^\(LFSCARGS =\).*,\1 /builddir/build/SOURCES/smt.plf /builddir/build/SOURCES/sat.plf /builddir/build/SOURCES/th_base.plf,' -e 's,^\(TESTS_ENVIRONMENT = LFSC=\)".*",\1"lfsc /builddir/build/SOURCES/smt.plf /builddir/build/SOURCES/sat.plf /builddir/build/SOURCES/th_base.plf",' -i builds/armv7hl-redhat-linux-gnu/default-proof/test/regress/regress0/lemmas/Makefile >+ for mk in '$(find builds/*-*-linux-gnu/default-proof/test -name Makefile)' >+ sed -e 's,^\(LFSCARGS =\).*,\1 /builddir/build/SOURCES/smt.plf /builddir/build/SOURCES/sat.plf /builddir/build/SOURCES/th_base.plf,' -e 's,^\(TESTS_ENVIRONMENT = LFSC=\)".*",\1"lfsc /builddir/build/SOURCES/smt.plf /builddir/build/SOURCES/sat.plf /builddir/build/SOURCES/th_base.plf",' -i builds/armv7hl-redhat-linux-gnu/default-proof/test/regress/regress0/uf/Makefile >+ for mk in '$(find builds/*-*-linux-gnu/default-proof/test -name Makefile)' >+ sed -e 's,^\(LFSCARGS =\).*,\1 /builddir/build/SOURCES/smt.plf /builddir/build/SOURCES/sat.plf /builddir/build/SOURCES/th_base.plf,' -e 's,^\(TESTS_ENVIRONMENT = LFSC=\)".*",\1"lfsc /builddir/build/SOURCES/smt.plf /builddir/build/SOURCES/sat.plf /builddir/build/SOURCES/th_base.plf",' -i builds/armv7hl-redhat-linux-gnu/default-proof/test/regress/regress0/datatypes/Makefile >+ for mk in '$(find builds/*-*-linux-gnu/default-proof/test -name Makefile)' >+ sed -e 's,^\(LFSCARGS =\).*,\1 /builddir/build/SOURCES/smt.plf /builddir/build/SOURCES/sat.plf /builddir/build/SOURCES/th_base.plf,' -e 's,^\(TESTS_ENVIRONMENT = LFSC=\)".*",\1"lfsc /builddir/build/SOURCES/smt.plf /builddir/build/SOURCES/sat.plf /builddir/build/SOURCES/th_base.plf",' -i builds/armv7hl-redhat-linux-gnu/default-proof/test/regress/regress0/rewriterules/Makefile >+ for mk in '$(find builds/*-*-linux-gnu/default-proof/test -name Makefile)' >+ sed -e 's,^\(LFSCARGS =\).*,\1 /builddir/build/SOURCES/smt.plf /builddir/build/SOURCES/sat.plf /builddir/build/SOURCES/th_base.plf,' -e 's,^\(TESTS_ENVIRONMENT = LFSC=\)".*",\1"lfsc /builddir/build/SOURCES/smt.plf /builddir/build/SOURCES/sat.plf /builddir/build/SOURCES/th_base.plf",' -i builds/armv7hl-redhat-linux-gnu/default-proof/test/regress/regress0/Makefile >+ for mk in '$(find builds/*-*-linux-gnu/default-proof/test -name Makefile)' >+ sed -e 's,^\(LFSCARGS =\).*,\1 /builddir/build/SOURCES/smt.plf /builddir/build/SOURCES/sat.plf /builddir/build/SOURCES/th_base.plf,' -e 's,^\(TESTS_ENVIRONMENT = LFSC=\)".*",\1"lfsc /builddir/build/SOURCES/smt.plf /builddir/build/SOURCES/sat.plf /builddir/build/SOURCES/th_base.plf",' -i builds/armv7hl-redhat-linux-gnu/default-proof/test/regress/regress0/tptp/Makefile >+ for mk in '$(find builds/*-*-linux-gnu/default-proof/test -name Makefile)' >+ sed -e 's,^\(LFSCARGS =\).*,\1 /builddir/build/SOURCES/smt.plf /builddir/build/SOURCES/sat.plf /builddir/build/SOURCES/th_base.plf,' -e 's,^\(TESTS_ENVIRONMENT = LFSC=\)".*",\1"lfsc /builddir/build/SOURCES/smt.plf /builddir/build/SOURCES/sat.plf /builddir/build/SOURCES/th_base.plf",' -i builds/armv7hl-redhat-linux-gnu/default-proof/test/regress/regress0/aufbv/Makefile >+ for mk in '$(find builds/*-*-linux-gnu/default-proof/test -name Makefile)' >+ sed -e 's,^\(LFSCARGS =\).*,\1 /builddir/build/SOURCES/smt.plf /builddir/build/SOURCES/sat.plf /builddir/build/SOURCES/th_base.plf,' -e 's,^\(TESTS_ENVIRONMENT = LFSC=\)".*",\1"lfsc /builddir/build/SOURCES/smt.plf /builddir/build/SOURCES/sat.plf /builddir/build/SOURCES/th_base.plf",' -i builds/armv7hl-redhat-linux-gnu/default-proof/test/regress/regress0/precedence/Makefile >+ for mk in '$(find builds/*-*-linux-gnu/default-proof/test -name Makefile)' >+ sed -e 's,^\(LFSCARGS =\).*,\1 /builddir/build/SOURCES/smt.plf /builddir/build/SOURCES/sat.plf /builddir/build/SOURCES/th_base.plf,' -e 's,^\(TESTS_ENVIRONMENT = LFSC=\)".*",\1"lfsc /builddir/build/SOURCES/smt.plf /builddir/build/SOURCES/sat.plf /builddir/build/SOURCES/th_base.plf",' -i builds/armv7hl-redhat-linux-gnu/default-proof/test/regress/regress0/strings/Makefile >+ for mk in '$(find builds/*-*-linux-gnu/default-proof/test -name Makefile)' >+ sed -e 's,^\(LFSCARGS =\).*,\1 /builddir/build/SOURCES/smt.plf /builddir/build/SOURCES/sat.plf /builddir/build/SOURCES/th_base.plf,' -e 's,^\(TESTS_ENVIRONMENT = LFSC=\)".*",\1"lfsc /builddir/build/SOURCES/smt.plf /builddir/build/SOURCES/sat.plf /builddir/build/SOURCES/th_base.plf",' -i builds/armv7hl-redhat-linux-gnu/default-proof/test/regress/regress0/arrays/Makefile >+ for mk in '$(find builds/*-*-linux-gnu/default-proof/test -name Makefile)' >+ sed -e 's,^\(LFSCARGS =\).*,\1 /builddir/build/SOURCES/smt.plf /builddir/build/SOURCES/sat.plf /builddir/build/SOURCES/th_base.plf,' -e 's,^\(TESTS_ENVIRONMENT = LFSC=\)".*",\1"lfsc /builddir/build/SOURCES/smt.plf /builddir/build/SOURCES/sat.plf /builddir/build/SOURCES/th_base.plf",' -i builds/armv7hl-redhat-linux-gnu/default-proof/test/regress/regress0/decision/Makefile >+ for mk in '$(find builds/*-*-linux-gnu/default-proof/test -name Makefile)' >+ sed -e 's,^\(LFSCARGS =\).*,\1 /builddir/build/SOURCES/smt.plf /builddir/build/SOURCES/sat.plf /builddir/build/SOURCES/th_base.plf,' -e 's,^\(TESTS_ENVIRONMENT = LFSC=\)".*",\1"lfsc /builddir/build/SOURCES/smt.plf /builddir/build/SOURCES/sat.plf /builddir/build/SOURCES/th_base.plf",' -i builds/armv7hl-redhat-linux-gnu/default-proof/test/regress/regress0/bv/core/Makefile >+ for mk in '$(find builds/*-*-linux-gnu/default-proof/test -name Makefile)' >+ sed -e 's,^\(LFSCARGS =\).*,\1 /builddir/build/SOURCES/smt.plf /builddir/build/SOURCES/sat.plf /builddir/build/SOURCES/th_base.plf,' -e 's,^\(TESTS_ENVIRONMENT = LFSC=\)".*",\1"lfsc /builddir/build/SOURCES/smt.plf /builddir/build/SOURCES/sat.plf /builddir/build/SOURCES/th_base.plf",' -i builds/armv7hl-redhat-linux-gnu/default-proof/test/regress/regress0/bv/Makefile >+ for mk in '$(find builds/*-*-linux-gnu/default-proof/test -name Makefile)' >+ sed -e 's,^\(LFSCARGS =\).*,\1 /builddir/build/SOURCES/smt.plf /builddir/build/SOURCES/sat.plf /builddir/build/SOURCES/th_base.plf,' -e 's,^\(TESTS_ENVIRONMENT = LFSC=\)".*",\1"lfsc /builddir/build/SOURCES/smt.plf /builddir/build/SOURCES/sat.plf /builddir/build/SOURCES/th_base.plf",' -i builds/armv7hl-redhat-linux-gnu/default-proof/test/regress/regress0/fmf/Makefile >+ for mk in '$(find builds/*-*-linux-gnu/default-proof/test -name Makefile)' >+ sed -e 's,^\(LFSCARGS =\).*,\1 /builddir/build/SOURCES/smt.plf /builddir/build/SOURCES/sat.plf /builddir/build/SOURCES/th_base.plf,' -e 's,^\(TESTS_ENVIRONMENT = LFSC=\)".*",\1"lfsc /builddir/build/SOURCES/smt.plf /builddir/build/SOURCES/sat.plf /builddir/build/SOURCES/th_base.plf",' -i builds/armv7hl-redhat-linux-gnu/default-proof/test/regress/regress0/arith/integers/Makefile >+ for mk in '$(find builds/*-*-linux-gnu/default-proof/test -name Makefile)' >+ sed -e 's,^\(LFSCARGS =\).*,\1 /builddir/build/SOURCES/smt.plf /builddir/build/SOURCES/sat.plf /builddir/build/SOURCES/th_base.plf,' -e 's,^\(TESTS_ENVIRONMENT = LFSC=\)".*",\1"lfsc /builddir/build/SOURCES/smt.plf /builddir/build/SOURCES/sat.plf /builddir/build/SOURCES/th_base.plf",' -i builds/armv7hl-redhat-linux-gnu/default-proof/test/regress/regress0/arith/Makefile >+ for mk in '$(find builds/*-*-linux-gnu/default-proof/test -name Makefile)' >+ sed -e 's,^\(LFSCARGS =\).*,\1 /builddir/build/SOURCES/smt.plf /builddir/build/SOURCES/sat.plf /builddir/build/SOURCES/th_base.plf,' -e 's,^\(TESTS_ENVIRONMENT = LFSC=\)".*",\1"lfsc /builddir/build/SOURCES/smt.plf /builddir/build/SOURCES/sat.plf /builddir/build/SOURCES/th_base.plf",' -i builds/armv7hl-redhat-linux-gnu/default-proof/test/regress/regress1/Makefile >+ for mk in '$(find builds/*-*-linux-gnu/default-proof/test -name Makefile)' >+ sed -e 's,^\(LFSCARGS =\).*,\1 /builddir/build/SOURCES/smt.plf /builddir/build/SOURCES/sat.plf /builddir/build/SOURCES/th_base.plf,' -e 's,^\(TESTS_ENVIRONMENT = LFSC=\)".*",\1"lfsc /builddir/build/SOURCES/smt.plf /builddir/build/SOURCES/sat.plf /builddir/build/SOURCES/th_base.plf",' -i builds/armv7hl-redhat-linux-gnu/default-proof/test/regress/regress1/arith/Makefile >+ make check >cd builds >make check >make[1]: Entering directory `/builddir/build/BUILD/cvc4-1.3/builds' >(cd armv7hl-redhat-linux-gnu/default-proof/src && make check) >make[2]: Entering directory `/builddir/build/BUILD/cvc4-1.3/builds/armv7hl-redhat-linux-gnu/default-proof/src' >make check-recursive >make[3]: Entering directory `/builddir/build/BUILD/cvc4-1.3/builds/armv7hl-redhat-linux-gnu/default-proof/src' >Making check in lib >make[4]: Entering directory `/builddir/build/BUILD/cvc4-1.3/builds/armv7hl-redhat-linux-gnu/default-proof/src/lib' >make[4]: Nothing to be done for `check'. >make[4]: Leaving directory `/builddir/build/BUILD/cvc4-1.3/builds/armv7hl-redhat-linux-gnu/default-proof/src/lib' >Making check in options >make[4]: Entering directory `/builddir/build/BUILD/cvc4-1.3/builds/armv7hl-redhat-linux-gnu/default-proof/src/options' >make[5]: Entering directory `/builddir/build/BUILD/cvc4-1.3/builds/armv7hl-redhat-linux-gnu/default-proof/src/expr' >make[5]: Nothing to be done for `builts'. >make[5]: Leaving directory `/builddir/build/BUILD/cvc4-1.3/builds/armv7hl-redhat-linux-gnu/default-proof/src/expr' > GEN Trace_tags.tmp > GEN Trace_tags >make check-am >make[5]: Entering directory `/builddir/build/BUILD/cvc4-1.3/builds/armv7hl-redhat-linux-gnu/default-proof/src/options' >make[5]: Nothing to be done for `check-am'. >make[5]: Leaving directory `/builddir/build/BUILD/cvc4-1.3/builds/armv7hl-redhat-linux-gnu/default-proof/src/options' >make[4]: Leaving directory `/builddir/build/BUILD/cvc4-1.3/builds/armv7hl-redhat-linux-gnu/default-proof/src/options' >Making check in expr >make[4]: Entering directory `/builddir/build/BUILD/cvc4-1.3/builds/armv7hl-redhat-linux-gnu/default-proof/src/expr' >make check-am >make[5]: Entering directory `/builddir/build/BUILD/cvc4-1.3/builds/armv7hl-redhat-linux-gnu/default-proof/src/expr' >make[5]: Nothing to be done for `check-am'. >make[5]: Leaving directory `/builddir/build/BUILD/cvc4-1.3/builds/armv7hl-redhat-linux-gnu/default-proof/src/expr' >make[4]: Leaving directory `/builddir/build/BUILD/cvc4-1.3/builds/armv7hl-redhat-linux-gnu/default-proof/src/expr' >Making check in util >make[4]: Entering directory `/builddir/build/BUILD/cvc4-1.3/builds/armv7hl-redhat-linux-gnu/default-proof/src/util' >make check-am >make[5]: Entering directory `/builddir/build/BUILD/cvc4-1.3/builds/armv7hl-redhat-linux-gnu/default-proof/src/util' >make[5]: Nothing to be done for `check-am'. >make[5]: Leaving directory `/builddir/build/BUILD/cvc4-1.3/builds/armv7hl-redhat-linux-gnu/default-proof/src/util' >make[4]: Leaving directory `/builddir/build/BUILD/cvc4-1.3/builds/armv7hl-redhat-linux-gnu/default-proof/src/util' >Making check in prop/minisat >make[4]: Entering directory `/builddir/build/BUILD/cvc4-1.3/builds/armv7hl-redhat-linux-gnu/default-proof/src/prop/minisat' >make[4]: Nothing to be done for `check'. >make[4]: Leaving directory `/builddir/build/BUILD/cvc4-1.3/builds/armv7hl-redhat-linux-gnu/default-proof/src/prop/minisat' >Making check in prop/bvminisat >make[4]: Entering directory `/builddir/build/BUILD/cvc4-1.3/builds/armv7hl-redhat-linux-gnu/default-proof/src/prop/bvminisat' >make[4]: Nothing to be done for `check'. >make[4]: Leaving directory `/builddir/build/BUILD/cvc4-1.3/builds/armv7hl-redhat-linux-gnu/default-proof/src/prop/bvminisat' >Making check in . >make[4]: Entering directory `/builddir/build/BUILD/cvc4-1.3/builds/armv7hl-redhat-linux-gnu/default-proof/src' > GEN gitinfo.tmp > GEN gitinfo > GEN svninfo.tmp > GEN svninfo >make[4]: Leaving directory `/builddir/build/BUILD/cvc4-1.3/builds/armv7hl-redhat-linux-gnu/default-proof/src' >Making check in parser >make[4]: Entering directory `/builddir/build/BUILD/cvc4-1.3/builds/armv7hl-redhat-linux-gnu/default-proof/src/parser' >Making check in smt1 >make[5]: Entering directory `/builddir/build/BUILD/cvc4-1.3/builds/armv7hl-redhat-linux-gnu/default-proof/src/parser/smt1' >make check-am >make[6]: Entering directory `/builddir/build/BUILD/cvc4-1.3/builds/armv7hl-redhat-linux-gnu/default-proof/src/parser/smt1' >make[6]: Nothing to be done for `check-am'. >make[6]: Leaving directory `/builddir/build/BUILD/cvc4-1.3/builds/armv7hl-redhat-linux-gnu/default-proof/src/parser/smt1' >make[5]: Leaving directory `/builddir/build/BUILD/cvc4-1.3/builds/armv7hl-redhat-linux-gnu/default-proof/src/parser/smt1' >Making check in smt2 >make[5]: Entering directory `/builddir/build/BUILD/cvc4-1.3/builds/armv7hl-redhat-linux-gnu/default-proof/src/parser/smt2' >make check-am >make[6]: Entering directory `/builddir/build/BUILD/cvc4-1.3/builds/armv7hl-redhat-linux-gnu/default-proof/src/parser/smt2' >make[6]: Nothing to be done for `check-am'. >make[6]: Leaving directory `/builddir/build/BUILD/cvc4-1.3/builds/armv7hl-redhat-linux-gnu/default-proof/src/parser/smt2' >make[5]: Leaving directory `/builddir/build/BUILD/cvc4-1.3/builds/armv7hl-redhat-linux-gnu/default-proof/src/parser/smt2' >Making check in cvc >make[5]: Entering directory `/builddir/build/BUILD/cvc4-1.3/builds/armv7hl-redhat-linux-gnu/default-proof/src/parser/cvc' >make check-am >make[6]: Entering directory `/builddir/build/BUILD/cvc4-1.3/builds/armv7hl-redhat-linux-gnu/default-proof/src/parser/cvc' >make[6]: Nothing to be done for `check-am'. >make[6]: Leaving directory `/builddir/build/BUILD/cvc4-1.3/builds/armv7hl-redhat-linux-gnu/default-proof/src/parser/cvc' >make[5]: Leaving directory `/builddir/build/BUILD/cvc4-1.3/builds/armv7hl-redhat-linux-gnu/default-proof/src/parser/cvc' >Making check in tptp >make[5]: Entering directory `/builddir/build/BUILD/cvc4-1.3/builds/armv7hl-redhat-linux-gnu/default-proof/src/parser/tptp' >make check-am >make[6]: Entering directory `/builddir/build/BUILD/cvc4-1.3/builds/armv7hl-redhat-linux-gnu/default-proof/src/parser/tptp' >make[6]: Nothing to be done for `check-am'. >make[6]: Leaving directory `/builddir/build/BUILD/cvc4-1.3/builds/armv7hl-redhat-linux-gnu/default-proof/src/parser/tptp' >make[5]: Leaving directory `/builddir/build/BUILD/cvc4-1.3/builds/armv7hl-redhat-linux-gnu/default-proof/src/parser/tptp' >make[5]: Entering directory `/builddir/build/BUILD/cvc4-1.3/builds/armv7hl-redhat-linux-gnu/default-proof/src/parser' >make[5]: Nothing to be done for `check-am'. >make[5]: Leaving directory `/builddir/build/BUILD/cvc4-1.3/builds/armv7hl-redhat-linux-gnu/default-proof/src/parser' >make[4]: Leaving directory `/builddir/build/BUILD/cvc4-1.3/builds/armv7hl-redhat-linux-gnu/default-proof/src/parser' >Making check in compat >make[4]: Entering directory `/builddir/build/BUILD/cvc4-1.3/builds/armv7hl-redhat-linux-gnu/default-proof/src/compat' >make[4]: Nothing to be done for `check'. >make[4]: Leaving directory `/builddir/build/BUILD/cvc4-1.3/builds/armv7hl-redhat-linux-gnu/default-proof/src/compat' >Making check in bindings >make[4]: Entering directory `/builddir/build/BUILD/cvc4-1.3/builds/armv7hl-redhat-linux-gnu/default-proof/src/bindings' > GEN java.d >/builddir/build/BUILD/cvc4-1.3/builds/armv7hl-redhat-linux-gnu/default-proof/../../../src/bindings/../bindings/swig.h:29: Warning 204: CPP #warning, "Working around a SWIG segfault in C++ template parsing.". > GEN .swig_deps >Making check in compat >make[5]: Entering directory `/builddir/build/BUILD/cvc4-1.3/builds/armv7hl-redhat-linux-gnu/default-proof/src/bindings/compat' >make[6]: Entering directory `/builddir/build/BUILD/cvc4-1.3/builds/armv7hl-redhat-linux-gnu/default-proof/src/bindings/compat' >make[6]: Nothing to be done for `check-am'. >make[6]: Leaving directory `/builddir/build/BUILD/cvc4-1.3/builds/armv7hl-redhat-linux-gnu/default-proof/src/bindings/compat' >make[5]: Leaving directory `/builddir/build/BUILD/cvc4-1.3/builds/armv7hl-redhat-linux-gnu/default-proof/src/bindings/compat' >make[5]: Entering directory `/builddir/build/BUILD/cvc4-1.3/builds/armv7hl-redhat-linux-gnu/default-proof/src/bindings' > GEN java.d >/builddir/build/BUILD/cvc4-1.3/builds/armv7hl-redhat-linux-gnu/default-proof/../../../src/bindings/../bindings/swig.h:29: Warning 204: CPP #warning, "Working around a SWIG segfault in C++ template parsing.". > GEN .swig_deps >make[5]: Nothing to be done for `check-am'. >make[5]: Leaving directory `/builddir/build/BUILD/cvc4-1.3/builds/armv7hl-redhat-linux-gnu/default-proof/src/bindings' >make[4]: Leaving directory `/builddir/build/BUILD/cvc4-1.3/builds/armv7hl-redhat-linux-gnu/default-proof/src/bindings' >Making check in main >make[4]: Entering directory `/builddir/build/BUILD/cvc4-1.3/builds/armv7hl-redhat-linux-gnu/default-proof/src/main' >make check-am >make[5]: Entering directory `/builddir/build/BUILD/cvc4-1.3/builds/armv7hl-redhat-linux-gnu/default-proof/src/main' >make[5]: Nothing to be done for `check-am'. >make[5]: Leaving directory `/builddir/build/BUILD/cvc4-1.3/builds/armv7hl-redhat-linux-gnu/default-proof/src/main' >make[4]: Leaving directory `/builddir/build/BUILD/cvc4-1.3/builds/armv7hl-redhat-linux-gnu/default-proof/src/main' >make[3]: Leaving directory `/builddir/build/BUILD/cvc4-1.3/builds/armv7hl-redhat-linux-gnu/default-proof/src' >make[2]: Leaving directory `/builddir/build/BUILD/cvc4-1.3/builds/armv7hl-redhat-linux-gnu/default-proof/src' >(cd armv7hl-redhat-linux-gnu/default-proof/test && make check) >make[2]: Entering directory `/builddir/build/BUILD/cvc4-1.3/builds/armv7hl-redhat-linux-gnu/default-proof/test' >Making check in unit >make[3]: Entering directory `/builddir/build/BUILD/cvc4-1.3/builds/armv7hl-redhat-linux-gnu/default-proof/test/unit' >make check-TESTS >make[4]: Entering directory `/builddir/build/BUILD/cvc4-1.3/builds/armv7hl-redhat-linux-gnu/default-proof/test/unit' > GEN /builddir/build/BUILD/cvc4-1.3/builds/armv7hl-redhat-linux-gnu/default-proof/test/unit/expr/expr_public.cpp > CXX expr/expr_public.lo >/bin/sh ../../libtool --silent --tag=CXX --mode=compile g++ -DHAVE_CONFIG_H -I. -I/builddir/build/BUILD/cvc4-1.3/builds/armv7hl-redhat-linux-gnu/default-proof/../../../test/unit -I../.. -I. "-I/usr/bin" "-I../../src" "-I/builddir/build/BUILD/cvc4-1.3/builds/armv7hl-redhat-linux-gnu/default-proof/../../../src/include" "-I/builddir/build/BUILD/cvc4-1.3/builds/armv7hl-redhat-linux-gnu/default-proof/../../../lib" "-I/builddir/build/BUILD/cvc4-1.3/builds/armv7hl-redhat-linux-gnu/default-proof/../../../src" "-I/builddir/build/BUILD/cvc4-1.3/builds/armv7hl-redhat-linux-gnu/default-proof/../../../src/prop/minisat" -D __STDC_LIMIT_MACROS -D __STDC_FORMAT_MACROS -I/usr/local/include -I/usr/lib/jvm/java/include -I/usr/lib/jvm/java/include/linux -DFEDORA_GLPK_ITCNT "-Dlpx_get_int_parm(x,y)=glp_get_it_cnt(x)" -pthread -DCVC4_PROOF -DCVC4_STATISTICS_ON -DCVC4_REPLAY -DCVC4_ASSERTIONS -DCVC4_TRACING -DCVC4_DUMPING -DCVC4_USE_GLPK -DCVC4_NEED_HASH_UINT64_T -DCVC4_PORTFOLIO -Wall -Wno-unknown-pragmas -Wno-parentheses -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -fexceptions -fstack-protector-strong --param=ssp-buffer-size=4 -grecord-gcc-switches -march=armv7-a -mfpu=vfpv3-d16 -mfloat-abi=hard -O2 -Wno-deprecated -c -o expr/expr_public.lo /builddir/build/BUILD/cvc4-1.3/builds/armv7hl-redhat-linux-gnu/default-proof/test/unit/expr/expr_public.cpp > CXXLD expr/expr_public > GEN /builddir/build/BUILD/cvc4-1.3/builds/armv7hl-redhat-linux-gnu/default-proof/test/unit/expr/expr_manager_public.cpp > CXX expr/expr_manager_public.lo >/bin/sh ../../libtool --silent --tag=CXX --mode=compile g++ -DHAVE_CONFIG_H -I. -I/builddir/build/BUILD/cvc4-1.3/builds/armv7hl-redhat-linux-gnu/default-proof/../../../test/unit -I../.. -I. "-I/usr/bin" "-I../../src" "-I/builddir/build/BUILD/cvc4-1.3/builds/armv7hl-redhat-linux-gnu/default-proof/../../../src/include" "-I/builddir/build/BUILD/cvc4-1.3/builds/armv7hl-redhat-linux-gnu/default-proof/../../../lib" "-I/builddir/build/BUILD/cvc4-1.3/builds/armv7hl-redhat-linux-gnu/default-proof/../../../src" "-I/builddir/build/BUILD/cvc4-1.3/builds/armv7hl-redhat-linux-gnu/default-proof/../../../src/prop/minisat" -D __STDC_LIMIT_MACROS -D __STDC_FORMAT_MACROS -I/usr/local/include -I/usr/lib/jvm/java/include -I/usr/lib/jvm/java/include/linux -DFEDORA_GLPK_ITCNT "-Dlpx_get_int_parm(x,y)=glp_get_it_cnt(x)" -pthread -DCVC4_PROOF -DCVC4_STATISTICS_ON -DCVC4_REPLAY -DCVC4_ASSERTIONS -DCVC4_TRACING -DCVC4_DUMPING -DCVC4_USE_GLPK -DCVC4_NEED_HASH_UINT64_T -DCVC4_PORTFOLIO -Wall -Wno-unknown-pragmas -Wno-parentheses -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -fexceptions -fstack-protector-strong --param=ssp-buffer-size=4 -grecord-gcc-switches -march=armv7-a -mfpu=vfpv3-d16 -mfloat-abi=hard -O2 -Wno-deprecated -c -o expr/expr_manager_public.lo /builddir/build/BUILD/cvc4-1.3/builds/armv7hl-redhat-linux-gnu/default-proof/test/unit/expr/expr_manager_public.cpp > CXXLD expr/expr_manager_public > GEN /builddir/build/BUILD/cvc4-1.3/builds/armv7hl-redhat-linux-gnu/default-proof/test/unit/expr/type_cardinality_public.cpp > CXX expr/type_cardinality_public.lo >/bin/sh ../../libtool --silent --tag=CXX --mode=compile g++ -DHAVE_CONFIG_H -I. -I/builddir/build/BUILD/cvc4-1.3/builds/armv7hl-redhat-linux-gnu/default-proof/../../../test/unit -I../.. -I. "-I/usr/bin" "-I../../src" "-I/builddir/build/BUILD/cvc4-1.3/builds/armv7hl-redhat-linux-gnu/default-proof/../../../src/include" "-I/builddir/build/BUILD/cvc4-1.3/builds/armv7hl-redhat-linux-gnu/default-proof/../../../lib" "-I/builddir/build/BUILD/cvc4-1.3/builds/armv7hl-redhat-linux-gnu/default-proof/../../../src" "-I/builddir/build/BUILD/cvc4-1.3/builds/armv7hl-redhat-linux-gnu/default-proof/../../../src/prop/minisat" -D __STDC_LIMIT_MACROS -D __STDC_FORMAT_MACROS -I/usr/local/include -I/usr/lib/jvm/java/include -I/usr/lib/jvm/java/include/linux -DFEDORA_GLPK_ITCNT "-Dlpx_get_int_parm(x,y)=glp_get_it_cnt(x)" -pthread -DCVC4_PROOF -DCVC4_STATISTICS_ON -DCVC4_REPLAY -DCVC4_ASSERTIONS -DCVC4_TRACING -DCVC4_DUMPING -DCVC4_USE_GLPK -DCVC4_NEED_HASH_UINT64_T -DCVC4_PORTFOLIO -Wall -Wno-unknown-pragmas -Wno-parentheses -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -fexceptions -fstack-protector-strong --param=ssp-buffer-size=4 -grecord-gcc-switches -march=armv7-a -mfpu=vfpv3-d16 -mfloat-abi=hard -O2 -Wno-deprecated -c -o expr/type_cardinality_public.lo /builddir/build/BUILD/cvc4-1.3/builds/armv7hl-redhat-linux-gnu/default-proof/test/unit/expr/type_cardinality_public.cpp > CXXLD expr/type_cardinality_public > GEN /builddir/build/BUILD/cvc4-1.3/builds/armv7hl-redhat-linux-gnu/default-proof/test/unit/util/cardinality_public.cpp > CXX util/cardinality_public.lo >/bin/sh ../../libtool --silent --tag=CXX --mode=compile g++ -DHAVE_CONFIG_H -I. -I/builddir/build/BUILD/cvc4-1.3/builds/armv7hl-redhat-linux-gnu/default-proof/../../../test/unit -I../.. -I. "-I/usr/bin" "-I../../src" "-I/builddir/build/BUILD/cvc4-1.3/builds/armv7hl-redhat-linux-gnu/default-proof/../../../src/include" "-I/builddir/build/BUILD/cvc4-1.3/builds/armv7hl-redhat-linux-gnu/default-proof/../../../lib" "-I/builddir/build/BUILD/cvc4-1.3/builds/armv7hl-redhat-linux-gnu/default-proof/../../../src" "-I/builddir/build/BUILD/cvc4-1.3/builds/armv7hl-redhat-linux-gnu/default-proof/../../../src/prop/minisat" -D __STDC_LIMIT_MACROS -D __STDC_FORMAT_MACROS -I/usr/local/include -I/usr/lib/jvm/java/include -I/usr/lib/jvm/java/include/linux -DFEDORA_GLPK_ITCNT "-Dlpx_get_int_parm(x,y)=glp_get_it_cnt(x)" -pthread -DCVC4_PROOF -DCVC4_STATISTICS_ON -DCVC4_REPLAY -DCVC4_ASSERTIONS -DCVC4_TRACING -DCVC4_DUMPING -DCVC4_USE_GLPK -DCVC4_NEED_HASH_UINT64_T -DCVC4_PORTFOLIO -Wall -Wno-unknown-pragmas -Wno-parentheses -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -fexceptions -fstack-protector-strong --param=ssp-buffer-size=4 -grecord-gcc-switches -march=armv7-a -mfpu=vfpv3-d16 -mfloat-abi=hard -O2 -Wno-deprecated -c -o util/cardinality_public.lo /builddir/build/BUILD/cvc4-1.3/builds/armv7hl-redhat-linux-gnu/default-proof/test/unit/util/cardinality_public.cpp > CXXLD util/cardinality_public >make[5]: Entering directory `/builddir/build/BUILD/cvc4-1.3/builds/armv7hl-redhat-linux-gnu/default-proof/test/unit' >EXCEPTION: Timeout(86400) expired for command: > # ['bash', '--login', '-c', 'rpmbuild -bb --target armv7hl --nodeps builddir/build/SPECS/cvc4.spec'] > >Traceback (most recent call last): > File "/usr/lib/python2.7/site-packages/mockbuild/trace_decorator.py", line 70, in trace > result = func(*args, **kw) > File "/usr/lib/python2.7/site-packages/mockbuild/util.py", line 369, in do > raise commandTimeoutExpired, ("Timeout(%s) expired for command:\n # %s\n%s" % (timeout, command, output)) >commandTimeoutExpired: Timeout(86400) expired for command: > # ['bash', '--login', '-c', 'rpmbuild -bb --target armv7hl --nodeps builddir/build/SPECS/cvc4.spec'] > >LEAVE do --> EXCEPTION RAISED >
You cannot view the attachment while viewing its details because your browser does not support IFRAMEs.
View the attachment on a separate page
.
View Attachment As Raw
Actions:
View
Attachments on
bug 1106109
: 903904 |
903905
|
903906