SuccessConsole Output

Retriggered by user frederic.gurr@eclipse.org for Gerrit: http://git.eclipse.org/r/#/c/89716
Checkout:workspace / /home/hudson/genie.efm/.hudson/jobs/efm-symbex-gerrit/workspace - hudson.remoting.LocalChannel@13ef5a0f
Using strategy: Gerrit Trigger
Git Exe: git
Last Built Revision: Revision d7ca134865db2244da611bacb0f3e7a835dfe071 (null)
Checkout:workspace / /home/hudson/genie.efm/.hudson/jobs/efm-symbex-gerrit/workspace - hudson.remoting.LocalChannel@13ef5a0f
Fetching changes from the remote Git repository
Fetching upstream changes from /gitroot/efm/org.eclipse.efm-symbex.git
Commencing build of Revision d7ca134865db2244da611bacb0f3e7a835dfe071 (null)
Checking out Revision d7ca134865db2244da611bacb0f3e7a835dfe071 (null)
[workspace] $ /bin/sh -xe /tmp/hudson5195058864922011896.sh
+ rm -d -r -f build/
+ mkdir build
+ cd build
+ cmake -G 'Unix Makefiles' ../HippTest/
-- The CXX compiler identification is GNU 4.8.5
-- The C compiler identification is GNU 4.8.5
-- Check for working CXX compiler: /usr/bin/c++
-- Check for working CXX compiler: /usr/bin/c++ -- works
-- Detecting CXX compiler ABI info
-- Detecting CXX compiler ABI info - done
-- Check for working C compiler: /usr/bin/cc
-- Check for working C compiler: /usr/bin/cc -- works
-- Detecting C compiler ABI info
-- Detecting C compiler ABI info - done
-- ****** Looking for system information ******
-- Check if the system is big endian
-- Searching 16 bit integer
-- Looking for sys/types.h
-- Looking for sys/types.h - found
-- Looking for stdint.h
-- Looking for stdint.h - found
-- Looking for stddef.h
-- Looking for stddef.h - found
-- Check size of unsigned short
-- Check size of unsigned short - done
-- Using unsigned short
-- Check if the system is big endian - little endian
-- Check size of int
-- Check size of int - done
-- Check size of short
-- Check size of short - done
-- Check size of long
-- Check size of long - done
-- Check size of char
-- Check size of char - done
-- System            : Linux-3.12.51-52.39-default-x86_64
-- System (CMake var): WIN32=  MINGW= UNIX=1 MSYS= CYGWIN=
-- Big-endian        : No
-- Types size (bytes): int=4  shortint=2  longint=8 char=1
-- Nb of processors  : 16
-- ****** Looking for toolchain information ******
-- C++ compiler: /usr/bin/c++, version 4.8.5
-- C compiler: /usr/bin/cc, version 4.8.5
-- Linker: /usr/bin/ld
-- Found Git: /usr/local/bin/git (found version "1.9.0") 
-- Git 1.9.0 found : /usr/local/bin/git
-- Could NOT find Hg (missing:  HG_EXECUTABLE) 
-- Mercurial not found
-- ****** Looking for git commit id ******
-- Commit id : hudson-efm-symbex-gerrit-9-0-gd7ca134
-- ****** Setting options for Linux/GCC ******
 .............................. CMAKE_EXE_LINKER_FLAGS   -lrt
-- ****** Looking for mandatory prerequisites ******
-- CVC4 : CVC4_LIBRARIES-NOTFOUND CVC4_INCLUDE_DIR-NOTFOUND
-- Could NOT find CVC4 (missing:  CVC4_LIBRARIES CVC4_INCLUDE_DIR) 
CVC4 not found : later, I will try to build CVC4 from sources (including an ANTLR3 build)
CPPFLAGS-I -I -I
-- ANTLR2 : ANTLR2_LIBRARIES-NOTFOUND ANTLR2_INCLUDE_DIR-NOTFOUND
-- Could NOT find ANTLR2 (missing:  ANTLR2_LIBRARIES ANTLR2_INCLUDE_DIR) 
ANTLR2 not found : later, I will try to build ANTLR2 from sources
-- ANTLR3 : libantlr3c.a /jobs/genie.efm/efm-symbex-gerrit/workspace/build/contrib/include/include}

* * * * * * * * * * Build type configuration for HippTest all * * * * * * * * * *

--  -------------------------------------- 
-- /                                      \
-- |    This is HiPP Test Build System    |
-- \                                      /
--  -------------------------------------- 
-- ****** Defining project******
-- Configuring done
-- Generating done
-- Build files have been written to: /jobs/genie.efm/efm-symbex-gerrit/workspace/build
+ make
Scanning dependencies of target antlr2
[  5%] Creating directories for 'antlr2'
[ 11%] Performing download step (download, verify and extract) for 'antlr2'
-- downloading...
     src='http://www.antlr2.org/download/antlr-2.7.7.tar.gz'
     dst='/jobs/genie.efm/efm-symbex-gerrit/workspace/build/antlr-2.7.7.tar.gz'
     timeout='none'
-- [download 0% complete]
-- [download 100% complete]
-- downloading... done
-- verifying file...
     file='/jobs/genie.efm/efm-symbex-gerrit/workspace/build/antlr-2.7.7.tar.gz'
-- verifying file... warning: did not verify file - no URL_HASH specified?
-- extracting...
     src='/jobs/genie.efm/efm-symbex-gerrit/workspace/build/antlr-2.7.7.tar.gz'
     dst='/jobs/genie.efm/efm-symbex-gerrit/workspace/build/antlr2/src/antlr2'
-- extracting... [tar xfz]
-- extracting... [analysis]
-- extracting... [rename]
-- extracting... [clean up]
-- extracting... done
[ 17%] Performing patch step for 'antlr2'
[ 23%] No update step for 'antlr2'
[ 29%] Performing configure step for 'antlr2'
checking build system type... x86_64-unknown-linux-gnu
checking host system type... x86_64-unknown-linux-gnu
checking whether this is Cygwin... no
checking whether this is MinGW... no
checking for cygpath... no
checking for /bin/cp... yes
checking for /usr/bin/cp... yes
checking for cp... /usr/bin/cp
checking for cp... /bin/cp
checking for /bin/echo... yes
checking for /usr/bin/echo... yes
checking for echo... /usr/bin/echo
checking for echo... /bin/echo
checking for /bin/find... yes
checking for /usr/bin/find... yes
checking for find... /usr/bin/find
checking for find... /bin/find
checking for make... /usr/bin/make
checking for gmake... /usr/bin/gmake
checking for gnumake... no
checking for /bin/make... no
checking for /usr/bin/make... yes
checking whether /usr/bin/make is GNU make... yes
checking for make... /usr/bin/make
checking for java... no
checking for gij... no

============================================================
Warning:
Support for JAVA has been disabled as I have not been able
locate to locate a mandatory program. Please change $PATH or run
with option --help on how to overcome this problem.
============================================================

checking for tlib... no
checking for lib... no
checking for ar... /usr/bin/ar
checking for /usr/bin/ar... yes
checking for g++... g++
checking for C++ compiler default output file name... a.out
checking whether the C++ compiler works... yes
checking whether we are cross compiling... no
checking for suffix of executables... 
checking for suffix of object files... o
checking whether we are using the GNU C++ compiler... yes
checking whether g++ accepts -g... yes
checking for cc... cc
checking whether we are using the GNU C compiler... yes
checking whether cc accepts -g... yes
checking for cc option to accept ANSI C... none needed
checking how to run the C preprocessor... cc -E
checking for egrep... grep -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 stdlib.h... (cached) yes
checking for unistd.h... (cached) yes
checking for an ANSI C-conforming const... yes
checking for inline... inline
checking for stdlib.h... (cached) yes
checking for GNU libc compatible malloc... yes
checking for strcasecmp... yes
checking for doxygen... /usr/bin/doxygen
checking for a BSD-compatible install... /usr/bin/install -c
checking for ranlib... ranlib
checking for mkdir... /usr/bin/mkdir
checking for rm... /usr/bin/rm
checking for gnutar... no
checking for tar... /bin/tar
checking for /bin/touch... yes
checking for /usr/bin/touch... yes
checking for touch... /usr/bin/touch
checking for touch... /bin/touch
checking for chmod... /usr/bin/chmod
checking for sed... /usr/bin/sed
checking for cat... /usr/bin/cat
checking for grep... /usr/bin/grep
checking for python... /usr/bin/python
checking for cscc... no
checking for mcs... no
checking for csc... no
checking for /usr/local/bin/cscc... no
checking for /usr/local/bin/mcs... no
checking for /opt/bin/cscc... no
checking for /opt/bin/mcs... no

============================================================
Warning:
Support for C# has been disabled as I have not been able to
locate a mandatory program. Please change $PATH or run
with option --help on how to overcome this problem.
============================================================

