FailedConsole Output

Triggered by 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 76f49526ba8b573d186569a95a8930a0a7ed2728 (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/hudson4347980041953954084.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-8-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 3% complete]
-- [download 15% complete]
-- [download 26% complete]
-- [download 35% complete]
-- [download 46% complete]
-- [download 55% complete]
-- [download 67% complete]
-- [download 78% complete]
-- [download 87% complete]
-- [download 93% 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:12:37--  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.45M 1s
    50K .......... .......... .......... .......... ..........  4% 5.00M 1s
   100K .......... .......... .......... .......... ..........  6% 5.26M 1s
   150K .......... .......... .......... .......... ..........  8% 5.52M 1s
   200K .......... .......... .......... .......... .......... 10% 6.41M 0s
   250K .......... .......... .......... .......... .......... 12% 5.41M 0s
   300K .......... .......... .......... .......... .......... 15% 6.18M 0s
   350K .......... .......... .......... .......... .......... 17% 5.76M 0s
   400K .......... .......... .......... .......... .......... 19% 8.40M 0s
   450K .......... .......... .......... .......... .......... 21% 5.82M 0s
   500K .......... .......... .......... .......... .......... 23% 6.01M 0s
   550K .......... .......... .......... .......... .......... 25% 8.79M 0s
   600K .......... .......... .......... .......... .......... 27% 6.86M 0s
   650K .......... .......... .......... .......... .......... 30% 7.43M 0s
   700K .......... .......... .......... .......... .......... 32% 8.50M 0s
   750K .......... .......... .......... .......... .......... 34% 7.78M 0s
   800K .......... .......... .......... .......... .......... 36% 9.12M 0s
   850K .......... .......... .......... .......... .......... 38% 8.99M 0s
   900K .......... .......... .......... .......... .......... 40% 9.25M 0s
   950K .......... .......... .......... .......... .......... 42% 7.72M 0s
  1000K .......... .......... .......... .......... .......... 45% 10.9M 0s
  1050K .......... .......... .......... .......... .......... 47% 8.33M 0s
  1100K .......... .......... .......... .......... .......... 49% 10.5M 0s
  1150K .......... .......... .......... .......... .......... 51% 10.1M 0s
  1200K .......... .......... .......... .......... .......... 53% 10.8M 0s
  1250K .......... .......... .......... .......... .......... 55% 10.7M 0s
  1300K .......... .......... .......... .......... .......... 57% 9.98M 0s
  1350K .......... .......... .......... .......... .......... 60% 10.9M 0s
  1400K .......... .......... .......... .......... .......... 62% 11.4M 0s
  1450K .......... .......... .......... .......... .......... 64% 11.3M 0s
  1500K .......... .......... .......... .......... .......... 66% 13.9M 0s
  1550K .......... .......... .......... .......... .......... 68% 12.8M 0s
  1600K .......... .......... .......... .......... .......... 70% 10.8M 0s
  1650K .......... .......... .......... .......... .......... 72% 13.1M 0s
  1700K .......... .......... .......... .......... .......... 75% 11.0M 0s
  1750K .......... .......... .......... .......... .......... 77% 13.3M 0s
  1800K .......... .......... .......... .......... .......... 79% 15.0M 0s
  1850K .......... .......... .......... .......... .......... 81% 11.1M 0s
  1900K .......... .......... .......... .......... .......... 83% 15.8M 0s
  1950K .......... .......... .......... .......... .......... 85% 12.7M 0s
  2000K .......... .......... .......... .......... .......... 87% 15.7M 0s
  2050K .......... .......... .......... .......... .......... 90% 16.2M 0s
  2100K .......... .......... .......... .......... .......... 92% 12.2M 0s
  2150K .......... .......... .......... .......... .......... 94% 13.5M 0s
  2200K .......... .......... .......... .......... .......... 96% 15.1M 0s
  2250K .......... .......... .......... .......... .......... 98% 13.0M 0s
  2300K .......... .......... .......... ..                   100% 16.1M=0.3s

2017-02-02 11:12:38 (8.61 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:12:38--  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.45M 0s
    50K .......... .......... .......... .......... .......... 18% 4.88M 0s
   100K .......... .......... .......... .......... .......... 28% 5.45M 0s
   150K .......... .......... .......... .......... .......... 37% 4.93M 0s
   200K .......... .......... .......... .......... .......... 46% 5.44M 0s
   250K .......... .......... .......... .......... .......... 56% 5.41M 0s
   300K .......... .......... .......... .......... .......... 65% 5.07M 0s
   350K .......... .......... .......... .......... .......... 75% 6.01M 0s
   400K .......... .......... .......... .......... .......... 84% 6.77M 0s
   450K .......... .......... .......... .......... .......... 93% 6.37M 0s
   500K .......... .......... .......... ...                  100% 7.83M=0.1s

2017-02-02 11:12:38 (5.03 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... no
configure: error: GNU MP (libgmp) not found, see http://gmplib.org/
CMakeFiles/cvc4.dir/build.make:111: recipe for target 'cvc4/src/cvc4-stamp/cvc4-configure' failed
make[2]: *** [cvc4/src/cvc4-stamp/cvc4-configure] Error 1
CMakeFiles/Makefile2:98: recipe for target 'CMakeFiles/cvc4.dir/all' failed
make[1]: *** [CMakeFiles/cvc4.dir/all] Error 2
Makefile:75: recipe for target 'all' failed
make: *** [all] Error 2
Finished: FAILURE