Attachment 903904 Details for Bug 1106109 – build.log

build.log

<fdopen> (text/plain), 195.57 KB, created by Dennis Gilmore on 2014-06-09 03:12:46 UTC

(hide)

Description:

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
>

Actions: View

Attachments on bug 1106109: 903904 | 903905 | 903906