configure: creating ./config.status
config.status: creating scripts/config.vars
config.status: creating scripts/config.deps
config.status: creating scripts/config.make
config.status: creating antlr/Version.java
config.status: creating scripts/python.sh
config.status: creating scripts/pyantlr.sh
config.status: creating lib/python/Makefile
config.status: creating examples/python/Makefile
config.status: creating examples/python/asn1/Makefile
config.status: creating examples/python/ASTsupport/Makefile
config.status: creating examples/python/calc/Makefile
config.status: creating examples/python/columns/Makefile
config.status: creating examples/python/exprAST/Makefile
config.status: creating examples/python/filter/Makefile
config.status: creating examples/python/filterWithRule/Makefile
config.status: creating examples/python/heteroAST/Makefile
config.status: creating examples/python/HTML/Makefile
config.status: creating examples/python/IDL/Makefile
config.status: creating examples/python/imagNodeAST/Makefile
config.status: creating examples/python/includeFile/Makefile
config.status: creating examples/python/inherit.tinyc/Makefile
config.status: creating examples/python/java/Makefile
config.status: creating examples/python/lexerTester/Makefile
config.status: creating examples/python/lexRewrite/Makefile
config.status: creating examples/python/linkChecker/Makefile
config.status: creating examples/python/multiLexer/Makefile
config.status: creating examples/python/multiParser/Makefile
config.status: creating examples/python/parseBinary/Makefile
config.status: creating examples/python/pascal/Makefile
config.status: creating examples/python/cpp/Makefile
config.status: creating examples/python/preserveWhiteSpace/Makefile
config.status: creating examples/python/tinybasic/Makefile
config.status: creating examples/python/tinyc/Makefile
config.status: creating examples/python/transform/Makefile
config.status: creating examples/python/treewalk/Makefile
config.status: creating examples/python/unicode/Makefile
config.status: creating examples/python/unicode.IDENTs/Makefile
config.status: creating examples/python/xml/Makefile
config.status: creating scripts/java.sh
config.status: creating scripts/jar.sh
config.status: creating scripts/javac.sh
config.status: creating scripts/antlr.sh
config.status: creating scripts/cxx.sh
config.status: creating scripts/link.sh
config.status: creating scripts/c.sh
config.status: creating scripts/lib.sh
config.status: creating scripts/cpp.sh
config.status: creating lib/cpp/Makefile
config.status: creating lib/cpp/antlr/Makefile
config.status: creating lib/cpp/src/Makefile
config.status: creating examples/cpp/Makefile
config.status: creating examples/cpp/ASTsupport/Makefile
config.status: creating examples/cpp/calc/Makefile
config.status: creating examples/cpp/exprAST/Makefile
config.status: creating examples/cpp/filter/Makefile
config.status: creating examples/cpp/filterWithRule/Makefile
config.status: creating examples/cpp/flexLexer/Makefile
config.status: creating examples/cpp/HTML/Makefile
config.status: creating examples/cpp/heteroAST/Makefile
config.status: creating examples/cpp/IDL/Makefile
config.status: creating examples/cpp/imagNodeAST/Makefile
config.status: creating examples/cpp/includeFile/Makefile
config.status: creating examples/cpp/inherit.tinyc/Makefile
config.status: creating examples/cpp/java/Makefile
config.status: creating examples/cpp/lexRewrite/Makefile
config.status: creating examples/cpp/multiLexer/Makefile
config.status: creating examples/cpp/multiParser/Makefile
config.status: creating examples/cpp/parseBinary/Makefile
config.status: creating examples/cpp/preserveWhiteSpace/Makefile
config.status: creating examples/cpp/tinyc/Makefile
config.status: creating examples/cpp/tokenStreamRewrite/Makefile
config.status: creating examples/cpp/transform/Makefile
config.status: creating examples/cpp/treewalk/Makefile
config.status: creating examples/cpp/unicode/Makefile
config.status: creating lib/Makefile
config.status: creating examples/Makefile
config.status: creating doc/Makefile
config.status: creating Makefile
config.status: creating scripts/antlr-config
config.status: creating scripts/run-antlr
config.status: creating scripts/antlr.spec
[ 35%] Performing build step for 'antlr2'
>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>
>> /usr/bin/make -C ./lib all                          
>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>
>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>
>> /usr/bin/make -C lib/cpp all                          
>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>
>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>
>> /usr/bin/make -C lib/cpp/antlr all                          
>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>
>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>
>> /usr/bin/make -C lib/cpp/src all                          
>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>
*** compiling /jobs/genie.efm/efm-symbex-gerrit/workspace/build/antlr2/src/antlr2/lib/cpp/src/ANTLRUtil.cpp
*** compiling /jobs/genie.efm/efm-symbex-gerrit/workspace/build/antlr2/src/antlr2/lib/cpp/src/ASTFactory.cpp
*** compiling /jobs/genie.efm/efm-symbex-gerrit/workspace/build/antlr2/src/antlr2/lib/cpp/src/ASTNULLType.cpp
*** compiling /jobs/genie.efm/efm-symbex-gerrit/workspace/build/antlr2/src/antlr2/lib/cpp/src/ASTRefCount.cpp
*** compiling /jobs/genie.efm/efm-symbex-gerrit/workspace/build/antlr2/src/antlr2/lib/cpp/src/BaseAST.cpp
*** compiling /jobs/genie.efm/efm-symbex-gerrit/workspace/build/antlr2/src/antlr2/lib/cpp/src/BitSet.cpp
*** compiling /jobs/genie.efm/efm-symbex-gerrit/workspace/build/antlr2/src/antlr2/lib/cpp/src/CharBuffer.cpp
*** compiling /jobs/genie.efm/efm-symbex-gerrit/workspace/build/antlr2/src/antlr2/lib/cpp/src/CharScanner.cpp
*** compiling /jobs/genie.efm/efm-symbex-gerrit/workspace/build/antlr2/src/antlr2/lib/cpp/src/CommonAST.cpp
*** compiling /jobs/genie.efm/efm-symbex-gerrit/workspace/build/antlr2/src/antlr2/lib/cpp/src/CommonASTWithHiddenTokens.cpp
*** compiling /jobs/genie.efm/efm-symbex-gerrit/workspace/build/antlr2/src/antlr2/lib/cpp/src/CommonHiddenStreamToken.cpp
*** compiling /jobs/genie.efm/efm-symbex-gerrit/workspace/build/antlr2/src/antlr2/lib/cpp/src/CommonToken.cpp
*** compiling /jobs/genie.efm/efm-symbex-gerrit/workspace/build/antlr2/src/antlr2/lib/cpp/src/InputBuffer.cpp
*** compiling /jobs/genie.efm/efm-symbex-gerrit/workspace/build/antlr2/src/antlr2/lib/cpp/src/LLkParser.cpp
*** compiling /jobs/genie.efm/efm-symbex-gerrit/workspace/build/antlr2/src/antlr2/lib/cpp/src/MismatchedCharException.cpp
*** compiling /jobs/genie.efm/efm-symbex-gerrit/workspace/build/antlr2/src/antlr2/lib/cpp/src/MismatchedTokenException.cpp
*** compiling /jobs/genie.efm/efm-symbex-gerrit/workspace/build/antlr2/src/antlr2/lib/cpp/src/NoViableAltException.cpp
*** compiling /jobs/genie.efm/efm-symbex-gerrit/workspace/build/antlr2/src/antlr2/lib/cpp/src/NoViableAltForCharException.cpp
*** compiling /jobs/genie.efm/efm-symbex-gerrit/workspace/build/antlr2/src/antlr2/lib/cpp/src/Parser.cpp
*** compiling /jobs/genie.efm/efm-symbex-gerrit/workspace/build/antlr2/src/antlr2/lib/cpp/src/RecognitionException.cpp
*** compiling /jobs/genie.efm/efm-symbex-gerrit/workspace/build/antlr2/src/antlr2/lib/cpp/src/String.cpp
*** compiling /jobs/genie.efm/efm-symbex-gerrit/workspace/build/antlr2/src/antlr2/lib/cpp/src/Token.cpp
*** compiling /jobs/genie.efm/efm-symbex-gerrit/workspace/build/antlr2/src/antlr2/lib/cpp/src/TokenBuffer.cpp
*** compiling /jobs/genie.efm/efm-symbex-gerrit/workspace/build/antlr2/src/antlr2/lib/cpp/src/TokenStreamBasicFilter.cpp
*** compiling /jobs/genie.efm/efm-symbex-gerrit/workspace/build/antlr2/src/antlr2/lib/cpp/src/TokenStreamHiddenTokenFilter.cpp
*** compiling /jobs/genie.efm/efm-symbex-gerrit/workspace/build/antlr2/src/antlr2/lib/cpp/src/TokenStreamSelector.cpp
*** compiling /jobs/genie.efm/efm-symbex-gerrit/workspace/build/antlr2/src/antlr2/lib/cpp/src/TokenStreamRewriteEngine.cpp
*** compiling /jobs/genie.efm/efm-symbex-gerrit/workspace/build/antlr2/src/antlr2/lib/cpp/src/TreeParser.cpp
*** compiling /jobs/genie.efm/efm-symbex-gerrit/workspace/build/antlr2/src/antlr2/lib/cpp/src/TokenRefCount.cpp
*** creating /jobs/genie.efm/efm-symbex-gerrit/workspace/build/antlr2/src/antlr2-build/lib/cpp/src/libantlr.a
/usr/bin/ar: creating /jobs/genie.efm/efm-symbex-gerrit/workspace/build/antlr2/src/antlr2-build/lib/cpp/src/libantlr.a
>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>
>> /usr/bin/make -C lib/python all                          
>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>
>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>
>> /usr/bin/make -C ./doc all                          
>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>
[ 41%] Performing install step for 'antlr2'
>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>
>> /usr/bin/make -C ./lib install                          
>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>
>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>
>> /usr/bin/make -C lib/cpp install                          
>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>
>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>
>> /usr/bin/make -C lib/cpp/antlr install                          
>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>
install hpp files .. 
install /jobs/genie.efm/efm-symbex-gerrit/workspace/build/antlr2/src/antlr2/lib/cpp/antlr/ANTLRException.hpp
install /jobs/genie.efm/efm-symbex-gerrit/workspace/build/antlr2/src/antlr2/lib/cpp/antlr/ANTLRUtil.hpp
install /jobs/genie.efm/efm-symbex-gerrit/workspace/build/antlr2/src/antlr2/lib/cpp/antlr/ASTArray.hpp
install /jobs/genie.efm/efm-symbex-gerrit/workspace/build/antlr2/src/antlr2/lib/cpp/antlr/ASTFactory.hpp
install /jobs/genie.efm/efm-symbex-gerrit/workspace/build/antlr2/src/antlr2/lib/cpp/antlr/AST.hpp
install /jobs/genie.efm/efm-symbex-gerrit/workspace/build/antlr2/src/antlr2/lib/cpp/antlr/ASTNULLType.hpp
install /jobs/genie.efm/efm-symbex-gerrit/workspace/build/antlr2/src/antlr2/lib/cpp/antlr/ASTPair.hpp
install /jobs/genie.efm/efm-symbex-gerrit/workspace/build/antlr2/src/antlr2/lib/cpp/antlr/ASTRefCount.hpp
install /jobs/genie.efm/efm-symbex-gerrit/workspace/build/antlr2/src/antlr2/lib/cpp/antlr/BaseAST.hpp
install /jobs/genie.efm/efm-symbex-gerrit/workspace/build/antlr2/src/antlr2/lib/cpp/antlr/BitSet.hpp
install /jobs/genie.efm/efm-symbex-gerrit/workspace/build/antlr2/src/antlr2/lib/cpp/antlr/CharBuffer.hpp
install /jobs/genie.efm/efm-symbex-gerrit/workspace/build/antlr2/src/antlr2/lib/cpp/antlr/CharInputBuffer.hpp
install /jobs/genie.efm/efm-symbex-gerrit/workspace/build/antlr2/src/antlr2/lib/cpp/antlr/CharScanner.hpp
install /jobs/genie.efm/efm-symbex-gerrit/workspace/build/antlr2/src/antlr2/lib/cpp/antlr/CharStreamException.hpp
install /jobs/genie.efm/efm-symbex-gerrit/workspace/build/antlr2/src/antlr2/lib/cpp/antlr/CharStreamIOException.hpp
install /jobs/genie.efm/efm-symbex-gerrit/workspace/build/antlr2/src/antlr2/lib/cpp/antlr/CircularQueue.hpp
install /jobs/genie.efm/efm-symbex-gerrit/workspace/build/antlr2/src/antlr2/lib/cpp/antlr/CommonAST.hpp
install /jobs/genie.efm/efm-symbex-gerrit/workspace/build/antlr2/src/antlr2/lib/cpp/antlr/CommonASTWithHiddenTokens.hpp
install /jobs/genie.efm/efm-symbex-gerrit/workspace/build/antlr2/src/antlr2/lib/cpp/antlr/CommonHiddenStreamToken.hpp
install /jobs/genie.efm/efm-symbex-gerrit/workspace/build/antlr2/src/antlr2/lib/cpp/antlr/CommonToken.hpp
install /jobs/genie.efm/efm-symbex-gerrit/workspace/build/antlr2/src/antlr2/lib/cpp/antlr/config.hpp
install /jobs/genie.efm/efm-symbex-gerrit/workspace/build/antlr2/src/antlr2/lib/cpp/antlr/Countable.hpp
install /jobs/genie.efm/efm-symbex-gerrit/workspace/build/antlr2/src/antlr2/lib/cpp/antlr/InputBuffer.hpp
install /jobs/genie.efm/efm-symbex-gerrit/workspace/build/antlr2/src/antlr2/lib/cpp/antlr/IOException.hpp
install /jobs/genie.efm/efm-symbex-gerrit/workspace/build/antlr2/src/antlr2/lib/cpp/antlr/LexerSharedInputState.hpp
install /jobs/genie.efm/efm-symbex-gerrit/workspace/build/antlr2/src/antlr2/lib/cpp/antlr/LLkParser.hpp
install /jobs/genie.efm/efm-symbex-gerrit/workspace/build/antlr2/src/antlr2/lib/cpp/antlr/MismatchedCharException.hpp
install /jobs/genie.efm/efm-symbex-gerrit/workspace/build/antlr2/src/antlr2/lib/cpp/antlr/MismatchedTokenException.hpp
install /jobs/genie.efm/efm-symbex-gerrit/workspace/build/antlr2/src/antlr2/lib/cpp/antlr/NoViableAltException.hpp
install /jobs/genie.efm/efm-symbex-gerrit/workspace/build/antlr2/src/antlr2/lib/cpp/antlr/NoViableAltForCharException.hpp
install /jobs/genie.efm/efm-symbex-gerrit/workspace/build/antlr2/src/antlr2/lib/cpp/antlr/Parser.hpp
install /jobs/genie.efm/efm-symbex-gerrit/workspace/build/antlr2/src/antlr2/lib/cpp/antlr/ParserSharedInputState.hpp
install /jobs/genie.efm/efm-symbex-gerrit/workspace/build/antlr2/src/antlr2/lib/cpp/antlr/RecognitionException.hpp
install /jobs/genie.efm/efm-symbex-gerrit/workspace/build/antlr2/src/antlr2/lib/cpp/antlr/RefCount.hpp
install /jobs/genie.efm/efm-symbex-gerrit/workspace/build/antlr2/src/antlr2/lib/cpp/antlr/SemanticException.hpp
install /jobs/genie.efm/efm-symbex-gerrit/workspace/build/antlr2/src/antlr2/lib/cpp/antlr/String.hpp
install /jobs/genie.efm/efm-symbex-gerrit/workspace/build/antlr2/src/antlr2/lib/cpp/antlr/TokenBuffer.hpp
install /jobs/genie.efm/efm-symbex-gerrit/workspace/build/antlr2/src/antlr2/lib/cpp/antlr/Token.hpp
install /jobs/genie.efm/efm-symbex-gerrit/workspace/build/antlr2/src/antlr2/lib/cpp/antlr/TokenRefCount.hpp
install /jobs/genie.efm/efm-symbex-gerrit/workspace/build/antlr2/src/antlr2/lib/cpp/antlr/TokenStreamBasicFilter.hpp
install /jobs/genie.efm/efm-symbex-gerrit/workspace/build/antlr2/src/antlr2/lib/cpp/antlr/TokenStreamException.hpp
install /jobs/genie.efm/efm-symbex-gerrit/workspace/build/antlr2/src/antlr2/lib/cpp/antlr/TokenStreamHiddenTokenFilter.hpp
install /jobs/genie.efm/efm-symbex-gerrit/workspace/build/antlr2/src/antlr2/lib/cpp/antlr/TokenStream.hpp
install /jobs/genie.efm/efm-symbex-gerrit/workspace/build/antlr2/src/antlr2/lib/cpp/antlr/TokenStreamIOException.hpp
install /jobs/genie.efm/efm-symbex-gerrit/workspace/build/antlr2/src/antlr2/lib/cpp/antlr/TokenStreamRecognitionException.hpp
install /jobs/genie.efm/efm-symbex-gerrit/workspace/build/antlr2/src/antlr2/lib/cpp/antlr/TokenStreamRetryException.hpp
install /jobs/genie.efm/efm-symbex-gerrit/workspace/build/antlr2/src/antlr2/lib/cpp/antlr/TokenStreamRewriteEngine.hpp
install /jobs/genie.efm/efm-symbex-gerrit/workspace/build/antlr2/src/antlr2/lib/cpp/antlr/TokenStreamSelector.hpp
install /jobs/genie.efm/efm-symbex-gerrit/workspace/build/antlr2/src/antlr2/lib/cpp/antlr/TokenWithIndex.hpp
install /jobs/genie.efm/efm-symbex-gerrit/workspace/build/antlr2/src/antlr2/lib/cpp/antlr/TreeParser.hpp
install /jobs/genie.efm/efm-symbex-gerrit/workspace/build/antlr2/src/antlr2/lib/cpp/antlr/TreeParserSharedInputState.hpp
>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>
>> /usr/bin/make -C lib/cpp/src install                          
>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>
install C++ core files .. 
install /jobs/genie.efm/efm-symbex-gerrit/workspace/build/antlr2/src/antlr2-build/lib/cpp/src/libantlr.a
>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>
>> /usr/bin/make -C lib/python install                          
>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>
install python files .. 
install /jobs/genie.efm/efm-symbex-gerrit/workspace/build/antlr2/src/antlr2/lib/python/antlr/antlr.py
install /jobs/genie.efm/efm-symbex-gerrit/workspace/build/antlr2/src/antlr2/lib/python/antlr/__init__.py
install /jobs/genie.efm/efm-symbex-gerrit/workspace/build/antlr2/src/antlr2/lib/python/antlr/antlr.py
install Python installer
>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>
>> /usr/bin/make -C ./doc install                          
>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>
install doc files .. 
install /jobs/genie.efm/efm-symbex-gerrit/workspace/build/antlr2/src/antlr2/doc/closure.gif
install /jobs/genie.efm/efm-symbex-gerrit/workspace/build/antlr2/src/antlr2/doc/cpp-runtime.html
install /jobs/genie.efm/efm-symbex-gerrit/workspace/build/antlr2/src/antlr2/doc/csharp-runtime.html
install /jobs/genie.efm/efm-symbex-gerrit/workspace/build/antlr2/src/antlr2/doc/err.html
install /jobs/genie.efm/efm-symbex-gerrit/workspace/build/antlr2/src/antlr2/doc/glossary.html
install /jobs/genie.efm/efm-symbex-gerrit/workspace/build/antlr2/src/antlr2/doc/hidden.stream.gif
install /jobs/genie.efm/efm-symbex-gerrit/workspace/build/antlr2/src/antlr2/doc/index.html
install /jobs/genie.efm/efm-symbex-gerrit/workspace/build/antlr2/src/antlr2/doc/inheritance.html
install /jobs/genie.efm/efm-symbex-gerrit/workspace/build/antlr2/src/antlr2/doc/j-guru-blue.jpg
install /jobs/genie.efm/efm-symbex-gerrit/workspace/build/antlr2/src/antlr2/doc/jguru-logo.gif
install /jobs/genie.efm/efm-symbex-gerrit/workspace/build/antlr2/src/antlr2/doc/lexer.html
install /jobs/genie.efm/efm-symbex-gerrit/workspace/build/antlr2/src/antlr2/doc/lexer.to.parser.tokens.gif
install /jobs/genie.efm/efm-symbex-gerrit/workspace/build/antlr2/src/antlr2/doc/logo.gif
install /jobs/genie.efm/efm-symbex-gerrit/workspace/build/antlr2/src/antlr2/doc/metalang.html
install /jobs/genie.efm/efm-symbex-gerrit/workspace/build/antlr2/src/antlr2/doc/optional.gif
install /jobs/genie.efm/efm-symbex-gerrit/workspace/build/antlr2/src/antlr2/doc/options.html
install /jobs/genie.efm/efm-symbex-gerrit/workspace/build/antlr2/src/antlr2/doc/posclosure.gif
install /jobs/genie.efm/efm-symbex-gerrit/workspace/build/antlr2/src/antlr2/doc/python-runtime.html
install /jobs/genie.efm/efm-symbex-gerrit/workspace/build/antlr2/src/antlr2/doc/runtime.html
install /jobs/genie.efm/efm-symbex-gerrit/workspace/build/antlr2/src/antlr2/doc/sor.html
install /jobs/genie.efm/efm-symbex-gerrit/workspace/build/antlr2/src/antlr2/doc/stream.perspectives.gif
install /jobs/genie.efm/efm-symbex-gerrit/workspace/build/antlr2/src/antlr2/doc/stream.selector.gif
install /jobs/genie.efm/efm-symbex-gerrit/workspace/build/antlr2/src/antlr2/doc/streams.html
install /jobs/genie.efm/efm-symbex-gerrit/workspace/build/antlr2/src/antlr2/doc/stream.splitter.gif
install /jobs/genie.efm/efm-symbex-gerrit/workspace/build/antlr2/src/antlr2/doc/subrule.gif
install /jobs/genie.efm/efm-symbex-gerrit/workspace/build/antlr2/src/antlr2/doc/trees.html
install /jobs/genie.efm/efm-symbex-gerrit/workspace/build/antlr2/src/antlr2/doc/vocab.html
>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>
>> /usr/bin/make -C examples/cpp install                          
>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>
>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>
>> /usr/bin/make -C examples/cpp/ASTsupport install                          
>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>
>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>
>> /usr/bin/make -C examples/cpp/calc install                          
>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>
>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>
>> /usr/bin/make -C examples/cpp/exprAST install                          
>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>
>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>
>> /usr/bin/make -C examples/cpp/filter install                          
>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>
>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>
>> /usr/bin/make -C examples/cpp/filterWithRule install                          
>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>
>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>
>> /usr/bin/make -C examples/cpp/heteroAST install                          
>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>
>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>
>> /usr/bin/make -C examples/cpp/HTML install                          
>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>
>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>
>> /usr/bin/make -C examples/cpp/IDL install                          
>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>
>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>
>> /usr/bin/make -C examples/cpp/imagNodeAST install                          
>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>
>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>
>> /usr/bin/make -C examples/cpp/includeFile install                          
>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>
>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>
>> /usr/bin/make -C examples/cpp/java install                          
>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>
>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>
>> /usr/bin/make -C examples/cpp/lexRewrite install                          
>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>
>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>
>> /usr/bin/make -C examples/cpp/multiParser install                          
>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>
>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>
>> /usr/bin/make -C examples/cpp/parseBinary install                          
>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>
>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>
>> /usr/bin/make -C examples/cpp/preserveWhiteSpace install                          
>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>
>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>
>> /usr/bin/make -C examples/cpp/tinyc install                          
>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>
>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>
>> /usr/bin/make -C examples/cpp/tokenStreamRewrite install                          
>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>
>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>
>> /usr/bin/make -C examples/cpp/transform install                          
>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>
>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>
>> /usr/bin/make -C examples/cpp/treewalk install                          
>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>
>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>
>> /usr/bin/make -C examples/cpp/unicode install                          
>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>
>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>
>> /usr/bin/make -C examples/python install                          
>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>
>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>
>> /usr/bin/make -C examples/python/asn1 install                          
>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>
>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>
>> /usr/bin/make -C examples/python/ASTsupport install                          
>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>
>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>
>> /usr/bin/make -C examples/python/calc install                          
>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>
>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>
>> /usr/bin/make -C examples/python/columns install                          
>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>
>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>
>> /usr/bin/make -C examples/python/cpp install                          
>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>
>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>
>> /usr/bin/make -C examples/python/exprAST install                          
>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>
>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>
>> /usr/bin/make -C examples/python/filter install                          
>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>
>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>
>> /usr/bin/make -C examples/python/filterWithRule install                          
>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>
>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>
>> /usr/bin/make -C examples/python/heteroAST install                          
>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>
>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>
>> /usr/bin/make -C examples/python/HTML install                          
>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>
>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>
>> /usr/bin/make -C examples/python/IDL install                          
>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>
>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>
>> /usr/bin/make -C examples/python/imagNodeAST install                          
>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>
>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>
>> /usr/bin/make -C examples/python/includeFile install                          
>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>
>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>
>> /usr/bin/make -C examples/python/java install                          
>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>
>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>
>> /usr/bin/make -C examples/python/lexerTester install                          
>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>
>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>
>> /usr/bin/make -C examples/python/lexRewrite install                          
>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>
>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>
>> /usr/bin/make -C examples/python/linkChecker install                          
>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>
>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>
>> /usr/bin/make -C examples/python/multiLexer install                          
>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>
>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>
>> /usr/bin/make -C examples/python/multiParser install                          
>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>
>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>
>> /usr/bin/make -C examples/python/parseBinary install                          
>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>
>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>
>> /usr/bin/make -C examples/python/pascal install                          
>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>
>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>
>> /usr/bin/make -C examples/python/preserveWhiteSpace install                          
>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>
>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>
>> /usr/bin/make -C examples/python/tinybasic install                          
>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>
>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>
>> /usr/bin/make -C examples/python/tinyc install                          
>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>
>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>
>> /usr/bin/make -C examples/python/transform install                          
>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>
>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>
>> /usr/bin/make -C examples/python/treewalk install                          
>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>
>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>
>> /usr/bin/make -C examples/python/unicode install                          
>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>
>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>
>> /usr/bin/make -C examples/python/unicode.IDENTs install                          
>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>
>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>
>> /usr/bin/make -C examples/python/xml install                          
>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>
installation done
[ 47%] Completed 'antlr2'
[ 47%] Built target antlr2
Scanning dependencies of target cvc4
[ 52%] Creating directories for 'cvc4'
[ 58%] Performing download step (download, verify and extract) for 'cvc4'
-- downloading...
     src='http://cvc4.cs.nyu.edu/builds/src/cvc4-1.4.tar.gz'
     dst='/jobs/genie.efm/efm-symbex-gerrit/workspace/build/cvc4-1.4.tar.gz'
     timeout='none'
-- [download 0% complete]
-- [download 2% complete]
-- [download 6% complete]
-- [download 11% complete]
-- [download 18% complete]
-- [download 25% complete]
-- [download 32% complete]
-- [download 39% complete]
-- [download 46% complete]
-- [download 51% complete]
-- [download 56% complete]
-- [download 62% complete]
-- [download 71% complete]
-- [download 84% complete]
-- [download 94% complete]
-- [download 99% complete]
-- [download 100% complete]
-- downloading... done
-- verifying file...
     file='/jobs/genie.efm/efm-symbex-gerrit/workspace/build/cvc4-1.4.tar.gz'
-- verifying file... warning: did not verify file - no URL_HASH specified?
-- extracting...
     src='/jobs/genie.efm/efm-symbex-gerrit/workspace/build/cvc4-1.4.tar.gz'
     dst='/jobs/genie.efm/efm-symbex-gerrit/workspace/build/cvc4/src/cvc4'
-- extracting... [tar xfz]
-- extracting... [analysis]
-- extracting... [rename]
-- extracting... [clean up]
-- extracting... done
[ 64%] Performing patch step for 'cvc4'
[ 70%] No update step for 'cvc4'
[ 76%] Performing configure step for 'cvc4'
+ mkdir -p antlr-3.4/share/java
+ mkdir -p antlr-3.4/bin
+ mkdir -p antlr-3.4/src
+ cd antlr-3.4
+ webget http://www.antlr3.org/download/antlr-3.4-complete.jar share/java/antlr-3.4-complete.jar
+ which wget
+ wget -c -O share/java/antlr-3.4-complete.jar http://www.antlr3.org/download/antlr-3.4-complete.jar
--2017-02-02 11:58:10--  http://www.antlr3.org/download/antlr-3.4-complete.jar
Resolving proxy.eclipse.org (proxy.eclipse.org)... 172.30.206.220
Connecting to proxy.eclipse.org (proxy.eclipse.org)|172.30.206.220|:9898... connected.
Proxy request sent, awaiting response... 200 OK
Length: 2388361 (2.3M) [application/java-archive]
Saving to: ‘share/java/antlr-3.4-complete.jar’

     0K .......... .......... .......... .......... ..........  2% 2.71M 1s
    50K .......... .......... .......... .......... ..........  4% 5.88M 1s
   100K .......... .......... .......... .......... ..........  6% 5.72M 1s
   150K .......... .......... .......... .......... ..........  8% 8.21M 0s
   200K .......... .......... .......... .......... .......... 10% 8.80M 0s
   250K .......... .......... .......... .......... .......... 12% 10.9M 0s
   300K .......... .......... .......... .......... .......... 15% 8.85M 0s
   350K .......... .......... .......... .......... .......... 17% 9.19M 0s
   400K .......... .......... .......... .......... .......... 19% 10.8M 0s
   450K .......... .......... .......... .......... .......... 21% 12.5M 0s
   500K .......... .......... .......... .......... .......... 23% 8.51M 0s
   550K .......... .......... .......... .......... .......... 25% 14.5M 0s
   600K .......... .......... .......... .......... .......... 27% 11.6M 0s
   650K .......... .......... .......... .......... .......... 30% 9.96M 0s
   700K .......... .......... .......... .......... .......... 32% 13.9M 0s
   750K .......... .......... .......... .......... .......... 34% 9.07M 0s
   800K .......... .......... .......... .......... .......... 36% 16.6M 0s
   850K .......... .......... .......... .......... .......... 38% 10.9M 0s
   900K .......... .......... .......... .......... .......... 40% 14.6M 0s
   950K .......... .......... .......... .......... .......... 42% 15.8M 0s
  1000K .......... .......... .......... .......... .......... 45% 10.5M 0s
  1050K .......... .......... .......... .......... .......... 47% 12.8M 0s
  1100K .......... .......... .......... .......... .......... 49% 12.2M 0s
  1150K .......... .......... .......... .......... .......... 51% 14.8M 0s
  1200K .......... .......... .......... .......... .......... 53% 14.9M 0s
  1250K .......... .......... .......... .......... .......... 55% 15.9M 0s
  1300K .......... .......... .......... .......... .......... 57% 14.1M 0s
  1350K .......... .......... .......... .......... .......... 60% 15.8M 0s
  1400K .......... .......... .......... .......... .......... 62% 14.1M 0s
  1450K .......... .......... .......... .......... .......... 64% 15.1M 0s
  1500K .......... .......... .......... .......... .......... 66% 17.0M 0s
  1550K .......... .......... .......... .......... .......... 68% 14.8M 0s
  1600K .......... .......... .......... .......... .......... 70% 15.7M 0s
  1650K .......... .......... .......... .......... .......... 72% 23.0M 0s
  1700K .......... .......... .......... .......... .......... 75% 24.0M 0s
  1750K .......... .......... .......... .......... .......... 77% 14.7M 0s
  1800K .......... .......... .......... .......... .......... 79% 17.7M 0s
  1850K .......... .......... .......... .......... .......... 81% 17.9M 0s
  1900K .......... .......... .......... .......... .......... 83% 20.0M 0s
  1950K .......... .......... .......... .......... .......... 85% 15.8M 0s
  2000K .......... .......... .......... .......... .......... 87% 17.8M 0s
  2050K .......... .......... .......... .......... .......... 90% 23.6M 0s
  2100K .......... .......... .......... .......... .......... 92% 17.8M 0s
  2150K .......... .......... .......... .......... .......... 94% 18.1M 0s
  2200K .......... .......... .......... .......... .......... 96% 19.4M 0s
  2250K .......... .......... .......... .......... .......... 98% 17.9M 0s
  2300K .......... .......... .......... ..                   100% 27.5M=0.2s

2017-02-02 11:58:11 (11.9 MB/s) - ‘share/java/antlr-3.4-complete.jar’ saved [2388361/2388361]

+ webget http://www.antlr3.org/download/C/libantlr3c-3.4.tar.gz src/libantlr3c-3.4.tar.gz
+ which wget
+ wget -c -O src/libantlr3c-3.4.tar.gz http://www.antlr3.org/download/C/libantlr3c-3.4.tar.gz
--2017-02-02 11:58:11--  http://www.antlr3.org/download/C/libantlr3c-3.4.tar.gz
Resolving proxy.eclipse.org (proxy.eclipse.org)... 172.30.206.220
Connecting to proxy.eclipse.org (proxy.eclipse.org)|172.30.206.220|:9898... connected.
Proxy request sent, awaiting response... 200 OK
Length: 546039 (533K) [application/octet-stream]
Saving to: ‘src/libantlr3c-3.4.tar.gz’

     0K .......... .......... .......... .......... ..........  9% 2.56M 0s
    50K .......... .......... .......... .......... .......... 18% 4.36M 0s
   100K .......... .......... .......... .......... .......... 28% 5.26M 0s
   150K .......... .......... .......... .......... .......... 37% 6.07M 0s
   200K .......... .......... .......... .......... .......... 46% 10.1M 0s
   250K .......... .......... .......... .......... .......... 56% 5.83M 0s
   300K .......... .......... .......... .......... .......... 65% 7.43M 0s
   350K .......... .......... .......... .......... .......... 75% 9.87M 0s
   400K .......... .......... .......... .......... .......... 84% 7.54M 0s
   450K .......... .......... .......... .......... .......... 93% 11.0M 0s
   500K .......... .......... .......... ...                  100% 11.8M=0.09s

2017-02-02 11:58:11 (6.05 MB/s) - ‘src/libantlr3c-3.4.tar.gz’ saved [546039/546039]

+ tee bin/antlr3
++ pwd
#!/bin/bash
export CLASSPATH=/jobs/genie.efm/efm-symbex-gerrit/workspace/build/cvc4/src/cvc4/antlr-3.4/share/java/antlr-3.4-complete.jar:$CLASSPATH
exec java org.antlr.Tool "$@"
+ chmod a+x bin/antlr3
+ cd src
+ gunzip -f libantlr3c-3.4.tar.gz
+ tar xfv libantlr3c-3.4.tar
libantlr3c-3.4/
libantlr3c-3.4/depcomp
libantlr3c-3.4/doxygen/
libantlr3c-3.4/doxygen/using.dox
libantlr3c-3.4/doxygen/mainpage.dox
libantlr3c-3.4/doxygen/atsections.dox
libantlr3c-3.4/doxygen/knownissues.dox
libantlr3c-3.4/doxygen/doxygengroups.dox
libantlr3c-3.4/doxygen/changes31.dox
libantlr3c-3.4/doxygen/runtime.dox
libantlr3c-3.4/doxygen/interop.dox
libantlr3c-3.4/doxygen/generate.dox
libantlr3c-3.4/doxygen/build.dox
libantlr3c-3.4/doxygen/buildrec.dox
libantlr3c-3.4/COPYING
libantlr3c-3.4/C.vcproj.vspscc
libantlr3c-3.4/aclocal.m4
libantlr3c-3.4/C.vssscc
libantlr3c-3.4/Makefile.am
libantlr3c-3.4/include/
libantlr3c-3.4/include/antlr3cyclicdfa.h
libantlr3c-3.4/include/antlr3commontoken.h
libantlr3c-3.4/include/antlr3.h
libantlr3c-3.4/include/antlr3basetree.h
libantlr3c-3.4/include/antlr3defs.h
libantlr3c-3.4/include/antlr3commontree.h
libantlr3c-3.4/include/antlr3recognizersharedstate.h
libantlr3c-3.4/include/antlr3filestream.h
libantlr3c-3.4/include/antlr3parsetree.h
libantlr3c-3.4/include/antlr3commontreeadaptor.h
libantlr3c-3.4/include/antlr3treeparser.h
libantlr3c-3.4/include/antlr3baserecognizer.h
libantlr3c-3.4/include/antlr3memory.h
libantlr3c-3.4/include/antlr3interfaces.h
libantlr3c-3.4/include/antlr3input.h
libantlr3c-3.4/include/antlr3encodings.h
libantlr3c-3.4/include/antlr3errors.h
libantlr3c-3.4/include/antlr3string.h
libantlr3c-3.4/include/antlr3basetreeadaptor.h
libantlr3c-3.4/include/antlr3debugeventlistener.h
libantlr3c-3.4/include/antlr3commontreenodestream.h
libantlr3c-3.4/include/antlr3bitset.h
libantlr3c-3.4/include/antlr3parser.h
libantlr3c-3.4/include/antlr3lexer.h
libantlr3c-3.4/include/antlr3rewritestreams.h
libantlr3c-3.4/include/antlr3tokenstream.h
libantlr3c-3.4/include/antlr3convertutf.h
libantlr3c-3.4/include/antlr3collections.h
libantlr3c-3.4/include/antlr3intstream.h
libantlr3c-3.4/include/antlr3exception.h
libantlr3c-3.4/C.sln
libantlr3c-3.4/INSTALL
libantlr3c-3.4/install-sh
libantlr3c-3.4/ltmain.sh
libantlr3c-3.4/config.sub
libantlr3c-3.4/AUTHORS
libantlr3c-3.4/missing
libantlr3c-3.4/config.guess
libantlr3c-3.4/m4/
libantlr3c-3.4/m4/ltoptions.m4
libantlr3c-3.4/m4/libtool.m4
libantlr3c-3.4/m4/ltversion.m4
libantlr3c-3.4/m4/ltsugar.m4
libantlr3c-3.4/m4/lt~obsolete.m4
libantlr3c-3.4/Makefile.in
libantlr3c-3.4/README
libantlr3c-3.4/vsrulefiles/
libantlr3c-3.4/vsrulefiles/antlr3treeparser.rules
libantlr3c-3.4/vsrulefiles/antlr3lexer.rules
libantlr3c-3.4/vsrulefiles/antlr3parser.rules
libantlr3c-3.4/vsrulefiles/antlr3lexerandparser.rules
libantlr3c-3.4/antlr3config.h.in
libantlr3c-3.4/src/
libantlr3c-3.4/src/antlr3cyclicdfa.c
libantlr3c-3.4/src/antlr3basetreeadaptor.c
libantlr3c-3.4/src/antlr3filestream.c
libantlr3c-3.4/src/antlr3intstream.c
libantlr3c-3.4/src/antlr3convertutf.c
libantlr3c-3.4/src/antlr3basetree.c
libantlr3c-3.4/src/antlr3rewritestreams.c
libantlr3c-3.4/src/antlr3baserecognizer.c
libantlr3c-3.4/src/antlr3commontreenodestream.c
libantlr3c-3.4/src/antlr3collections.c
libantlr3c-3.4/src/antlr3commontoken.c
libantlr3c-3.4/src/antlr3parser.c
libantlr3c-3.4/src/antlr3bitset.c
libantlr3c-3.4/src/antlr3inputstream.c
libantlr3c-3.4/src/antlr3string.c
libantlr3c-3.4/src/antlr3tokenstream.c
libantlr3c-3.4/src/antlr3commontree.c
libantlr3c-3.4/src/antlr3lexer.c
libantlr3c-3.4/src/antlr3exception.c
libantlr3c-3.4/src/antlr3treeparser.c
libantlr3c-3.4/src/antlr3encodings.c
libantlr3c-3.4/src/antlr3debughandlers.c
libantlr3c-3.4/src/antlr3commontreeadaptor.c
libantlr3c-3.4/antlr3config.h
libantlr3c-3.4/C.vcproj
libantlr3c-3.4/configure.ac
libantlr3c-3.4/doxyfile
libantlr3c-3.4/ChangeLog
libantlr3c-3.4/NEWS
libantlr3c-3.4/configure
+ cd libantlr3c-3.4
+ '[' x86_64 == x86_64 ']'
++ pwd
+ ./configure --enable-64bit --disable-shared --disable-antlrdebug --prefix=/jobs/genie.efm/efm-symbex-gerrit/workspace/build/cvc4/src/cvc4/antlr-3.4/src/libantlr3c-3.4/../..
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 for xlc... no
checking for aCC... 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 for style of include used by make... GNU
checking dependency style of gcc... gcc3
checking whether to enable maintainer-specific portions of Makefiles... no
checking build system type... x86_64-unknown-linux-gnu
checking host system type... x86_64-unknown-linux-gnu
checking how to print strings... printf
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/x86_64-suse-linux/bin/ld
checking if the linker (/usr/x86_64-suse-linux/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 for /usr/x86_64-suse-linux/bin/ld option to reload object files... -r
checking for objdump... objdump
checking how to recognize dependent libraries... pass_all
checking for ar... ar
checking for strip... strip
checking for ranlib... ranlib
checking command to parse /usr/bin/nm -B output from gcc object... ok
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/x86_64-suse-linux/bin/ld -m elf_x86_64) supports shared libraries... yes
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... no
checking whether to build static libraries... yes
checking compiler flags required for compiling ANTLR with gcc C compiler on host x86_64-unknown-linux-gnu... -m64  -O2  -Wall
checking whether ln -s works... yes
checking whether make sets $(MAKE)... (cached) yes
./configure: line 10723: #include: command not found
checking for sys/types.h... (cached) yes
checking for netinet/in.h... yes
checking for arpa/nameser.h... yes
checking for netdb.h... yes
checking for resolv.h... yes
checking for sys/malloc.h... no
checking for malloc.h... yes
checking for stdarg.h... yes
checking for sys/stat.h... (cached) yes
checking for ctype.h... yes
checking for netinet/tcp.h... yes
checking for sys/socket.h... yes
checking for socket.h... no
checking for an ANSI C-conforming const... yes
checking for size_t... yes
checking for int8_t... yes
checking for int16_t... yes
checking for int32_t... yes
checking for int64_t... yes
checking for intptr_t... yes
checking for uint8_t... yes
checking for uint16_t... yes
checking for uint32_t... yes
checking for uint64_t... yes
checking for uintptr_t... yes
checking for inline... inline
checking for memmove... yes
checking for memset... yes
checking for strdup... yes
checking for accept... yes
configure: creating ./config.status
config.status: creating Makefile
config.status: creating antlr3config.h
config.status: executing depfiles commands
config.status: executing libtool commands
+ cp Makefile Makefile.orig
+ sed 's,^\(CFLAGS = .*\),\1 -fexceptions,' Makefile.orig
+ make
libtool: compile:  gcc -DHAVE_CONFIG_H -I. -Iinclude -m64 -O2 -Wall -fexceptions -MT antlr3baserecognizer.lo -MD -MP -MF .deps/antlr3baserecognizer.Tpo -c src/antlr3baserecognizer.c -o antlr3baserecognizer.o
src/antlr3baserecognizer.c: In function ‘mismatch’:
src/antlr3baserecognizer.c:645:29: warning: variable ‘tparser’ set but not used [-Wunused-but-set-variable]
     pANTLR3_TREE_PARSER     tparser;
                             ^
src/antlr3baserecognizer.c: In function ‘displayRecognitionError’:
src/antlr3baserecognizer.c:1012:25: warning: variable ‘is’ set but not used [-Wunused-but-set-variable]
  pANTLR3_INT_STREAM     is;
                         ^
src/antlr3baserecognizer.c: In function ‘getMissingSymbol’:
src/antlr3baserecognizer.c:2169:31: warning: variable ‘cts’ set but not used [-Wunused-but-set-variable]
  pANTLR3_COMMON_TOKEN_STREAM  cts;
                               ^
libtool: compile:  gcc -DHAVE_CONFIG_H -I. -Iinclude -m64 -O2 -Wall -fexceptions -MT antlr3basetree.lo -MD -MP -MF .deps/antlr3basetree.Tpo -c src/antlr3basetree.c -o antlr3basetree.o
src/antlr3basetree.c: In function ‘replaceChildren’:
src/antlr3basetree.c:428:17: warning: variable ‘numToInsert’ set but not used [-Wunused-but-set-variable]
   ANTLR3_UINT32 numToInsert;
                 ^
libtool: compile:  gcc -DHAVE_CONFIG_H -I. -Iinclude -m64 -O2 -Wall -fexceptions -MT antlr3basetreeadaptor.lo -MD -MP -MF .deps/antlr3basetreeadaptor.Tpo -c src/antlr3basetreeadaptor.c -o antlr3basetreeadaptor.o
libtool: compile:  gcc -DHAVE_CONFIG_H -I. -Iinclude -m64 -O2 -Wall -fexceptions -MT antlr3bitset.lo -MD -MP -MF .deps/antlr3bitset.Tpo -c src/antlr3bitset.c -o antlr3bitset.o
libtool: compile:  gcc -DHAVE_CONFIG_H -I. -Iinclude -m64 -O2 -Wall -fexceptions -MT antlr3collections.lo -MD -MP -MF .deps/antlr3collections.Tpo -c src/antlr3collections.c -o antlr3collections.o
src/antlr3collections.c: In function ‘intTrieDel’:
src/antlr3collections.c:1893:29: warning: variable ‘p’ set but not used [-Wunused-but-set-variable]
     pANTLR3_INT_TRIE_NODE   p;
                             ^
libtool: compile:  gcc -DHAVE_CONFIG_H -I. -Iinclude -m64 -O2 -Wall -fexceptions -MT antlr3commontoken.lo -MD -MP -MF .deps/antlr3commontoken.Tpo -c src/antlr3commontoken.c -o antlr3commontoken.o
libtool: compile:  gcc -DHAVE_CONFIG_H -I. -Iinclude -m64 -O2 -Wall -fexceptions -MT antlr3commontree.lo -MD -MP -MF .deps/antlr3commontree.Tpo -c src/antlr3commontree.c -o antlr3commontree.o
libtool: compile:  gcc -DHAVE_CONFIG_H -I. -Iinclude -m64 -O2 -Wall -fexceptions -MT antlr3commontreeadaptor.lo -MD -MP -MF .deps/antlr3commontreeadaptor.Tpo -c src/antlr3commontreeadaptor.c -o antlr3commontreeadaptor.o
src/antlr3commontreeadaptor.c:51:32: warning: ‘getToken’ declared ‘static’ but never defined [-Wunused-function]
 static pANTLR3_COMMON_TOKEN    getToken    (pANTLR3_BASE_TREE_ADAPTOR adaptor, pANTLR3_BASE_TREE t);
                                ^
libtool: compile:  gcc -DHAVE_CONFIG_H -I. -Iinclude -m64 -O2 -Wall -fexceptions -MT antlr3commontreenodestream.lo -MD -MP -MF .deps/antlr3commontreenodestream.Tpo -c src/antlr3commontreenodestream.c -o antlr3commontreenodestream.o
src/antlr3commontreenodestream.c: In function ‘replaceChildren’:
src/antlr3commontreenodestream.c:933:31: warning: variable ‘cta’ set but not used [-Wunused-but-set-variable]
   pANTLR3_COMMON_TREE_ADAPTOR cta;
                               ^
libtool: compile:  gcc -DHAVE_CONFIG_H -I. -Iinclude -m64 -O2 -Wall -fexceptions -MT antlr3convertutf.lo -MD -MP -MF .deps/antlr3convertutf.Tpo -c src/antlr3convertutf.c -o antlr3convertutf.o
libtool: compile:  gcc -DHAVE_CONFIG_H -I. -Iinclude -m64 -O2 -Wall -fexceptions -MT antlr3cyclicdfa.lo -MD -MP -MF .deps/antlr3cyclicdfa.Tpo -c src/antlr3cyclicdfa.c -o antlr3cyclicdfa.o
libtool: compile:  gcc -DHAVE_CONFIG_H -I. -Iinclude -m64 -O2 -Wall -fexceptions -MT antlr3debughandlers.lo -MD -MP -MF .deps/antlr3debughandlers.Tpo -c src/antlr3debughandlers.c -o antlr3debughandlers.o
libtool: compile:  gcc -DHAVE_CONFIG_H -I. -Iinclude -m64 -O2 -Wall -fexceptions -MT antlr3encodings.lo -MD -MP -MF .deps/antlr3encodings.Tpo -c src/antlr3encodings.c -o antlr3encodings.o
libtool: compile:  gcc -DHAVE_CONFIG_H -I. -Iinclude -m64 -O2 -Wall -fexceptions -MT antlr3exception.lo -MD -MP -MF .deps/antlr3exception.Tpo -c src/antlr3exception.c -o antlr3exception.o
libtool: compile:  gcc -DHAVE_CONFIG_H -I. -Iinclude -m64 -O2 -Wall -fexceptions -MT antlr3filestream.lo -MD -MP -MF .deps/antlr3filestream.Tpo -c src/antlr3filestream.c -o antlr3filestream.o
libtool: compile:  gcc -DHAVE_CONFIG_H -I. -Iinclude -m64 -O2 -Wall -fexceptions -MT antlr3inputstream.lo -MD -MP -MF .deps/antlr3inputstream.Tpo -c src/antlr3inputstream.c -o antlr3inputstream.o
libtool: compile:  gcc -DHAVE_CONFIG_H -I. -Iinclude -m64 -O2 -Wall -fexceptions -MT antlr3intstream.lo -MD -MP -MF .deps/antlr3intstream.Tpo -c src/antlr3intstream.c -o antlr3intstream.o
libtool: compile:  gcc -DHAVE_CONFIG_H -I. -Iinclude -m64 -O2 -Wall -fexceptions -MT antlr3lexer.lo -MD -MP -MF .deps/antlr3lexer.Tpo -c src/antlr3lexer.c -o antlr3lexer.o
libtool: compile:  gcc -DHAVE_CONFIG_H -I. -Iinclude -m64 -O2 -Wall -fexceptions -MT antlr3parser.lo -MD -MP -MF .deps/antlr3parser.Tpo -c src/antlr3parser.c -o antlr3parser.o
libtool: compile:  gcc -DHAVE_CONFIG_H -I. -Iinclude -m64 -O2 -Wall -fexceptions -MT antlr3rewritestreams.lo -MD -MP -MF .deps/antlr3rewritestreams.Tpo -c src/antlr3rewritestreams.c -o antlr3rewritestreams.o
libtool: compile:  gcc -DHAVE_CONFIG_H -I. -Iinclude -m64 -O2 -Wall -fexceptions -MT antlr3string.lo -MD -MP -MF .deps/antlr3string.Tpo -c src/antlr3string.c -o antlr3string.o
src/antlr3string.c: In function ‘toUTF8_UTF16’:
src/antlr3string.c:367:22: warning: variable ‘cResult’ set but not used [-Wunused-but-set-variable]
     ConversionResult cResult;
                      ^
src/antlr3string.c: At top level:
src/antlr3string.c:335:1: warning: ‘stringInitUTF8’ defined but not used [-Wunused-function]
 stringInitUTF8  (pANTLR3_STRING string)
 ^
libtool: compile:  gcc -DHAVE_CONFIG_H -I. -Iinclude -m64 -O2 -Wall -fexceptions -MT antlr3tokenstream.lo -MD -MP -MF .deps/antlr3tokenstream.Tpo -c src/antlr3tokenstream.c -o antlr3tokenstream.o
libtool: compile:  gcc -DHAVE_CONFIG_H -I. -Iinclude -m64 -O2 -Wall -fexceptions -MT antlr3treeparser.lo -MD -MP -MF .deps/antlr3treeparser.Tpo -c src/antlr3treeparser.c -o antlr3treeparser.o
src/antlr3treeparser.c: In function ‘getCurrentInputSymbol’:
src/antlr3treeparser.c:192:37: warning: variable ‘ctns’ set but not used [-Wunused-but-set-variable]
     pANTLR3_COMMON_TREE_NODE_STREAM ctns;
                                     ^
libtool: link: ar cru .libs/libantlr3c.a  antlr3baserecognizer.o antlr3basetree.o antlr3basetreeadaptor.o antlr3bitset.o antlr3collections.o antlr3commontoken.o antlr3commontree.o antlr3commontreeadaptor.o antlr3commontreenodestream.o antlr3convertutf.o antlr3cyclicdfa.o antlr3debughandlers.o antlr3encodings.o antlr3exception.o antlr3filestream.o antlr3inputstream.o antlr3intstream.o antlr3lexer.o antlr3parser.o antlr3rewritestreams.o antlr3string.o antlr3tokenstream.o antlr3treeparser.o
libtool: link: ranlib .libs/libantlr3c.a
libtool: link: ( cd ".libs" && rm -f "libantlr3c.la" && ln -s "../libantlr3c.la" "libantlr3c.la" )
+ make install
 /bin/sh ./libtool   --mode=install /usr/bin/install -c   libantlr3c.la '/jobs/genie.efm/efm-symbex-gerrit/workspace/build/cvc4/src/cvc4/antlr-3.4/src/libantlr3c-3.4/../../lib'
libtool: install: /usr/bin/install -c .libs/libantlr3c.lai /jobs/genie.efm/efm-symbex-gerrit/workspace/build/cvc4/src/cvc4/antlr-3.4/src/libantlr3c-3.4/../../lib/libantlr3c.la
libtool: install: /usr/bin/install -c .libs/libantlr3c.a /jobs/genie.efm/efm-symbex-gerrit/workspace/build/cvc4/src/cvc4/antlr-3.4/src/libantlr3c-3.4/../../lib/libantlr3c.a
libtool: install: chmod 644 /jobs/genie.efm/efm-symbex-gerrit/workspace/build/cvc4/src/cvc4/antlr-3.4/src/libantlr3c-3.4/../../lib/libantlr3c.a
libtool: install: ranlib /jobs/genie.efm/efm-symbex-gerrit/workspace/build/cvc4/src/cvc4/antlr-3.4/src/libantlr3c-3.4/../../lib/libantlr3c.a
libtool: finish: PATH="/usr/local/sbin:/usr/local/bin:/usr/sbin:/usr/bin:/sbin:/bin:/sbin" ldconfig -n /jobs/genie.efm/efm-symbex-gerrit/workspace/build/cvc4/src/cvc4/antlr-3.4/src/libantlr3c-3.4/../../lib
----------------------------------------------------------------------
Libraries have been installed in:
   /jobs/genie.efm/efm-symbex-gerrit/workspace/build/cvc4/src/cvc4/antlr-3.4/src/libantlr3c-3.4/../../lib

If you ever happen to want to link against installed libraries
in a given directory, LIBDIR, you must either use libtool, and
specify the full pathname of the library, or use the `-LLIBDIR'
flag during linking and do at least one of the following:
   - add LIBDIR to the `LD_LIBRARY_PATH' environment variable
     during execution
   - add LIBDIR to the `LD_RUN_PATH' environment variable
     during linking
   - use the `-Wl,-rpath -Wl,LIBDIR' linker flag
   - have your system administrator add LIBDIR to `/etc/ld.so.conf'

See any operating system documentation about shared libraries for
more information, such as the ld(1) and ld.so(8) manual pages.
----------------------------------------------------------------------
 /usr/bin/install -c -m 644 include/antlr3.h include/antlr3baserecognizer.h include/antlr3basetree.h include/antlr3basetreeadaptor.h include/antlr3bitset.h include/antlr3collections.h include/antlr3commontoken.h include/antlr3commontree.h include/antlr3commontreeadaptor.h include/antlr3commontreenodestream.h include/antlr3convertutf.h include/antlr3cyclicdfa.h include/antlr3debugeventlistener.h include/antlr3defs.h include/antlr3encodings.h include/antlr3errors.h include/antlr3exception.h include/antlr3filestream.h include/antlr3input.h include/antlr3interfaces.h include/antlr3intstream.h include/antlr3lexer.h include/antlr3memory.h include/antlr3parser.h include/antlr3parsetree.h include/antlr3recognizersharedstate.h include/antlr3rewritestreams.h include/antlr3string.h include/antlr3tokenstream.h include/antlr3treeparser.h antlr3config.h '/jobs/genie.efm/efm-symbex-gerrit/workspace/build/cvc4/src/cvc4/antlr-3.4/src/libantlr3c-3.4/../../include'
+ cd ../..
+ mv lib/libantlr3c.a lib/libantlr3c-static.a
+ cd src/libantlr3c-3.4
+ make clean
rm -f "./so_locations"
+ '[' x86_64 == x86_64 ']'
++ pwd
+ ./configure --enable-64bit --with-pic --disable-shared --disable-antlrdebug --prefix=/jobs/genie.efm/efm-symbex-gerrit/workspace/build/cvc4/src/cvc4/antlr-3.4/src/libantlr3c-3.4/../..
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 for xlc... no
checking for aCC... 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 for style of include used by make... GNU
checking dependency style of gcc... gcc3
checking whether to enable maintainer-specific portions of Makefiles... no
checking build system type... x86_64-unknown-linux-gnu
checking host system type... x86_64-unknown-linux-gnu
checking how to print strings... printf
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/x86_64-suse-linux/bin/ld
checking if the linker (/usr/x86_64-suse-linux/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 for /usr/x86_64-suse-linux/bin/ld option to reload object files... -r
checking for objdump... objdump
checking how to recognize dependent libraries... pass_all
checking for ar... ar
checking for strip... strip
checking for ranlib... ranlib
checking command to parse /usr/bin/nm -B output from gcc object... ok
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/x86_64-suse-linux/bin/ld -m elf_x86_64) supports shared libraries... yes
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... no
checking whether to build static libraries... yes
checking compiler flags required for compiling ANTLR with gcc C compiler on host x86_64-unknown-linux-gnu... -m64  -O2  -Wall
checking whether ln -s works... yes
checking whether make sets $(MAKE)... (cached) yes
./configure: line 10723: #include: command not found
checking for sys/types.h... (cached) yes
checking for netinet/in.h... yes
checking for arpa/nameser.h... yes
checking for netdb.h... yes
checking for resolv.h... yes
checking for sys/malloc.h... no
checking for malloc.h... yes
checking for stdarg.h... yes
checking for sys/stat.h... (cached) yes
checking for ctype.h... yes
checking for netinet/tcp.h... yes
checking for sys/socket.h... yes
checking for socket.h... no
checking for an ANSI C-conforming const... yes
checking for size_t... yes
checking for int8_t... yes
checking for int16_t... yes
checking for int32_t... yes
checking for int64_t... yes
checking for intptr_t... yes
checking for uint8_t... yes
checking for uint16_t... yes
checking for uint32_t... yes
checking for uint64_t... yes
checking for uintptr_t... yes
checking for inline... inline
checking for memmove... yes
checking for memset... yes
checking for strdup... yes
checking for accept... yes
configure: creating ./config.status
config.status: creating Makefile
config.status: creating antlr3config.h
config.status: antlr3config.h is unchanged
config.status: executing depfiles commands
config.status: executing libtool commands
+ cp Makefile Makefile.orig
+ sed 's,^\(CFLAGS = .*\),\1 -fexceptions,' Makefile.orig
+ make
libtool: compile:  gcc -DHAVE_CONFIG_H -I. -Iinclude -m64 -O2 -Wall -fexceptions -MT antlr3baserecognizer.lo -MD -MP -MF .deps/antlr3baserecognizer.Tpo -c src/antlr3baserecognizer.c  -fPIC -DPIC -o antlr3baserecognizer.o
src/antlr3baserecognizer.c: In function ‘mismatch’:
src/antlr3baserecognizer.c:645:29: warning: variable ‘tparser’ set but not used [-Wunused-but-set-variable]
     pANTLR3_TREE_PARSER     tparser;
                             ^
src/antlr3baserecognizer.c: In function ‘displayRecognitionError’:
src/antlr3baserecognizer.c:1012:25: warning: variable ‘is’ set but not used [-Wunused-but-set-variable]
  pANTLR3_INT_STREAM     is;
                         ^
src/antlr3baserecognizer.c: In function ‘getMissingSymbol’:
src/antlr3baserecognizer.c:2169:31: warning: variable ‘cts’ set but not used [-Wunused-but-set-variable]
  pANTLR3_COMMON_TOKEN_STREAM  cts;
                               ^
libtool: compile:  gcc -DHAVE_CONFIG_H -I. -Iinclude -m64 -O2 -Wall -fexceptions -MT antlr3basetree.lo -MD -MP -MF .deps/antlr3basetree.Tpo -c src/antlr3basetree.c  -fPIC -DPIC -o antlr3basetree.o
src/antlr3basetree.c: In function ‘replaceChildren’:
src/antlr3basetree.c:428:17: warning: variable ‘numToInsert’ set but not used [-Wunused-but-set-variable]
   ANTLR3_UINT32 numToInsert;
                 ^
libtool: compile:  gcc -DHAVE_CONFIG_H -I. -Iinclude -m64 -O2 -Wall -fexceptions -MT antlr3basetreeadaptor.lo -MD -MP -MF .deps/antlr3basetreeadaptor.Tpo -c src/antlr3basetreeadaptor.c  -fPIC -DPIC -o antlr3basetreeadaptor.o
libtool: compile:  gcc -DHAVE_CONFIG_H -I. -Iinclude -m64 -O2 -Wall -fexceptions -MT antlr3bitset.lo -MD -MP -MF .deps/antlr3bitset.Tpo -c src/antlr3bitset.c  -fPIC -DPIC -o antlr3bitset.o
libtool: compile:  gcc -DHAVE_CONFIG_H -I. -Iinclude -m64 -O2 -Wall -fexceptions -MT antlr3collections.lo -MD -MP -MF .deps/antlr3collections.Tpo -c src/antlr3collections.c  -fPIC -DPIC -o antlr3collections.o
src/antlr3collections.c: In function ‘intTrieDel’:
src/antlr3collections.c:1893:29: warning: variable ‘p’ set but not used [-Wunused-but-set-variable]
     pANTLR3_INT_TRIE_NODE   p;
                             ^
libtool: compile:  gcc -DHAVE_CONFIG_H -I. -Iinclude -m64 -O2 -Wall -fexceptions -MT antlr3commontoken.lo -MD -MP -MF .deps/antlr3commontoken.Tpo -c src/antlr3commontoken.c  -fPIC -DPIC -o antlr3commontoken.o
libtool: compile:  gcc -DHAVE_CONFIG_H -I. -Iinclude -m64 -O2 -Wall -fexceptions -MT antlr3commontree.lo -MD -MP -MF .deps/antlr3commontree.Tpo -c src/antlr3commontree.c  -fPIC -DPIC -o antlr3commontree.o
libtool: compile:  gcc -DHAVE_CONFIG_H -I. -Iinclude -m64 -O2 -Wall -fexceptions -MT antlr3commontreeadaptor.lo -MD -MP -MF .deps/antlr3commontreeadaptor.Tpo -c src/antlr3commontreeadaptor.c  -fPIC -DPIC -o antlr3commontreeadaptor.o
src/antlr3commontreeadaptor.c:51:32: warning: ‘getToken’ declared ‘static’ but never defined [-Wunused-function]
 static pANTLR3_COMMON_TOKEN    getToken    (pANTLR3_BASE_TREE_ADAPTOR adaptor, pANTLR3_BASE_TREE t);
                                ^
libtool: compile:  gcc -DHAVE_CONFIG_H -I. -Iinclude -m64 -O2 -Wall -fexceptions -MT antlr3commontreenodestream.lo -MD -MP -MF .deps/antlr3commontreenodestream.Tpo -c src/antlr3commontreenodestream.c  -fPIC -DPIC -o antlr3commontreenodestream.o
src/antlr3commontreenodestream.c: In function ‘replaceChildren’:
src/antlr3commontreenodestream.c:933:31: warning: variable ‘cta’ set but not used [-Wunused-but-set-variable]
   pANTLR3_COMMON_TREE_ADAPTOR cta;
                               ^
libtool: compile:  gcc -DHAVE_CONFIG_H -I. -Iinclude -m64 -O2 -Wall -fexceptions -MT antlr3convertutf.lo -MD -MP -MF .deps/antlr3convertutf.Tpo -c src/antlr3convertutf.c  -fPIC -DPIC -o antlr3convertutf.o
libtool: compile:  gcc -DHAVE_CONFIG_H -I. -Iinclude -m64 -O2 -Wall -fexceptions -MT antlr3cyclicdfa.lo -MD -MP -MF .deps/antlr3cyclicdfa.Tpo -c src/antlr3cyclicdfa.c  -fPIC -DPIC -o antlr3cyclicdfa.o
libtool: compile:  gcc -DHAVE_CONFIG_H -I. -Iinclude -m64 -O2 -Wall -fexceptions -MT antlr3debughandlers.lo -MD -MP -MF .deps/antlr3debughandlers.Tpo -c src/antlr3debughandlers.c  -fPIC -DPIC -o antlr3debughandlers.o
libtool: compile:  gcc -DHAVE_CONFIG_H -I. -Iinclude -m64 -O2 -Wall -fexceptions -MT antlr3encodings.lo -MD -MP -MF .deps/antlr3encodings.Tpo -c src/antlr3encodings.c  -fPIC -DPIC -o antlr3encodings.o
libtool: compile:  gcc -DHAVE_CONFIG_H -I. -Iinclude -m64 -O2 -Wall -fexceptions -MT antlr3exception.lo -MD -MP -MF .deps/antlr3exception.Tpo -c src/antlr3exception.c  -fPIC -DPIC -o antlr3exception.o
libtool: compile:  gcc -DHAVE_CONFIG_H -I. -Iinclude -m64 -O2 -Wall -fexceptions -MT antlr3filestream.lo -MD -MP -MF .deps/antlr3filestream.Tpo -c src/antlr3filestream.c  -fPIC -DPIC -o antlr3filestream.o
libtool: compile:  gcc -DHAVE_CONFIG_H -I. -Iinclude -m64 -O2 -Wall -fexceptions -MT antlr3inputstream.lo -MD -MP -MF .deps/antlr3inputstream.Tpo -c src/antlr3inputstream.c  -fPIC -DPIC -o antlr3inputstream.o
libtool: compile:  gcc -DHAVE_CONFIG_H -I. -Iinclude -m64 -O2 -Wall -fexceptions -MT antlr3intstream.lo -MD -MP -MF .deps/antlr3intstream.Tpo -c src/antlr3intstream.c  -fPIC -DPIC -o antlr3intstream.o
libtool: compile:  gcc -DHAVE_CONFIG_H -I. -Iinclude -m64 -O2 -Wall -fexceptions -MT antlr3lexer.lo -MD -MP -MF .deps/antlr3lexer.Tpo -c src/antlr3lexer.c  -fPIC -DPIC -o antlr3lexer.o
libtool: compile:  gcc -DHAVE_CONFIG_H -I. -Iinclude -m64 -O2 -Wall -fexceptions -MT antlr3parser.lo -MD -MP -MF .deps/antlr3parser.Tpo -c src/antlr3parser.c  -fPIC -DPIC -o antlr3parser.o
libtool: compile:  gcc -DHAVE_CONFIG_H -I. -Iinclude -m64 -O2 -Wall -fexceptions -MT antlr3rewritestreams.lo -MD -MP -MF .deps/antlr3rewritestreams.Tpo -c src/antlr3rewritestreams.c  -fPIC -DPIC -o antlr3rewritestreams.o
libtool: compile:  gcc -DHAVE_CONFIG_H -I. -Iinclude -m64 -O2 -Wall -fexceptions -MT antlr3string.lo -MD -MP -MF .deps/antlr3string.Tpo -c src/antlr3string.c  -fPIC -DPIC -o antlr3string.o
src/antlr3string.c: In function ‘toUTF8_UTF16’:
src/antlr3string.c:367:22: warning: variable ‘cResult’ set but not used [-Wunused-but-set-variable]
     ConversionResult cResult;
                      ^
src/antlr3string.c: At top level:
src/antlr3string.c:335:1: warning: ‘stringInitUTF8’ defined but not used [-Wunused-function]
 stringInitUTF8  (pANTLR3_STRING string)
 ^
libtool: compile:  gcc -DHAVE_CONFIG_H -I. -Iinclude -m64 -O2 -Wall -fexceptions -MT antlr3tokenstream.lo -MD -MP -MF .deps/antlr3tokenstream.Tpo -c src/antlr3tokenstream.c  -fPIC -DPIC -o antlr3tokenstream.o
libtool: compile:  gcc -DHAVE_CONFIG_H -I. -Iinclude -m64 -O2 -Wall -fexceptions -MT antlr3treeparser.lo -MD -MP -MF .deps/antlr3treeparser.Tpo -c src/antlr3treeparser.c  -fPIC -DPIC -o antlr3treeparser.o
src/antlr3treeparser.c: In function ‘getCurrentInputSymbol’:
src/antlr3treeparser.c:192:37: warning: variable ‘ctns’ set but not used [-Wunused-but-set-variable]
     pANTLR3_COMMON_TREE_NODE_STREAM ctns;
                                     ^
libtool: link: ar cru .libs/libantlr3c.a  antlr3baserecognizer.o antlr3basetree.o antlr3basetreeadaptor.o antlr3bitset.o antlr3collections.o antlr3commontoken.o antlr3commontree.o antlr3commontreeadaptor.o antlr3commontreenodestream.o antlr3convertutf.o antlr3cyclicdfa.o antlr3debughandlers.o antlr3encodings.o antlr3exception.o antlr3filestream.o antlr3inputstream.o antlr3intstream.o antlr3lexer.o antlr3parser.o antlr3rewritestreams.o antlr3string.o antlr3tokenstream.o antlr3treeparser.o
libtool: link: ranlib .libs/libantlr3c.a
libtool: link: ( cd ".libs" && rm -f "libantlr3c.la" && ln -s "../libantlr3c.la" "libantlr3c.la" )
+ make install
 /bin/sh ./libtool   --mode=install /usr/bin/install -c   libantlr3c.la '/jobs/genie.efm/efm-symbex-gerrit/workspace/build/cvc4/src/cvc4/antlr-3.4/src/libantlr3c-3.4/../../lib'
libtool: install: /usr/bin/install -c .libs/libantlr3c.lai /jobs/genie.efm/efm-symbex-gerrit/workspace/build/cvc4/src/cvc4/antlr-3.4/src/libantlr3c-3.4/../../lib/libantlr3c.la
libtool: install: /usr/bin/install -c .libs/libantlr3c.a /jobs/genie.efm/efm-symbex-gerrit/workspace/build/cvc4/src/cvc4/antlr-3.4/src/libantlr3c-3.4/../../lib/libantlr3c.a
libtool: install: chmod 644 /jobs/genie.efm/efm-symbex-gerrit/workspace/build/cvc4/src/cvc4/antlr-3.4/src/libantlr3c-3.4/../../lib/libantlr3c.a
libtool: install: ranlib /jobs/genie.efm/efm-symbex-gerrit/workspace/build/cvc4/src/cvc4/antlr-3.4/src/libantlr3c-3.4/../../lib/libantlr3c.a
libtool: finish: PATH="/usr/local/sbin:/usr/local/bin:/usr/sbin:/usr/bin:/sbin:/bin:/sbin" ldconfig -n /jobs/genie.efm/efm-symbex-gerrit/workspace/build/cvc4/src/cvc4/antlr-3.4/src/libantlr3c-3.4/../../lib
----------------------------------------------------------------------
Libraries have been installed in:
   /jobs/genie.efm/efm-symbex-gerrit/workspace/build/cvc4/src/cvc4/antlr-3.4/src/libantlr3c-3.4/../../lib

If you ever happen to want to link against installed libraries
in a given directory, LIBDIR, you must either use libtool, and
specify the full pathname of the library, or use the `-LLIBDIR'
flag during linking and do at least one of the following:
   - add LIBDIR to the `LD_LIBRARY_PATH' environment variable
     during execution
   - add LIBDIR to the `LD_RUN_PATH' environment variable
     during linking
   - use the `-Wl,-rpath -Wl,LIBDIR' linker flag
   - have your system administrator add LIBDIR to `/etc/ld.so.conf'

See any operating system documentation about shared libraries for
more information, such as the ld(1) and ld.so(8) manual pages.
----------------------------------------------------------------------
 /usr/bin/install -c -m 644 include/antlr3.h include/antlr3baserecognizer.h include/antlr3basetree.h include/antlr3basetreeadaptor.h include/antlr3bitset.h include/antlr3collections.h include/antlr3commontoken.h include/antlr3commontree.h include/antlr3commontreeadaptor.h include/antlr3commontreenodestream.h include/antlr3convertutf.h include/antlr3cyclicdfa.h include/antlr3debugeventlistener.h include/antlr3defs.h include/antlr3encodings.h include/antlr3errors.h include/antlr3exception.h include/antlr3filestream.h include/antlr3input.h include/antlr3interfaces.h include/antlr3intstream.h include/antlr3lexer.h include/antlr3memory.h include/antlr3parser.h include/antlr3parsetree.h include/antlr3recognizersharedstate.h include/antlr3rewritestreams.h include/antlr3string.h include/antlr3tokenstream.h include/antlr3treeparser.h antlr3config.h '/jobs/genie.efm/efm-symbex-gerrit/workspace/build/cvc4/src/cvc4/antlr-3.4/src/libantlr3c-3.4/../../include'
+ cd ../..
+ mv lib/libantlr3c.la lib/libantlr3c.la.orig
+ awk '/^old_library=/ {print "old_library='\''libantlr3c-static.a'\''"} /^library_names=/ {print "library_names='\''libantlr3c.a'\''"} !/^old_library=/ && !/^library_names=/ {print}'
+ set +x
============== WARNING ====================
The script guessed that this machine is 64 bit.
If antlr should be built as 32 bit (i.e. -m32),
please rerun the script as
MACHINE_TYPE="x86" ./get-antlr3.4

===================== Now configure CVC4 with =====================
./configure --with-antlr-dir=/jobs/genie.efm/efm-symbex-gerrit/workspace/build/cvc4/src/cvc4/antlr-3.4 ANTLR=/jobs/genie.efm/efm-symbex-gerrit/workspace/build/cvc4/src/cvc4/antlr-3.4/bin/antlr3
show_cvc4_configure
/jobs/genie.efm/efm-symbex-gerrit/workspace/build/cvc4/src/cvc4/configure --with-gmp --enable-static-boost --with-boost= --with-boost-libdir= --with-antlr-dir=/jobs/genie.efm/efm-symbex-gerrit/workspace/build/cvc4/src/cvc4/antlr-3.4 ANTLR=/jobs/genie.efm/efm-symbex-gerrit/workspace/build/cvc4/src/cvc4/antlr-3.4/bin/antlr3 --enable-static=true --enable-shared=false --enable-static-binary --enable-optimized --prefix=/jobs/genie.efm/efm-symbex-gerrit/workspace/build/contrib
checking whether make supports nested variables... yes
checking whether to enable maintainer-specific portions of Makefiles... yes
checking build system type... x86_64-unknown-linux-gnu
checking host system type... x86_64-unknown-linux-gnu
checking target system type... x86_64-unknown-linux-gnu
checking for requested build profile... production
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 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... gcc3
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/x86_64-suse-linux/bin/ld
checking if the linker (/usr/x86_64-suse-linux/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 x86_64-unknown-linux-gnu file names to x86_64-unknown-linux-gnu format... func_convert_file_noop
checking how to convert x86_64-unknown-linux-gnu file names to toolchain format... func_convert_file_noop
checking for /usr/x86_64-suse-linux/bin/ld option to reload object files... -r
checking for objdump... objdump
checking how to recognize dependent libraries... pass_all
checking for dlltool... no
checking how to associate runtime and link libraries... printf %s\n
checking for ar... ar
checking for archiver @FILE support... @
checking for strip... strip
checking for ranlib... ranlib
checking command to parse /usr/bin/nm -B output from gcc object... ok
checking for sysroot... no
checking for mt... mt
checking if mt 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/x86_64-suse-linux/bin/ld -m elf_x86_64) supports shared libraries... yes
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... no
checking whether to build static libraries... yes
checking for gcc... (cached) 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) gcc3
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++... gcc3
checking how to run the C++ preprocessor... g++ -E
checking for ld used by g++... /usr/x86_64-suse-linux/bin/ld -m elf_x86_64
checking if the linker (/usr/x86_64-suse-linux/bin/ld -m elf_x86_64) is GNU ld... yes
checking whether the g++ linker (/usr/x86_64-suse-linux/bin/ld -m elf_x86_64) 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/x86_64-suse-linux/bin/ld -m elf_x86_64) 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 gmpxx.h usability... yes
checking gmpxx.h presence... yes
checking for gmpxx.h... yes
checking for appropriate build string... production-staticbinary-optimized
checking what dir to configure... this one (user-specified)
checking whether to build a static binary... yes
checking whether to support proofs in libcvc4... no
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... no
checking whether to include assertions in build... no
checking whether to do a traceable build of CVC4... no
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... no, user didn't request glpk
checking whether user requested abc support... no, user didn't request abc
checking whether __gnu_cxx::hash<uint64_t> is already specialized... yes
checking for the relationship between long and int64_t... typedef or similar
checking antlr3 script (/jobs/genie.efm/efm-symbex-gerrit/workspace/build/cvc4/src/cvc4/antlr-3.4/bin/antlr3)... OK
configure: WARNING: unknown version of antlr: /jobs/genie.efm/efm-symbex-gerrit/workspace/build/cvc4/src/cvc4/antlr-3.4/bin/antlr3: line 3: exec: java: not found
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 doxygen... /usr/bin/doxygen
checking for perl... /usr/bin/perl
checking for cxxtestgen.pl... no
checking for cxxtestgen.py... no
checking for cxxtestgen... no
configure: unit tests disabled, could not find cxxtestgen.pl or cxxtestgen.py or cxxtestgen
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 /jobs/genie.efm/efm-symbex-gerrit/workspace/build/cvc4/src/cvc4/antlr-3.4
checking for presence of older antlr3AsciiFileStreamNew()... failed
checking for presence of newer antlr3FileStreamNew()... found it (must be antlr3 3.4 or similar)
configure: WARNING: your antlr parser generator is version /jobs/genie.efm/efm-symbex-gerrit/workspace/build/cvc4/src/cvc4/antlr-3.4/bin/antlr3: line 3: exec: java: not found, which doesn't match the library!
checking for swig... no
checking for swig2.0... no
not found
configure: WARNING: language bindings for native API disabled, swig not found.
checking for requested user language bindings... none
checking getopt.h usability... yes
checking getopt.h presence... yes
checking for getopt.h... yes
checking for unistd.h... (cached) yes
checking ext/stdio_filebuf.h usability... yes
checking ext/stdio_filebuf.h presence... yes
checking for ext/stdio_filebuf.h... 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 *... yes
checking where we can find is_sorted... __gnu_cxx
checking for Boost headers version >= 0.0.0... yes
checking for Boost's header version... 1_54
checking for the flags needed to use pthreads... 
checking for the toolset name used by Boost for g++... gcc48 -gcc
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... no
configure: cannot find the flags to link with Boost system
configure: WARNING: Boost system library (libboost-system) not installed or unusable; this may lead to problems with using threads.  It is recommended that you install your distribution's libboost-system development package (probably named libboost-system###-dev, or boost-system-devel, or something like that).
checking boost/thread.hpp usability... yes
checking boost/thread.hpp presence... yes
checking for boost/thread.hpp... yes
checking for the Boost thread library... no
configure: cannot find the flags to link with Boost thread
configure: WARNING: disabling multithreaded support
checking whether user requested readline support... no, using BSD-compatible dependences only
checking whether to build compatibility library (CVC3 API layer)... yes
checking whether to use compiler-supported TLS if available... multithreading disabled
checking whether to link in google perftools libraries... no (user didn't request it)
checking for java... no
checking for javac... no
checking for gcj... no
checking for javah... no
checking for gcjh... no
checking for jar... no
configure: creating ./config.status
config.status: creating Makefile.builds
config.status: creating Makefile
config.status: creating proofs/signatures/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 examples/sets-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/parser/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/sets/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
=== configuring in proofs/lfsc_checker (/jobs/genie.efm/efm-symbex-gerrit/workspace/build/cvc4/src/cvc4-build/proofs/lfsc_checker)
configure: running /bin/sh /jobs/genie.efm/efm-symbex-gerrit/workspace/build/cvc4/src/cvc4/proofs/lfsc_checker/configure --disable-option-checking '--prefix=/jobs/genie.efm/efm-symbex-gerrit/workspace/build/contrib'  '--with-gmp' '--enable-static-boost' '--with-boost=' '--with-boost-libdir=' '--with-antlr-dir=/jobs/genie.efm/efm-symbex-gerrit/workspace/build/cvc4/src/cvc4/antlr-3.4' 'ANTLR=/jobs/genie.efm/efm-symbex-gerrit/workspace/build/cvc4/src/cvc4/antlr-3.4/bin/antlr3' '--enable-static=true' '--enable-shared=false' '--enable-static-binary' '--enable-optimized' --cache-file=/dev/null --srcdir=/jobs/genie.efm/efm-symbex-gerrit/workspace/build/cvc4/src/cvc4/proofs/lfsc_checker
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 build system type... x86_64-unknown-linux-gnu
checking host system type... x86_64-unknown-linux-gnu
checking how to print strings... printf
checking for style of include used by make... GNU
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... gcc3
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/x86_64-suse-linux/bin/ld
checking if the linker (/usr/x86_64-suse-linux/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 x86_64-unknown-linux-gnu file names to x86_64-unknown-linux-gnu format... func_convert_file_noop
checking how to convert x86_64-unknown-linux-gnu file names to toolchain format... func_convert_file_noop
checking for /usr/x86_64-suse-linux/bin/ld option to reload object files... -r
checking for objdump... objdump
checking how to recognize dependent libraries... pass_all
checking for dlltool... no
checking how to associate runtime and link libraries... printf %s\n
checking for ar... ar
checking for archiver @FILE support... @
checking for strip... strip
checking for ranlib... ranlib
checking command to parse /usr/bin/nm -B output from gcc object... ok
checking for sysroot... no
checking for mt... mt
checking if mt 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/x86_64-suse-linux/bin/ld -m elf_x86_64) supports shared libraries... yes
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... no
checking whether to build static libraries... yes
checking target system type... x86_64-unknown-linux-gnu
checking whether make supports nested variables... yes
checking whether to enable maintainer-specific portions of Makefiles... yes
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++... gcc3
checking how to run the C++ preprocessor... g++ -E
checking for ld used by g++... /usr/x86_64-suse-linux/bin/ld -m elf_x86_64
checking if the linker (/usr/x86_64-suse-linux/bin/ld -m elf_x86_64) is GNU ld... yes
checking whether the g++ linker (/usr/x86_64-suse-linux/bin/ld -m elf_x86_64) 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/x86_64-suse-linux/bin/ld -m elf_x86_64) supports shared libraries... yes
checking dynamic linker characteristics... (cached) GNU/Linux ld.so
checking how to hardcode library paths into programs... immediate
checking for gcc... (cached) 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) gcc3
checking for __gmpz_init in -lgmp... yes
checking for stdlib.h... (cached) yes
checking for string.h... (cached) yes
checking for stdbool.h that conforms to C99... yes
checking for _Bool... yes
checking for inline... inline
checking for size_t... yes
checking for stdlib.h... (cached) yes
checking for GNU libc compatible malloc... yes
checking for strdup... yes
configure: creating ./config.status
config.status: creating Makefile
config.status: creating config.h
config.status: executing depfiles commands
config.status: executing libtool commands

CVC4 1.4

Build profile: production (customized)
Build ID     : production-staticbinary-optimized
Optimized    : yes, at level 3
Debug symbols: yes
Proofs       : no
Statistics   : yes
Replay       : no
Assertions   : no
Tracing      : no
Dumping      : yes
Muzzle       : no

Unit tests   : cxxtest not found; unit tests not supported
gcov support : no
gprof support: no

Static libs  : yes
Shared libs  : no
Static binary: yes
Compat lib   : yes
Bindings     : none

Multithreaded: no
TLS support  : disabled (no multithreading support)
Portfolio    : no

MP library   : gmp
GLPK         : no
ABC          : no
Readline     : no

CPPFLAGS     :   -DCVC4_STATISTICS_ON -DNDEBUG -DCVC4_DUMPING
CXXFLAGS     : -O3 -ggdb3 -Wno-deprecated
CFLAGS       : -O3 -ggdb3 -Wno-deprecated -fexceptions
LIBS         : -lgmp 
LDFLAGS      : 

libcvc4 version        : 3:0:0
libcvc4parser version  : 3:0:0
libcvc4compat version  : 3:0:0
libcvc4bindings version: N/A

Install into : /jobs/genie.efm/efm-symbex-gerrit/workspace/build/contrib

CVC4 license : modified BSD

Please note that this configuration is NOT built against any GPL'ed
libraries, so it is covered by the (modified) BSD license.  This is,
however, not the best-performing configuration of CVC4.  To build
against GPL'ed libraries which improve CVC4's performance, re-configure
with '--best --enable-gpl'.

Now just type make, followed by make check or make install, as you like.

[ 82%] Performing build step for 'cvc4'
Making all in src
  GEN    ../src/theory/.subdirs
  GEN    theory/rewriter_tables.h
  GEN    theory/theory_traits.h
  GEN    theory/type_enumerator.cpp
Making all in lib
Making all in options
  GEN    kind.h
  GEN    metakind.h
  GEN    type_properties.h
  GEN    expr.h
  GEN    expr.cpp
  GEN    expr_manager.h
  GEN    expr_manager.cpp
  GEN    type_checker.cpp
  GEN    options-stamp
/jobs/genie.efm/efm-symbex-gerrit/workspace/build/cvc4/src/cvc4/src/options/base_options:110: warning: stats-every-query has no :link-smt, but equivalent command-line has :link
regenerated ./base_options.h                                                    
regenerated ./base_options.cpp                                                  
/jobs/genie.efm/efm-symbex-gerrit/workspace/build/cvc4/src/cvc4/src/options/../expr/options:26: warning: typeChecking is inaccessible via SmtEngine (no smt name for option) but can be set via command-line:   no-type-checking 
regenerated ../expr/options.h                                                   
regenerated ../expr/options.cpp                                                 
regenerated ../theory/booleans/options.h                                        
regenerated ../theory/booleans/options.cpp                                      
regenerated ../theory/options.h                                                 
regenerated ../theory/options.cpp                                               
/jobs/genie.efm/efm-symbex-gerrit/workspace/build/cvc4/src/cvc4/src/options/../theory/bv/options:15: warning: bitblast-aig has no :link-smt, but equivalent command-line has :link
/jobs/genie.efm/efm-symbex-gerrit/workspace/build/cvc4/src/cvc4/src/options/../theory/bv/options:18: warning: bv-aig-simp=FILE has no :link-smt, but equivalent command-line has :link
/jobs/genie.efm/efm-symbex-gerrit/workspace/build/cvc4/src/cvc4/src/options/../theory/bv/options:23: warning: bv-propagate has no :link-smt, but equivalent command-line has :link
/jobs/genie.efm/efm-symbex-gerrit/workspace/build/cvc4/src/cvc4/src/options/../theory/bv/options:26: warning: bv-eq-solver has no :link-smt, but equivalent command-line has :link
/jobs/genie.efm/efm-symbex-gerrit/workspace/build/cvc4/src/cvc4/src/options/../theory/bv/options:29: warning: bv-eq-slicer=MODE has no :link-smt, but equivalent command-line has :link
/jobs/genie.efm/efm-symbex-gerrit/workspace/build/cvc4/src/cvc4/src/options/../theory/bv/options:32: warning: bv-inequality-solver has no :link-smt, but equivalent command-line has :link
/jobs/genie.efm/efm-symbex-gerrit/workspace/build/cvc4/src/cvc4/src/options/../theory/bv/options:35: warning: bv-algebraic-solver has no :link-smt, but equivalent command-line has :link
/jobs/genie.efm/efm-symbex-gerrit/workspace/build/cvc4/src/cvc4/src/options/../theory/bv/options:38: warning: bv-algebraic-budget has no :link-smt, but equivalent command-line has :link
regenerated ../theory/bv/options.h                                              
regenerated ../theory/bv/options.cpp                                            
regenerated ../theory/datatypes/options.h                                       
regenerated ../theory/datatypes/options.cpp                                     
regenerated ../theory/builtin/options.h                                         
regenerated ../theory/builtin/options.cpp                                       
/jobs/genie.efm/efm-symbex-gerrit/workspace/build/cvc4/src/cvc4/src/options/../theory/arith/options:45: warning: arithDioSolver is inaccessible via SmtEngine (no smt name for option) but can be set via command-line:   disable-dio-solver 
regenerated ../theory/arith/options.h                                           
regenerated ../theory/arith/options.cpp                                         
/jobs/genie.efm/efm-symbex-gerrit/workspace/build/cvc4/src/cvc4/src/options/../theory/uf/options:14: warning: ufssRegions is inaccessible via SmtEngine (no smt name for option) but can be set via command-line:   disable-uf-ss-regions 
/jobs/genie.efm/efm-symbex-gerrit/workspace/build/cvc4/src/cvc4/src/options/../theory/uf/options:32: warning: ufssMinimalModel is inaccessible via SmtEngine (no smt name for option) but can be set via command-line:   disable-uf-ss-min-model 
regenerated ../theory/uf/options.h                                              
regenerated ../theory/uf/options.cpp                                            
regenerated ../theory/arrays/options.h                                          
regenerated ../theory/arrays/options.cpp                                        
/jobs/genie.efm/efm-symbex-gerrit/workspace/build/cvc4/src/cvc4/src/options/../theory/quantifiers/options:11: warning: miniscopeQuant is inaccessible via SmtEngine (no smt name for option) but can be set via command-line:   disable-miniscope-quant 
/jobs/genie.efm/efm-symbex-gerrit/workspace/build/cvc4/src/cvc4/src/options/../theory/quantifiers/options:17: warning: miniscopeQuantFreeVar is inaccessible via SmtEngine (no smt name for option) but can be set via command-line:   disable-miniscope-quant-fv 
/jobs/genie.efm/efm-symbex-gerrit/workspace/build/cvc4/src/cvc4/src/options/../theory/quantifiers/options:21: warning: prenexQuant is inaccessible via SmtEngine (no smt name for option) but can be set via command-line:   disable-prenex-quant 
/jobs/genie.efm/efm-symbex-gerrit/workspace/build/cvc4/src/cvc4/src/options/../theory/quantifiers/options:27: warning: varElimQuant is inaccessible via SmtEngine (no smt name for option) but can be set via command-line:   disable-var-elim-quant 
/jobs/genie.efm/efm-symbex-gerrit/workspace/build/cvc4/src/cvc4/src/options/../theory/quantifiers/options:30: warning: simpleIteLiftQuant is inaccessible via SmtEngine (no smt name for option) but can be set via command-line:   disable-ite-lift-quant 
/jobs/genie.efm/efm-symbex-gerrit/workspace/build/cvc4/src/cvc4/src/options/../theory/quantifiers/options:59: warning: smartTriggers is inaccessible via SmtEngine (no smt name for option) but can be set via command-line:   disable-smart-triggers 
/jobs/genie.efm/efm-symbex-gerrit/workspace/build/cvc4/src/cvc4/src/options/../theory/quantifiers/options:97: warning: internalReps is inaccessible via SmtEngine (no smt name for option) but can be set via command-line:   disable-quant-internal-reps 
/jobs/genie.efm/efm-symbex-gerrit/workspace/build/cvc4/src/cvc4/src/options/../theory/quantifiers/options:112: warning: fmfInstGen is inaccessible via SmtEngine (no smt name for option) but can be set via command-line:   disable-fmf-inst-gen 
/jobs/genie.efm/efm-symbex-gerrit/workspace/build/cvc4/src/cvc4/src/options/../theory/quantifiers/options:118: warning: fmfFmcSimple is inaccessible via SmtEngine (no smt name for option) but can be set via command-line:   disable-fmf-fmc-simple 
regenerated ../theory/quantifiers/options.h                                     
regenerated ../theory/quantifiers/options.cpp                                   
regenerated ../theory/strings/options.h                                         
regenerated ../theory/strings/options.cpp                                       
regenerated ../prop/options.h                                                   
regenerated ../prop/options.cpp                                                 
regenerated ../proof/options.h                                                  
regenerated ../proof/options.cpp                                                
regenerated ../printer/options.h                                                
regenerated ../printer/options.cpp                                              
/jobs/genie.efm/efm-symbex-gerrit/workspace/build/cvc4/src/cvc4/src/options/../smt/options:30: warning: dump-models has no :link-smt, but equivalent command-line has :link
/jobs/genie.efm/efm-symbex-gerrit/workspace/build/cvc4/src/cvc4/src/options/../smt/options:36: warning: dump-proofs has no :link-smt, but equivalent command-line has :link
regenerated ../smt/options.h                                                    
regenerated ../smt/options.cpp                                                  
regenerated ../decision/options.h                                               
regenerated ../decision/options.cpp                                             
/jobs/genie.efm/efm-symbex-gerrit/workspace/build/cvc4/src/cvc4/src/options/../main/options:41: warning: incremental-parallel has no :link-smt, but equivalent command-line has :link
/jobs/genie.efm/efm-symbex-gerrit/workspace/build/cvc4/src/cvc4/src/options/../main/options:44: warning: interactivePrompt is inaccessible via SmtEngine (no smt name for option) but can be set via command-line:   no-interactive-prompt 
/jobs/genie.efm/efm-symbex-gerrit/workspace/build/cvc4/src/cvc4/src/options/../main/options:48: warning: continued-execution has no :link-smt, but equivalent command-line has :link
regenerated ../main/options.h                                                   
regenerated ../main/options.cpp                                                 
/jobs/genie.efm/efm-symbex-gerrit/workspace/build/cvc4/src/cvc4/src/options/../parser/options:14: warning: semanticChecks is inaccessible via SmtEngine (no smt name for option) but can be set via command-line:   no-checking 
/jobs/genie.efm/efm-symbex-gerrit/workspace/build/cvc4/src/cvc4/src/options/../parser/options:28: warning: filesystemAccess is inaccessible via SmtEngine (no smt name for option) but can be set via command-line:   no-filesystem-access 
regenerated ../parser/options.h                                                 
regenerated ../parser/options.cpp                                               
regenerated ../theory/idl/options.h                                             
regenerated ../theory/idl/options.cpp                                           
regenerated ../theory/sets/options.h                                            
regenerated ../theory/sets/options.cpp                                          
regenerated ./options_holder.h                                                  
/jobs/genie.efm/efm-symbex-gerrit/workspace/build/cvc4/src/cvc4/src/options/options_template.cpp:58: warning: incorrect annotation "#line 58" (it should be "#line 59")
/jobs/genie.efm/efm-symbex-gerrit/workspace/build/cvc4/src/cvc4/src/options/options_template.cpp:67: warning: incorrect annotation "#line 67" (it should be "#line 68")
/jobs/genie.efm/efm-symbex-gerrit/workspace/build/cvc4/src/cvc4/src/options/options_template.cpp:204: warning: incorrect annotation "#line 204" (it should be "#line 205")
/jobs/genie.efm/efm-symbex-gerrit/workspace/build/cvc4/src/cvc4/src/options/options_template.cpp:234: warning: incorrect annotation "#line 234" (it should be "#line 235")
/jobs/genie.efm/efm-symbex-gerrit/workspace/build/cvc4/src/cvc4/src/options/options_template.cpp:239: warning: incorrect annotation "#line 239" (it should be "#line 240")
/jobs/genie.efm/efm-symbex-gerrit/workspace/build/cvc4/src/cvc4/src/options/options_template.cpp:245: warning: incorrect annotation "#line 245" (it should be "#line 246")
/jobs/genie.efm/efm-symbex-gerrit/workspace/build/cvc4/src/cvc4/src/options/options_template.cpp:318: warning: incorrect annotation "#line 318" (it should be "#line 319")
/jobs/genie.efm/efm-symbex-gerrit/workspace/build/cvc4/src/cvc4/src/options/options_template.cpp:511: warning: incorrect annotation "#line 511" (it should be "#line 512")
/jobs/genie.efm/efm-symbex-gerrit/workspace/build/cvc4/src/cvc4/src/options/options_template.cpp:580: warning: incorrect annotation "#line 580" (it should be "#line 581")
/jobs/genie.efm/efm-symbex-gerrit/workspace/build/cvc4/src/cvc4/src/options/options_template.cpp:602: warning: incorrect annotation "#line 602" (it should be "#line 603")
regenerated ./options.cpp                                                       
regenerated ./../smt/smt_options.cpp                                            
regenerated ../../doc/cvc4.1                                                    
regenerated ../../doc/libcvc4.3                                                 
regenerated ../../doc/SmtEngine.3cvc                                            
regenerated ../../doc/options.3cvc                                              
  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/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
  CXX    ../theory/sets/options.lo
  CXXLD  liboptions.la
copying selected object files to avoid basename conflicts...
Making all in expr
  CXX    node.lo
  CXX    type_node.lo
  CXX    type.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
  CXX    expr.lo
  CXX    expr_manager.lo
  CXX    type_checker.lo
  CXXLD  libexpr.la
Making all in 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    emptyset.lo
  CXX    model.lo
  CXX    sort_inference.lo
  CXX    regexp.lo
  CXX    didyoumean.lo
  CXX    rational_gmp_imp.lo
  CXX    integer_gmp_imp.lo
  CXXLD  libutil.la
  CXX    libstatistics_la-statistics_registry.lo
  CXXLD  libstatistics.la
Making all in prop/minisat
  CXX    core/Solver.lo
  CXX    simp/SimpSolver.lo
  CXX    minisat.lo
  CXXLD  libminisat.la
Making all in prop/bvminisat
  CXX    core/Solver.lo
  CXX    simp/SimpSolver.lo
  CXX    bvminisat.lo
  CXXLD  libbvminisat.la
Making all in .
  GEN    gitinfo.tmp
  GEN    gitinfo
  GEN    git_versioninfo.cpp
  CXX    git_versioninfo.lo
  GEN    svninfo.tmp
  GEN    svninfo
  GEN    svn_versioninfo.cpp
  CXX    svn_versioninfo.lo
  CXX    context/context.lo
  CXX    context/context_mm.lo
  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/modes.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
  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/smt_engine_check_proof.lo
  CXX    smt/model_postprocessor.lo
  CXX    smt/smt_engine_scope.lo
  CXX    smt/command_list.lo
  CXX    smt/boolean_terms.lo
  CXX    smt/logic_request.lo
  CXX    smt/simplification_mode.lo
  CXX    theory/logic_info.lo
  CXX    theory/theory_engine.lo
  CXX    theory/theory.lo
  CXX    theory/rewriter.lo
  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
  CXX    theory/uf/theory_uf_model.lo
  CXX    theory/bv/theory_bv_utils.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/lazy_bitblaster.lo
  CXX    theory/bv/eager_bitblaster.lo
  CXX    theory/bv/aig_bitblaster.lo
  CXX    theory/bv/bv_eager_solver.lo
  CXX    theory/bv/slicer.lo
  CXX    theory/bv/theory_bv.lo
  CXX    theory/bv/theory_bv_rewriter.lo
  CXX    theory/bv/abstraction.lo
  CXX    theory/bv/bv_quick_check.lo
  CXX    theory/bv/bv_subtheory_algebraic.lo
  CXX    theory/bv/bitblast_mode.lo
  CXX    theory/bv/bvintropow2.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/sets/theory_sets.lo
  CXX    theory/sets/theory_sets_private.lo
  CXX    theory/sets/theory_sets_rewriter.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/quantifiers/qinterval_builder.lo
  CXX    theory/quantifiers/ambqi_builder.lo
  CXX    theory/quantifiers/quant_conflict_find.lo
  CXX    theory/arith/arithvar.lo
  CXX    theory/arith/arith_ite_utils.lo
  CXX    theory/arith/arith_rewriter.lo
  CXX    theory/arith/arith_static_learner.lo
  CXX    theory/arith/constraint.lo
  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/infer_bounds.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/arith/pseudoboolean_proc.lo
  CXX    theory/arith/cut_log.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
  CXXLD  libcvc4.la
copying selected object files to avoid basename conflicts...
Making all in parser
Making all in smt1
  CXX    smt1.lo
  CXX    smt1_input.lo
  CC     generated/Smt1Lexer.lo
  CC     generated/Smt1Parser.lo
  CXXLD  libparsersmt1.la
Making all in smt2
  CXX    smt2.lo
  CXX    smt2_input.lo
  CC     generated/Smt2Lexer.lo
/jobs/genie.efm/efm-symbex-gerrit/workspace/build/cvc4/src/cvc4/src/parser/smt2/generated/Smt2Lexer.c: In function ‘ANTLR3_INT32 dfa13_sst(pSmt2Lexer, pANTLR3_BASE_RECOGNIZER, pANTLR3_INT_STREAM, pANTLR3_CYCLIC_DFA, ANTLR3_INT32)’:
/jobs/genie.efm/efm-symbex-gerrit/workspace/build/cvc4/src/cvc4/src/parser/smt2/generated/Smt2Lexer.c:7659:24: warning: variable ‘LA13_533’ set but not used [-Wunused-but-set-variable]
          ANTLR3_UINT32 LA13_533;
                        ^
At global scope:
cc1plus: warning: unrecognized command line option "-Wno-tautological-compare" [enabled by default]
  CC     generated/Smt2Parser.lo
  CXXLD  libparsersmt2.la
Making all in cvc
  CXX    cvc_input.lo
  CC     generated/CvcLexer.lo
  CC     generated/CvcParser.lo
  CXXLD  libparsercvc.la
Making all in tptp
  CXX    tptp.lo
  CXX    tptp_input.lo
  CC     generated/TptpLexer.lo
  CC     generated/TptpParser.lo
  CXXLD  libparsertptp.la
  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
Making all in compat
  CXX    libcvc4compat_la-cvc3_compat.lo
  CXXLD  libcvc4compat.la
Making all in bindings
Making all in compat
Making all in c
Making all in java
Making all in main
  GEN    cvc_tokens.h
  GEN    smt1_tokens.h
  GEN    smt2_tokens.h
  GEN    tptp_tokens.h
  CXX    interactive_shell.o
  CXX    util.o
  AR     libmain.a
  CXX    main.o
  CXX    command_executor.o
  CXX    driver_unified.o
  GEN    cvc4
Making all in test
Making all in unit
Making all in system
Making all in regress
Making all in regress0
Making all in .
Making all in arith
Making all in .
Making all in integers
Making all in .
Making all in precedence
Making all in uf
Making all in uflra
Making all in uflia
Making all in bv
Making all in .
Making all in core
Making all in arrays
Making all in aufbv
Making all in auflia
Making all in datatypes
Making all in .
Making all in quantifiers
Making all in rewriterules
Making all in lemmas
Making all in .
Making all in push-pop
Making all in boolean
Making all in .
Making all in arith
Making all in .
Making all in .
Making all in preprocess
Making all in .
Making all in tptp
Making all in unconstrained
Making all in decision
Making all in fmf
Making all in strings
Making all in sets
Making all in parser
Making all in .
Making all in contrib
[ 88%] Performing install step for 'cvc4'
Making install in src
Making install in lib
Making install in options
Making install in expr
Making install in util
Making install in prop/minisat
Making install in prop/bvminisat
Making install in .
  GEN    gitinfo.tmp
  GEN    gitinfo
  GEN    svninfo.tmp
  GEN    svninfo
  GEN    gitinfo.tmp
  GEN    gitinfo
  GEN    svninfo.tmp
  GEN    svninfo
 /bin/sh ../libtool   --mode=install /usr/bin/install -c   libcvc4.la '/jobs/genie.efm/efm-symbex-gerrit/workspace/build/contrib/lib'
libtool: install: /usr/bin/install -c .libs/libcvc4.lai /jobs/genie.efm/efm-symbex-gerrit/workspace/build/contrib/lib/libcvc4.la
libtool: install: /usr/bin/install -c .libs/libcvc4.a /jobs/genie.efm/efm-symbex-gerrit/workspace/build/contrib/lib/libcvc4.a
libtool: install: chmod 644 /jobs/genie.efm/efm-symbex-gerrit/workspace/build/contrib/lib/libcvc4.a
libtool: install: ranlib /jobs/genie.efm/efm-symbex-gerrit/workspace/build/contrib/lib/libcvc4.a
libtool: finish: PATH="/usr/local/sbin:/usr/local/bin:/usr/sbin:/usr/bin:/sbin:/bin:/sbin" ldconfig -n /jobs/genie.efm/efm-symbex-gerrit/workspace/build/contrib/lib
----------------------------------------------------------------------
Libraries have been installed in:
   /jobs/genie.efm/efm-symbex-gerrit/workspace/build/contrib/lib

If you ever happen to want to link against installed libraries
in a given directory, LIBDIR, you must either use libtool, and
specify the full pathname of the library, or use the `-LLIBDIR'
flag during linking and do at least one of the following:
   - add LIBDIR to the `LD_LIBRARY_PATH' environment variable
     during execution
   - add LIBDIR to the `LD_RUN_PATH' environment variable
     during linking
   - use the `-Wl,-rpath -Wl,LIBDIR' linker flag
   - have your system administrator add LIBDIR to `/etc/ld.so.conf'

See any operating system documentation about shared libraries for
more information, such as the ld(1) and ld.so(8) manual pages.
----------------------------------------------------------------------
/usr/bin/install -c -m 644 ../header_install.fix /jobs/genie.efm/efm-symbex-gerrit/workspace/build/contrib/include/cvc4/cvc4.h
/usr/bin/install -c -m 644 ../header_install.fix /jobs/genie.efm/efm-symbex-gerrit/workspace/build/contrib/include/cvc4/cvc4_public.h
/usr/bin/install -c -m 644 ../header_install.fix /jobs/genie.efm/efm-symbex-gerrit/workspace/build/contrib/include/cvc4/cvc4parser_public.h
/usr/bin/install -c -m 644 ../header_install.fix /jobs/genie.efm/efm-symbex-gerrit/workspace/build/contrib/include/cvc4/util/tls.h
/usr/bin/install -c -m 644 ../header_install.fix /jobs/genie.efm/efm-symbex-gerrit/workspace/build/contrib/include/cvc4/util/integer.h
/usr/bin/install -c -m 644 ../header_install.fix /jobs/genie.efm/efm-symbex-gerrit/workspace/build/contrib/include/cvc4/util/rational.h
/usr/bin/install -c -m 644 ../header_install.fix /jobs/genie.efm/efm-symbex-gerrit/workspace/build/contrib/include/cvc4/decision/options.h
/usr/bin/install -c -m 644 ../header_install.fix /jobs/genie.efm/efm-symbex-gerrit/workspace/build/contrib/include/cvc4/expr/kind.h
/usr/bin/install -c -m 644 ../header_install.fix /jobs/genie.efm/efm-symbex-gerrit/workspace/build/contrib/include/cvc4/expr/expr.h
/usr/bin/install -c -m 644 ../header_install.fix /jobs/genie.efm/efm-symbex-gerrit/workspace/build/contrib/include/cvc4/expr/expr_manager.h
/usr/bin/install -c -m 644 ../header_install.fix /jobs/genie.efm/efm-symbex-gerrit/workspace/build/contrib/include/cvc4/expr/options.h
/usr/bin/install -c -m 644 ../header_install.fix /jobs/genie.efm/efm-symbex-gerrit/workspace/build/contrib/include/cvc4/main/options.h
/usr/bin/install -c -m 644 ../header_install.fix /jobs/genie.efm/efm-symbex-gerrit/workspace/build/contrib/include/cvc4/options/base_options.h
/usr/bin/install -c -m 644 ../header_install.fix /jobs/genie.efm/efm-symbex-gerrit/workspace/build/contrib/include/cvc4/parser/options.h
/usr/bin/install -c -m 644 ../header_install.fix /jobs/genie.efm/efm-symbex-gerrit/workspace/build/contrib/include/cvc4/printer/options.h
/usr/bin/install -c -m 644 ../header_install.fix /jobs/genie.efm/efm-symbex-gerrit/workspace/build/contrib/include/cvc4/proof/options.h
/usr/bin/install -c -m 644 ../header_install.fix /jobs/genie.efm/efm-symbex-gerrit/workspace/build/contrib/include/cvc4/prop/options.h
/usr/bin/install -c -m 644 ../header_install.fix /jobs/genie.efm/efm-symbex-gerrit/workspace/build/contrib/include/cvc4/smt/options.h
/usr/bin/install -c -m 644 ../header_install.fix /jobs/genie.efm/efm-symbex-gerrit/workspace/build/contrib/include/cvc4/theory/arith/options.h
/usr/bin/install -c -m 644 ../header_install.fix /jobs/genie.efm/efm-symbex-gerrit/workspace/build/contrib/include/cvc4/theory/arrays/options.h
/usr/bin/install -c -m 644 ../header_install.fix /jobs/genie.efm/efm-symbex-gerrit/workspace/build/contrib/include/cvc4/theory/booleans/options.h
/usr/bin/install -c -m 644 ../header_install.fix /jobs/genie.efm/efm-symbex-gerrit/workspace/build/contrib/include/cvc4/theory/builtin/options.h
/usr/bin/install -c -m 644 ../header_install.fix /jobs/genie.efm/efm-symbex-gerrit/workspace/build/contrib/include/cvc4/theory/bv/options.h
/usr/bin/install -c -m 644 ../header_install.fix /jobs/genie.efm/efm-symbex-gerrit/workspace/build/contrib/include/cvc4/theory/datatypes/options.h
/usr/bin/install -c -m 644 ../header_install.fix /jobs/genie.efm/efm-symbex-gerrit/workspace/build/contrib/include/cvc4/theory/idl/options.h
/usr/bin/install -c -m 644 ../header_install.fix /jobs/genie.efm/efm-symbex-gerrit/workspace/build/contrib/include/cvc4/theory/quantifiers/options.h
/usr/bin/install -c -m 644 ../header_install.fix /jobs/genie.efm/efm-symbex-gerrit/workspace/build/contrib/include/cvc4/theory/sets/options.h
/usr/bin/install -c -m 644 ../header_install.fix /jobs/genie.efm/efm-symbex-gerrit/workspace/build/contrib/include/cvc4/theory/strings/options.h
/usr/bin/install -c -m 644 ../header_install.fix /jobs/genie.efm/efm-symbex-gerrit/workspace/build/contrib/include/cvc4/theory/uf/options.h
/usr/bin/install -c -m 644 ../header_install.fix /jobs/genie.efm/efm-symbex-gerrit/workspace/build/contrib/include/cvc4/theory/options.h
/usr/bin/install -c -m 644 ../header_install.fix /jobs/genie.efm/efm-symbex-gerrit/workspace/build/contrib/include/cvc4/util/tls.h
/usr/bin/install -c -m 644 ../header_install.fix /jobs/genie.efm/efm-symbex-gerrit/workspace/build/contrib/include/cvc4/bindings/compat/c/c_interface_defs.h
/usr/bin/install -c -m 644 ../header_install.fix /jobs/genie.efm/efm-symbex-gerrit/workspace/build/contrib/include/cvc4/bindings/compat/c/c_interface.h
/usr/bin/install -c -m 644 ../header_install.fix /jobs/genie.efm/efm-symbex-gerrit/workspace/build/contrib/include/cvc4/compat/cvc3_compat.h
/usr/bin/install -c -m 644 ../header_install.fix /jobs/genie.efm/efm-symbex-gerrit/workspace/build/contrib/include/cvc4/context/cdinsert_hashmap_forward.h
/usr/bin/install -c -m 644 ../header_install.fix /jobs/genie.efm/efm-symbex-gerrit/workspace/build/contrib/include/cvc4/context/cdhashset_forward.h
/usr/bin/install -c -m 644 ../header_install.fix /jobs/genie.efm/efm-symbex-gerrit/workspace/build/contrib/include/cvc4/context/cdlist_forward.h
/usr/bin/install -c -m 644 ../header_install.fix /jobs/genie.efm/efm-symbex-gerrit/workspace/build/contrib/include/cvc4/context/cdtrail_hashmap_forward.h
/usr/bin/install -c -m 644 ../header_install.fix /jobs/genie.efm/efm-symbex-gerrit/workspace/build/contrib/include/cvc4/context/cdhashmap_forward.h
/usr/bin/install -c -m 644 ../header_install.fix /jobs/genie.efm/efm-symbex-gerrit/workspace/build/contrib/include/cvc4/decision/options.h
/usr/bin/install -c -m 644 ../header_install.fix /jobs/genie.efm/efm-symbex-gerrit/workspace/build/contrib/include/cvc4/expr/expr_stream.h
/usr/bin/install -c -m 644 ../header_install.fix /jobs/genie.efm/efm-symbex-gerrit/workspace/build/contrib/include/cvc4/expr/symbol_table.h
/usr/bin/install -c -m 644 ../header_install.fix /jobs/genie.efm/efm-symbex-gerrit/workspace/build/contrib/include/cvc4/expr/command.h
/usr/bin/install -c -m 644 ../header_install.fix /jobs/genie.efm/efm-symbex-gerrit/workspace/build/contrib/include/cvc4/expr/variable_type_map.h
/usr/bin/install -c -m 644 ../header_install.fix /jobs/genie.efm/efm-symbex-gerrit/workspace/build/contrib/include/cvc4/expr/pickler.h
/usr/bin/install -c -m 644 ../header_install.fix /jobs/genie.efm/efm-symbex-gerrit/workspace/build/contrib/include/cvc4/expr/type.h
/usr/bin/install -c -m 644 ../header_install.fix /jobs/genie.efm/efm-symbex-gerrit/workspace/build/contrib/include/cvc4/expr/options.h
/usr/bin/install -c -m 644 ../header_install.fix /jobs/genie.efm/efm-symbex-gerrit/workspace/build/contrib/include/cvc4/cvc4parser_public.h
/usr/bin/install -c -m 644 ../header_install.fix /jobs/genie.efm/efm-symbex-gerrit/workspace/build/contrib/include/cvc4/lib/clock_gettime.h
/usr/bin/install -c -m 644 ../header_install.fix /jobs/genie.efm/efm-symbex-gerrit/workspace/build/contrib/include/cvc4/lib/strtok_r.h
/usr/bin/install -c -m 644 ../header_install.fix /jobs/genie.efm/efm-symbex-gerrit/workspace/build/contrib/include/cvc4/lib/ffs.h
/usr/bin/install -c -m 644 ../header_install.fix /jobs/genie.efm/efm-symbex-gerrit/workspace/build/contrib/include/cvc4/main/options.h
/usr/bin/install -c -m 644 ../header_install.fix /jobs/genie.efm/efm-symbex-gerrit/workspace/build/contrib/include/cvc4/options/option_exception.h
/usr/bin/install -c -m 644 ../header_install.fix /jobs/genie.efm/efm-symbex-gerrit/workspace/build/contrib/include/cvc4/options/base_options.h
/usr/bin/install -c -m 644 ../header_install.fix /jobs/genie.efm/efm-symbex-gerrit/workspace/build/contrib/include/cvc4/options/options.h
/usr/bin/install -c -m 644 ../header_install.fix /jobs/genie.efm/efm-symbex-gerrit/workspace/build/contrib/include/cvc4/parser/parser_builder.h
/usr/bin/install -c -m 644 ../header_install.fix /jobs/genie.efm/efm-symbex-gerrit/workspace/build/contrib/include/cvc4/parser/parser_exception.h
/usr/bin/install -c -m 644 ../header_install.fix /jobs/genie.efm/efm-symbex-gerrit/workspace/build/contrib/include/cvc4/parser/parser.h
/usr/bin/install -c -m 644 ../header_install.fix /jobs/genie.efm/efm-symbex-gerrit/workspace/build/contrib/include/cvc4/parser/options.h
/usr/bin/install -c -m 644 ../header_install.fix /jobs/genie.efm/efm-symbex-gerrit/workspace/build/contrib/include/cvc4/parser/input.h
/usr/bin/install -c -m 644 ../header_install.fix /jobs/genie.efm/efm-symbex-gerrit/workspace/build/contrib/include/cvc4/printer/modes.h
/usr/bin/install -c -m 644 ../header_install.fix /jobs/genie.efm/efm-symbex-gerrit/workspace/build/contrib/include/cvc4/printer/options.h
/usr/bin/install -c -m 644 ../header_install.fix /jobs/genie.efm/efm-symbex-gerrit/workspace/build/contrib/include/cvc4/proof/options.h
/usr/bin/install -c -m 644 ../header_install.fix /jobs/genie.efm/efm-symbex-gerrit/workspace/build/contrib/include/cvc4/prop/sat_solver_factory.h
/usr/bin/install -c -m 644 ../header_install.fix /jobs/genie.efm/efm-symbex-gerrit/workspace/build/contrib/include/cvc4/prop/options.h
/usr/bin/install -c -m 644 ../header_install.fix /jobs/genie.efm/efm-symbex-gerrit/workspace/build/contrib/include/cvc4/smt/smt_engine.h
/usr/bin/install -c -m 644 ../header_install.fix /jobs/genie.efm/efm-symbex-gerrit/workspace/build/contrib/include/cvc4/smt/logic_exception.h
/usr/bin/install -c -m 644 ../header_install.fix /jobs/genie.efm/efm-symbex-gerrit/workspace/build/contrib/include/cvc4/smt/modal_exception.h
/usr/bin/install -c -m 644 ../header_install.fix /jobs/genie.efm/efm-symbex-gerrit/workspace/build/contrib/include/cvc4/smt/simplification_mode.h
/usr/bin/install -c -m 644 ../header_install.fix /jobs/genie.efm/efm-symbex-gerrit/workspace/build/contrib/include/cvc4/smt/options.h
/usr/bin/install -c -m 644 ../header_install.fix /jobs/genie.efm/efm-symbex-gerrit/workspace/build/contrib/include/cvc4/theory/sets/options.h
/usr/bin/install -c -m 644 ../header_install.fix /jobs/genie.efm/efm-symbex-gerrit/workspace/build/contrib/include/cvc4/theory/logic_info.h
/usr/bin/install -c -m 644 ../header_install.fix /jobs/genie.efm/efm-symbex-gerrit/workspace/build/contrib/include/cvc4/theory/uf/options.h
/usr/bin/install -c -m 644 ../header_install.fix /jobs/genie.efm/efm-symbex-gerrit/workspace/build/contrib/include/cvc4/theory/bv/options.h
/usr/bin/install -c -m 644 ../header_install.fix /jobs/genie.efm/efm-symbex-gerrit/workspace/build/contrib/include/cvc4/theory/idl/options.h
/usr/bin/install -c -m 644 ../header_install.fix /jobs/genie.efm/efm-symbex-gerrit/workspace/build/contrib/include/cvc4/theory/builtin/options.h
/usr/bin/install -c -m 644 ../header_install.fix /jobs/genie.efm/efm-symbex-gerrit/workspace/build/contrib/include/cvc4/theory/datatypes/options.h
/usr/bin/install -c -m 644 ../header_install.fix /jobs/genie.efm/efm-symbex-gerrit/workspace/build/contrib/include/cvc4/theory/strings/options.h
/usr/bin/install -c -m 644 ../header_install.fix /jobs/genie.efm/efm-symbex-gerrit/workspace/build/contrib/include/cvc4/theory/theoryof_mode.h
/usr/bin/install -c -m 644 ../header_install.fix /jobs/genie.efm/efm-symbex-gerrit/workspace/build/contrib/include/cvc4/theory/arrays/options.h
/usr/bin/install -c -m 644 ../header_install.fix /jobs/genie.efm/efm-symbex-gerrit/workspace/build/contrib/include/cvc4/theory/quantifiers/options.h
/usr/bin/install -c -m 644 ../header_install.fix /jobs/genie.efm/efm-symbex-gerrit/workspace/build/contrib/include/cvc4/theory/options.h
/usr/bin/install -c -m 644 ../header_install.fix /jobs/genie.efm/efm-symbex-gerrit/workspace/build/contrib/include/cvc4/theory/arith/arith_heuristic_pivot_rule.h
/usr/bin/install -c -m 644 ../header_install.fix /jobs/genie.efm/efm-symbex-gerrit/workspace/build/contrib/include/cvc4/theory/arith/arith_unate_lemma_mode.h
/usr/bin/install -c -m 644 ../header_install.fix /jobs/genie.efm/efm-symbex-gerrit/workspace/build/contrib/include/cvc4/theory/arith/arith_propagation_mode.h
/usr/bin/install -c -m 644 ../header_install.fix /jobs/genie.efm/efm-symbex-gerrit/workspace/build/contrib/include/cvc4/theory/arith/options.h
/usr/bin/install -c -m 644 ../header_install.fix /jobs/genie.efm/efm-symbex-gerrit/workspace/build/contrib/include/cvc4/theory/booleans/options.h
/usr/bin/install -c -m 644 ../header_install.fix /jobs/genie.efm/efm-symbex-gerrit/workspace/build/contrib/include/cvc4/util/bitvector.h
/usr/bin/install -c -m 644 ../header_install.fix /jobs/genie.efm/efm-symbex-gerrit/workspace/build/contrib/include/cvc4/util/result.h
/usr/bin/install -c -m 644 ../header_install.fix /jobs/genie.efm/efm-symbex-gerrit/workspace/build/contrib/include/cvc4/util/exception.h
/usr/bin/install -c -m 644 ../header_install.fix /jobs/genie.efm/efm-symbex-gerrit/workspace/build/contrib/include/cvc4/util/bool.h
/usr/bin/install -c -m 644 ../header_install.fix /jobs/genie.efm/efm-symbex-gerrit/workspace/build/contrib/include/cvc4/util/lemma_output_channel.h
/usr/bin/install -c -m 644 ../header_install.fix /jobs/genie.efm/efm-symbex-gerrit/workspace/build/contrib/include/cvc4/util/array_store_all.h
/usr/bin/install -c -m 644 ../header_install.fix /jobs/genie.efm/efm-symbex-gerrit/workspace/build/contrib/include/cvc4/util/emptyset.h
/usr/bin/install -c -m 644 ../header_install.fix /jobs/genie.efm/efm-symbex-gerrit/workspace/build/contrib/include/cvc4/util/channel.h
/usr/bin/install -c -m 644 ../header_install.fix /jobs/genie.efm/efm-symbex-gerrit/workspace/build/contrib/include/cvc4/util/abstract_value.h
/usr/bin/install -c -m 644 ../header_install.fix /jobs/genie.efm/efm-symbex-gerrit/workspace/build/contrib/include/cvc4/util/divisible.h
/usr/bin/install -c -m 644 ../header_install.fix /jobs/genie.efm/efm-symbex-gerrit/workspace/build/contrib/include/cvc4/util/rational_cln_imp.h
/usr/bin/install -c -m 644 ../header_install.fix /jobs/genie.efm/efm-symbex-gerrit/workspace/build/contrib/include/cvc4/util/chain.h
/usr/bin/install -c -m 644 ../header_install.fix /jobs/genie.efm/efm-symbex-gerrit/workspace/build/contrib/include/cvc4/util/proof.h
/usr/bin/install -c -m 644 ../header_install.fix /jobs/genie.efm/efm-symbex-gerrit/workspace/build/contrib/include/cvc4/util/statistics.h
/usr/bin/install -c -m 644 ../header_install.fix /jobs/genie.efm/efm-symbex-gerrit/workspace/build/contrib/include/cvc4/util/cardinality.h
/usr/bin/install -c -m 644 ../header_install.fix /jobs/genie.efm/efm-symbex-gerrit/workspace/build/contrib/include/cvc4/util/language.h
/usr/bin/install -c -m 644 ../header_install.fix /jobs/genie.efm/efm-symbex-gerrit/workspace/build/contrib/include/cvc4/util/lemma_input_channel.h
/usr/bin/install -c -m 644 ../header_install.fix /jobs/genie.efm/efm-symbex-gerrit/workspace/build/contrib/include/cvc4/util/sexpr.h
/usr/bin/install -c -m 644 ../header_install.fix /jobs/genie.efm/efm-symbex-gerrit/workspace/build/contrib/include/cvc4/util/record.h
/usr/bin/install -c -m 644 ../header_install.fix /jobs/genie.efm/efm-symbex-gerrit/workspace/build/contrib/include/cvc4/util/array.h
/usr/bin/install -c -m 644 ../header_install.fix /jobs/genie.efm/efm-symbex-gerrit/workspace/build/contrib/include/cvc4/util/uninterpreted_constant.h
/usr/bin/install -c -m 644 ../header_install.fix /jobs/genie.efm/efm-symbex-gerrit/workspace/build/contrib/include/cvc4/util/configuration.h
/usr/bin/install -c -m 644 ../header_install.fix /jobs/genie.efm/efm-symbex-gerrit/workspace/build/contrib/include/cvc4/util/tuple.h
/usr/bin/install -c -m 644 ../header_install.fix /jobs/genie.efm/efm-symbex-gerrit/workspace/build/contrib/include/cvc4/util/hash.h
/usr/bin/install -c -m 644 ../header_install.fix /jobs/genie.efm/efm-symbex-gerrit/workspace/build/contrib/include/cvc4/util/datatype.h
/usr/bin/install -c -m 644 ../header_install.fix /jobs/genie.efm/efm-symbex-gerrit/workspace/build/contrib/include/cvc4/util/predicate.h
/usr/bin/install -c -m 644 ../header_install.fix /jobs/genie.efm/efm-symbex-gerrit/workspace/build/contrib/include/cvc4/util/ascription_type.h
/usr/bin/install -c -m 644 ../header_install.fix /jobs/genie.efm/efm-symbex-gerrit/workspace/build/contrib/include/cvc4/util/gmp_util.h
/usr/bin/install -c -m 644 ../header_install.fix /jobs/genie.efm/efm-symbex-gerrit/workspace/build/contrib/include/cvc4/util/subrange_bound.h
/usr/bin/install -c -m 644 ../header_install.fix /jobs/genie.efm/efm-symbex-gerrit/workspace/build/contrib/include/cvc4/util/regexp.h
/usr/bin/install -c -m 644 ../header_install.fix /jobs/genie.efm/efm-symbex-gerrit/workspace/build/contrib/include/cvc4/util/integer_cln_imp.h
/usr/bin/install -c -m 644 ../header_install.fix /jobs/genie.efm/efm-symbex-gerrit/workspace/build/contrib/include/cvc4/util/integer_gmp_imp.h
/usr/bin/install -c -m 644 ../header_install.fix /jobs/genie.efm/efm-symbex-gerrit/workspace/build/contrib/include/cvc4/util/rational_gmp_imp.h
Making install in parser
Making install in smt1
Making install in smt2
Making install in cvc
Making install in tptp
 /bin/sh ../../libtool   --mode=install /usr/bin/install -c   libcvc4parser.la '/jobs/genie.efm/efm-symbex-gerrit/workspace/build/contrib/lib'
libtool: install: /usr/bin/install -c .libs/libcvc4parser.lai /jobs/genie.efm/efm-symbex-gerrit/workspace/build/contrib/lib/libcvc4parser.la
libtool: install: /usr/bin/install -c .libs/libcvc4parser.a /jobs/genie.efm/efm-symbex-gerrit/workspace/build/contrib/lib/libcvc4parser.a
libtool: install: chmod 644 /jobs/genie.efm/efm-symbex-gerrit/workspace/build/contrib/lib/libcvc4parser.a
libtool: install: ranlib /jobs/genie.efm/efm-symbex-gerrit/workspace/build/contrib/lib/libcvc4parser.a
libtool: finish: PATH="/usr/local/sbin:/usr/local/bin:/usr/sbin:/usr/bin:/sbin:/bin:/sbin" ldconfig -n /jobs/genie.efm/efm-symbex-gerrit/workspace/build/contrib/lib
----------------------------------------------------------------------
Libraries have been installed in:
   /jobs/genie.efm/efm-symbex-gerrit/workspace/build/contrib/lib

If you ever happen to want to link against installed libraries
in a given directory, LIBDIR, you must either use libtool, and
specify the full pathname of the library, or use the `-LLIBDIR'
flag during linking and do at least one of the following:
   - add LIBDIR to the `LD_LIBRARY_PATH' environment variable
     during execution
   - add LIBDIR to the `LD_RUN_PATH' environment variable
     during linking
   - use the `-Wl,-rpath -Wl,LIBDIR' linker flag
   - have your system administrator add LIBDIR to `/etc/ld.so.conf'

See any operating system documentation about shared libraries for
more information, such as the ld(1) and ld.so(8) manual pages.
----------------------------------------------------------------------
Making install in compat
 /bin/sh ../../libtool   --mode=install /usr/bin/install -c   libcvc4compat.la '/jobs/genie.efm/efm-symbex-gerrit/workspace/build/contrib/lib'
libtool: install: /usr/bin/install -c .libs/libcvc4compat.lai /jobs/genie.efm/efm-symbex-gerrit/workspace/build/contrib/lib/libcvc4compat.la
libtool: install: /usr/bin/install -c .libs/libcvc4compat.a /jobs/genie.efm/efm-symbex-gerrit/workspace/build/contrib/lib/libcvc4compat.a
libtool: install: chmod 644 /jobs/genie.efm/efm-symbex-gerrit/workspace/build/contrib/lib/libcvc4compat.a
libtool: install: ranlib /jobs/genie.efm/efm-symbex-gerrit/workspace/build/contrib/lib/libcvc4compat.a
libtool: finish: PATH="/usr/local/sbin:/usr/local/bin:/usr/sbin:/usr/bin:/sbin:/bin:/sbin" ldconfig -n /jobs/genie.efm/efm-symbex-gerrit/workspace/build/contrib/lib
----------------------------------------------------------------------
Libraries have been installed in:
   /jobs/genie.efm/efm-symbex-gerrit/workspace/build/contrib/lib

If you ever happen to want to link against installed libraries
in a given directory, LIBDIR, you must either use libtool, and
specify the full pathname of the library, or use the `-LLIBDIR'
flag during linking and do at least one of the following:
   - add LIBDIR to the `LD_LIBRARY_PATH' environment variable
     during execution
   - add LIBDIR to the `LD_RUN_PATH' environment variable
     during linking
   - use the `-Wl,-rpath -Wl,LIBDIR' linker flag
   - have your system administrator add LIBDIR to `/etc/ld.so.conf'

See any operating system documentation about shared libraries for
more information, such as the ld(1) and ld.so(8) manual pages.
----------------------------------------------------------------------
Making install in bindings
Making install in compat
Making install in c
Making install in java
Making install in main
  /bin/sh ../../libtool   --mode=install /usr/bin/install -c cvc4 '/jobs/genie.efm/efm-symbex-gerrit/workspace/build/contrib/bin'
libtool: install: /usr/bin/install -c cvc4 /jobs/genie.efm/efm-symbex-gerrit/workspace/build/contrib/bin/cvc4
Making install in test
Making install in unit
Making install in system
Making install in regress
Making install in regress0
Making install in .
Making install in arith
Making install in .
Making install in integers
Making install in .
Making install in precedence
Making install in uf
Making install in uflra
Making install in uflia
Making install in bv
Making install in .
Making install in core
Making install in arrays
Making install in aufbv
Making install in auflia
Making install in datatypes
Making install in .
Making install in quantifiers
Making install in rewriterules
Making install in lemmas
Making install in .
Making install in push-pop
Making install in boolean
Making install in .
Making install in arith
Making install in .
Making install in .
Making install in preprocess
Making install in .
Making install in tptp
Making install in unconstrained
Making install in decision
Making install in fmf
Making install in strings
Making install in sets
Making install in parser
Making install in .
Making install in contrib
 /usr/bin/install -c -m 644 doc/cvc4.1 doc/pcvc4.1 '/jobs/genie.efm/efm-symbex-gerrit/workspace/build/contrib/share/man/man1'
 /usr/bin/install -c -m 644 doc/libcvc4.3 doc/SmtEngine.3cvc doc/options.3cvc doc/libcvc4parser.3 doc/libcvc4compat.3 '/jobs/genie.efm/efm-symbex-gerrit/workspace/build/contrib/share/man/man3'
 /usr/bin/install -c -m 644 doc/cvc4.5 '/jobs/genie.efm/efm-symbex-gerrit/workspace/build/contrib/share/man/man5'
[ 94%] Completed 'cvc4'
[ 94%] Built target cvc4
Scanning dependencies of target rescan_antlr2
-- ****** Looking for system information ******
-- System            : Linux-3.12.51-52.39-default-x86_64
-- System (CMake var): WIN32=  MINGW= UNIX=1 MSYS= CYGWIN=
-- Big-endian        : No
-- Types size (bytes): int=4  shortint=2  longint=8 char=1
-- Nb of processors  : 16
-- ****** Looking for toolchain information ******
-- C++ compiler: /usr/bin/c++, version 4.8.5
-- C compiler: /usr/bin/cc, version 4.8.5
-- Linker: /usr/bin/ld
-- Git 1.9.0 found : /usr/local/bin/git
-- Could NOT find Hg (missing:  HG_EXECUTABLE) 
-- Mercurial not found
-- ****** Looking for git commit id ******
-- Commit id : hudson-efm-symbex-gerrit-9-0-gd7ca134
-- ****** Setting options for Linux/GCC ******
 .............................. CMAKE_EXE_LINKER_FLAGS   -lrt
-- ****** Looking for mandatory prerequisites ******
-- CVC4 : /jobs/genie.efm/efm-symbex-gerrit/workspace/build/contrib/lib/libcvc4.a /jobs/genie.efm/efm-symbex-gerrit/workspace/build/contrib/include
-- Found CVC4: /jobs/genie.efm/efm-symbex-gerrit/workspace/build/contrib/lib/libcvc4.a  
-- ANTLR2 : /jobs/genie.efm/efm-symbex-gerrit/workspace/build/contrib/lib/libantlr.a /jobs/genie.efm/efm-symbex-gerrit/workspace/build/contrib/include
-- Found ANTLR2: /jobs/genie.efm/efm-symbex-gerrit/workspace/build/contrib/lib/libantlr.a  
-- ANTLR3 : /jobs/genie.efm/efm-symbex-gerrit/workspace/build/contrib/lib/libantlr3c.a /jobs/genie.efm/efm-symbex-gerrit/workspace/build/contrib/include/antlr3c
-- Found ANTLR3: /jobs/genie.efm/efm-symbex-gerrit/workspace/build/contrib/lib/libantlr3c.a  

* * * * * * * * * * Build type configuration for HippTest all * * * * * * * * * *

--  -------------------------------------- 
-- /                                      \
-- |    This is HiPP Test Build System    |
-- \                                      /
--  -------------------------------------- 
-- ****** Defining project******
-- Configuring done
-- Generating done
-- Build files have been written to: /jobs/genie.efm/efm-symbex-gerrit/workspace/build
[ 94%] Built target rescan_antlr2
Scanning dependencies of target rescan_cvc4
[ 94%] Built target rescan_cvc4
Scanning dependencies of target HippTest
[100%] Building CXX object src/CMakeFiles/HippTest.dir/main/HippTest.cpp.o
Linking CXX executable HippTest
[100%] Built target HippTest
Finished: SUCCESS