Console Output

Started by an SCM change
Running as SYSTEM
Building remotely on atsyra-xlarge (lin xlarge) in workspace /builds/workspace/variationFronts-linux
The recommended git tool is: NONE
using credential 92401736-1319-4d25-9b3b-ad7fa5d3452a
 > git rev-parse --is-inside-work-tree # timeout=10
Fetching changes from the remote Git repository
 > git config remote.origin.url git@gitlab.inria.fr:atsyra/atsyra2.git # timeout=10
Fetching upstream changes from git@gitlab.inria.fr:atsyra/atsyra2.git
 > git --version # timeout=10
 > git --version # 'git version 2.7.4'
using GIT_SSH to set credentials dvojtise on inria.gforge
 > git fetch --tags --progress git@gitlab.inria.fr:atsyra/atsyra2.git +refs/heads/*:refs/remotes/origin/* # timeout=10
 > git rev-parse refs/remotes/origin/master^{commit} # timeout=10
Checking out Revision e46dd80f6840fc80a270a8036389a42bb3170717 (refs/remotes/origin/master)
 > git config core.sparsecheckout # timeout=10
 > git checkout -f e46dd80f6840fc80a270a8036389a42bb3170717 # timeout=10
Commit message: "add action support in abs"
 > git rev-list --no-walk 5dce1cf65af88c6feeee56bb3aa4b65842c93818 # timeout=10
[variationFronts-linux] $ /bin/sh -xe /tmp/jenkins8383656856255466737.sh
+ cd other/variationFronts
+ bash ./build-linux.sh
+ mkdir usr
mkdir: cannot create directory 'usr': File exists
+ export INSTDIR=/builds/workspace/variationFronts-linux/other/variationFronts/usr/local/
+ INSTDIR=/builds/workspace/variationFronts-linux/other/variationFronts/usr/local/
+ echo ==========================
==========================
+ echo '= libDDD                 ='
= libDDD                 =
+ echo ==========================
==========================
+ '[' '!' -d libDDD ']'
+ echo ==========================
==========================
+ echo '= gmp                    ='
= gmp                    =
+ echo ==========================
==========================
+ '[' '!' -d gmp-6.1.2 ']'
+ echo ==========================
==========================
+ echo '= libexpat               ='
= libexpat               =
+ echo ==========================
==========================
+ '[' '!' -d libexpat-R_2_2_4 ']'
+ bash ./antlr.sh
mkdir: cannot create directory 'usr': File exists
mkdir: cannot create directory 'usr/local': File exists
mkdir: cannot create directory 'usr/local/lib': File exists
mkdir: cannot create directory 'usr/local/include': File exists
--2021-02-10 17:17:42--  http://www.antlr3.org/download/antlr-3.4.tar.gz
Resolving www.antlr3.org (www.antlr3.org)... 185.199.110.153, 185.199.108.153, 185.199.111.153, ...
Connecting to www.antlr3.org (www.antlr3.org)|185.199.110.153|:80... connected.
HTTP request sent, awaiting response... 301 Moved Permanently
Location: https://www.antlr3.org/download/antlr-3.4.tar.gz [following]
--2021-02-10 17:17:42--  https://www.antlr3.org/download/antlr-3.4.tar.gz
Connecting to www.antlr3.org (www.antlr3.org)|185.199.110.153|:443... connected.
HTTP request sent, awaiting response... 200 OK
Length: 9777581 (9.3M) [application/gzip]
Saving to: 'antlr-3.4.tar.gz'

     0K ........ ........ ........ ........ ........ ........ 32% 21.3M 0s
  3072K ........ ........ ........ ........ ........ ........ 64% 23.1M 0s
  6144K ........ ........ ........ ........ ........ ........ 96% 23.1M 0s
  9216K .....                                                100% 23.5M=0.4s

2021-02-10 17:17:43 (22.5 MB/s) - 'antlr-3.4.tar.gz' saved [9777581/9777581]

autoreconf: Entering directory `.'
autoreconf: configure.ac: not using Gettext
autoreconf: running: aclocal --force -I m4
autoreconf: configure.ac: tracing
autoreconf: running: libtoolize --copy --force
libtoolize: putting auxiliary files in '.'.
libtoolize: copying file './ltmain.sh'
libtoolize: putting macros in AC_CONFIG_MACRO_DIRS, 'm4'.
libtoolize: copying file 'm4/libtool.m4'
libtoolize: copying file 'm4/ltoptions.m4'
libtoolize: copying file 'm4/ltsugar.m4'
libtoolize: copying file 'm4/ltversion.m4'
libtoolize: copying file 'm4/lt~obsolete.m4'
autoreconf: running: /usr/bin/autoconf --force
autoreconf: running: /usr/bin/autoheader --force
autoreconf: running: automake --add-missing --copy --force-missing
configure.ac:56: installing './compile'
configure.ac:54: installing './missing'
Makefile.am:67: warning: 'INCLUDES' is the old name for 'AM_CPPFLAGS' (or '*_CPPFLAGS')
Makefile.am:7: warning: source file 'src/antlr3baserecognizer.c' is in a subdirectory,
Makefile.am:7: but option 'subdir-objects' is disabled
automake: warning: possible forward-incompatibility.
automake: At least a source file is in a subdirectory, but the 'subdir-objects'
automake: automake option hasn't been enabled.  For now, the corresponding output
automake: object file(s) will be placed in the top-level directory.  However,
automake: this behaviour will change in future Automake versions: they will
automake: unconditionally cause object files to be placed in the same subdirectory
automake: of the corresponding sources.
automake: You are advised to start using 'subdir-objects' option throughout your
automake: project, to avoid future incompatibilities.
Makefile.am:7: warning: source file 'src/antlr3basetree.c' is in a subdirectory,
Makefile.am:7: but option 'subdir-objects' is disabled
Makefile.am:7: warning: source file 'src/antlr3basetreeadaptor.c' is in a subdirectory,
Makefile.am:7: but option 'subdir-objects' is disabled
Makefile.am:7: warning: source file 'src/antlr3bitset.c' is in a subdirectory,
Makefile.am:7: but option 'subdir-objects' is disabled
Makefile.am:7: warning: source file 'src/antlr3collections.c' is in a subdirectory,
Makefile.am:7: but option 'subdir-objects' is disabled
Makefile.am:7: warning: source file 'src/antlr3commontoken.c' is in a subdirectory,
Makefile.am:7: but option 'subdir-objects' is disabled
Makefile.am:7: warning: source file 'src/antlr3commontree.c' is in a subdirectory,
Makefile.am:7: but option 'subdir-objects' is disabled
Makefile.am:7: warning: source file 'src/antlr3commontreeadaptor.c' is in a subdirectory,
Makefile.am:7: but option 'subdir-objects' is disabled
Makefile.am:7: warning: source file 'src/antlr3commontreenodestream.c' is in a subdirectory,
Makefile.am:7: but option 'subdir-objects' is disabled
Makefile.am:7: warning: source file 'src/antlr3convertutf.c' is in a subdirectory,
Makefile.am:7: but option 'subdir-objects' is disabled
Makefile.am:7: warning: source file 'src/antlr3cyclicdfa.c' is in a subdirectory,
Makefile.am:7: but option 'subdir-objects' is disabled
Makefile.am:7: warning: source file 'src/antlr3debughandlers.c' is in a subdirectory,
Makefile.am:7: but option 'subdir-objects' is disabled
Makefile.am:7: warning: source file 'src/antlr3encodings.c' is in a subdirectory,
Makefile.am:7: but option 'subdir-objects' is disabled
Makefile.am:7: warning: source file 'src/antlr3exception.c' is in a subdirectory,
Makefile.am:7: but option 'subdir-objects' is disabled
Makefile.am:7: warning: source file 'src/antlr3filestream.c' is in a subdirectory,
Makefile.am:7: but option 'subdir-objects' is disabled
Makefile.am:7: warning: source file 'src/antlr3inputstream.c' is in a subdirectory,
Makefile.am:7: but option 'subdir-objects' is disabled
Makefile.am:7: warning: source file 'src/antlr3intstream.c' is in a subdirectory,
Makefile.am:7: but option 'subdir-objects' is disabled
Makefile.am:7: warning: source file 'src/antlr3lexer.c' is in a subdirectory,
Makefile.am:7: but option 'subdir-objects' is disabled
Makefile.am:7: warning: source file 'src/antlr3parser.c' is in a subdirectory,
Makefile.am:7: but option 'subdir-objects' is disabled
Makefile.am:7: warning: source file 'src/antlr3rewritestreams.c' is in a subdirectory,
Makefile.am:7: but option 'subdir-objects' is disabled
Makefile.am:7: warning: source file 'src/antlr3string.c' is in a subdirectory,
Makefile.am:7: but option 'subdir-objects' is disabled
Makefile.am:7: warning: source file 'src/antlr3tokenstream.c' is in a subdirectory,
Makefile.am:7: but option 'subdir-objects' is disabled
Makefile.am:7: warning: source file 'src/antlr3treeparser.c' is in a subdirectory,
Makefile.am:7: but option 'subdir-objects' is disabled
Makefile.am: installing './depcomp'
autoreconf: Leaving directory `.'
checking for a BSD-compatible install... /usr/bin/install -c
checking whether build environment is sane... yes
checking for a thread-safe mkdir -p... /bin/mkdir -p
checking for gawk... no
checking for mawk... mawk
checking whether make sets $(MAKE)... yes
checking whether make supports nested variables... 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 whether gcc understands -c and -o together... yes
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-pc-linux-gnu
checking host system type... x86_64-pc-linux-gnu
checking how to print strings... printf
checking for a sed that does not truncate output... /bin/sed
checking for grep that handles long lines and -e... /bin/grep
checking for egrep... /bin/grep -E
checking for fgrep... /bin/grep -F
checking for ld used by gcc... /usr/bin/ld
checking if the linker (/usr/bin/ld) is GNU ld... yes
checking for BSD- or MS-compatible name lister (nm)... /usr/bin/nm -B
checking the name lister (/usr/bin/nm -B) interface... BSD nm
checking whether ln -s works... yes
checking the maximum length of command line arguments... 1572864
checking how to convert x86_64-pc-linux-gnu file names to x86_64-pc-linux-gnu format... func_convert_file_noop
checking how to convert x86_64-pc-linux-gnu file names to toolchain format... func_convert_file_noop
checking for /usr/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 a working dd... /bin/dd
checking how to truncate binary pipes... /bin/dd bs=4096 count=1
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... yes
checking if gcc supports -c -o file.o... yes
checking if gcc supports -c -o file.o... (cached) yes
checking whether the gcc linker (/usr/bin/ld -m elf_x86_64) supports shared libraries... yes
checking whether -lc should be explicitly linked in... no
checking dynamic linker characteristics... GNU/Linux ld.so
checking how to hardcode library paths into programs... immediate
checking whether stripping libraries is possible... yes
checking if libtool supports shared libraries... yes
checking whether to build shared libraries... yes
checking whether to build static libraries... yes
checking compiler flags required for compiling ANTLR with gcc C compiler on host x86_64-pc-linux-gnu... -m64  -O2  -Wall
checking whether ln -s works... yes
checking whether make sets $(MAKE)... (cached) yes
./configure: line 12149: #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
checking that generated files are newer than configure... done
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
make  all-am
make[1]: Entering directory '/builds/workspace/variationFronts-linux/other/variationFronts/antlr-3.4/runtime/C'
make[1]: Leaving directory '/builds/workspace/variationFronts-linux/other/variationFronts/antlr-3.4/runtime/C'
make[1]: Entering directory '/builds/workspace/variationFronts-linux/other/variationFronts/antlr-3.4/runtime/C'
 /bin/mkdir -p '/builds/workspace/variationFronts-linux/other/variationFronts/usr/local/lib'
 /bin/bash ./libtool   --mode=install /usr/bin/install -c   libantlr3c.la '/builds/workspace/variationFronts-linux/other/variationFronts/usr/local/lib'
libtool: install: /usr/bin/install -c .libs/libantlr3c.so /builds/workspace/variationFronts-linux/other/variationFronts/usr/local/lib/libantlr3c.so
libtool: install: /usr/bin/install -c .libs/libantlr3c.lai /builds/workspace/variationFronts-linux/other/variationFronts/usr/local/lib/libantlr3c.la
libtool: install: /usr/bin/install -c .libs/libantlr3c.a /builds/workspace/variationFronts-linux/other/variationFronts/usr/local/lib/libantlr3c.a
libtool: install: chmod 644 /builds/workspace/variationFronts-linux/other/variationFronts/usr/local/lib/libantlr3c.a
libtool: install: ranlib /builds/workspace/variationFronts-linux/other/variationFronts/usr/local/lib/libantlr3c.a
libtool: finish: PATH="/usr/local/sbin:/usr/local/bin:/usr/sbin:/usr/bin:/sbin:/bin:/usr/games:/usr/local/games:/sbin" ldconfig -n /builds/workspace/variationFronts-linux/other/variationFronts/usr/local/lib
----------------------------------------------------------------------
Libraries have been installed in:
   /builds/workspace/variationFronts-linux/other/variationFronts/usr/local/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.
----------------------------------------------------------------------
 /bin/mkdir -p '/builds/workspace/variationFronts-linux/other/variationFronts/usr/local/include'
 /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 '/builds/workspace/variationFronts-linux/other/variationFronts/usr/local/include'
make[1]: Leaving directory '/builds/workspace/variationFronts-linux/other/variationFronts/antlr-3.4/runtime/C'
/builds/workspace/variationFronts-linux/other/variationFronts
+ echo ==========================
==========================
+ echo '= libITS                 ='
= libITS                 =
+ echo ==========================
==========================
+ '[' '!' -d libITS ']'
+ echo ==========================
==========================
+ echo '= VariationFronts        ='
= VariationFronts        =
+ echo ==========================
==========================
+ autoreconf -vfi
autoreconf: Entering directory `.'
autoreconf: configure.ac: not using Gettext
autoreconf: running: aclocal --force 
autoreconf: configure.ac: tracing
autoreconf: running: libtoolize --copy --force
libtoolize: putting auxiliary files in '.'.
libtoolize: copying file './ltmain.sh'
libtoolize: putting macros in AC_CONFIG_MACRO_DIRS, 'm4'.
libtoolize: copying file 'm4/libtool.m4'
libtoolize: copying file 'm4/ltoptions.m4'
libtoolize: copying file 'm4/ltsugar.m4'
libtoolize: copying file 'm4/ltversion.m4'
libtoolize: copying file 'm4/lt~obsolete.m4'
libtoolize: Consider adding '-I m4' to ACLOCAL_AMFLAGS in Makefile.am.
libtoolize: 'AC_PROG_RANLIB' is rendered obsolete by 'LT_INIT'
autoreconf: running: /usr/bin/autoconf --force
autoreconf: configure.ac: not using Autoheader
autoreconf: running: automake --add-missing --copy --force-missing
configure.ac:113: installing './compile'
configure.ac:5: installing './missing'
Makefile.am:53: warning: source file 'src/main.cpp' is in a subdirectory,
Makefile.am:53: but option 'subdir-objects' is disabled
automake: warning: possible forward-incompatibility.
automake: At least a source file is in a subdirectory, but the 'subdir-objects'
automake: automake option hasn't been enabled.  For now, the corresponding output
automake: object file(s) will be placed in the top-level directory.  However,
automake: this behaviour will change in future Automake versions: they will
automake: unconditionally cause object files to be placed in the same subdirectory
automake: of the corresponding sources.
automake: You are advised to start using 'subdir-objects' option throughout your
automake: project, to avoid future incompatibilities.
Makefile.am:53: warning: source file 'src/sddGraph.cpp' is in a subdirectory,
Makefile.am:53: but option 'subdir-objects' is disabled
Makefile.am:53: warning: source file 'src/varfronts.cpp' is in a subdirectory,
Makefile.am:53: but option 'subdir-objects' is disabled
Makefile.am: installing './depcomp'
autoreconf: Leaving directory `.'
+ ./configure --enable-nolto --prefix=/builds/workspace/variationFronts-linux/other/variationFronts/usr/local/ --with-libits=/builds/workspace/variationFronts-linux/other/variationFronts/usr/local/ --with-libddd=/builds/workspace/variationFronts-linux/other/variationFronts/usr/local/ --with-libexpat=/builds/workspace/variationFronts-linux/other/variationFronts/usr/local/ --with-gmp=/builds/workspace/variationFronts-linux/other/variationFronts/usr/local/ --with-antlrc=/builds/workspace/variationFronts-linux/other/variationFronts/usr/local/ --with-antlrjar=/builds/workspace/variationFronts-linux/other/variationFronts/usr/local//lib/antlr-3.4-complete.jar CPPFLAGS=-I/builds/workspace/variationFronts-linux/other/variationFronts/usr/local//include LDFLAGS=-L/builds/workspace/variationFronts-linux/other/variationFronts/usr/local//lib
checking for a BSD-compatible install... /usr/bin/install -c
checking whether build environment is sane... yes
checking for a thread-safe mkdir -p... /bin/mkdir -p
checking for gawk... no
checking for mawk... mawk
checking whether make sets $(MAKE)... yes
checking whether make supports nested variables... yes
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 whether gcc understands -c and -o together... yes
checking dependency style of gcc... gcc3
checking for ranlib... ranlib
checking for ar... ar
checking the archiver (ar) interface... ar
checking build system type... x86_64-pc-linux-gnu
checking host system type... x86_64-pc-linux-gnu
checking how to print strings... printf
checking for a sed that does not truncate output... /bin/sed
checking for grep that handles long lines and -e... /bin/grep
checking for egrep... /bin/grep -E
checking for fgrep... /bin/grep -F
checking for ld used by gcc... /usr/bin/ld
checking if the linker (/usr/bin/ld) is GNU ld... yes
checking for BSD- or MS-compatible name lister (nm)... /usr/bin/nm -B
checking the name lister (/usr/bin/nm -B) interface... BSD nm
checking whether ln -s works... yes
checking the maximum length of command line arguments... 1572864
checking how to convert x86_64-pc-linux-gnu file names to x86_64-pc-linux-gnu format... func_convert_file_noop
checking how to convert x86_64-pc-linux-gnu file names to toolchain format... func_convert_file_noop
checking for /usr/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 archiver @FILE support... @
checking for strip... strip
checking for ranlib... (cached) ranlib
checking command to parse /usr/bin/nm -B output from gcc object... ok
checking for sysroot... no
checking for a working dd... /bin/dd
checking how to truncate binary pipes... /bin/dd bs=4096 count=1
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... yes
checking if gcc supports -c -o file.o... yes
checking if gcc supports -c -o file.o... (cached) yes
checking whether the gcc linker (/usr/bin/ld -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 whether gcc understands -c and -o together... (cached) yes
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/bin/ld -m elf_x86_64
checking if the linker (/usr/bin/ld -m elf_x86_64) is GNU ld... yes
checking whether the g++ linker (/usr/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... yes
checking if g++ supports -c -o file.o... yes
checking if g++ supports -c -o file.o... (cached) yes
checking whether the g++ linker (/usr/bin/ld -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 flex... flex
checking lex output file root... lex.yy
checking lex library... none needed
checking whether yytext is a pointer... no
checking for bison... bison -y
checking for ANSI C header files... (cached) yes
checking for strip... (cached) strip
checking that generated files are newer than configure... done
configure: creating ./config.status
config.status: creating Makefile
config.status: executing depfiles commands
config.status: executing libtool commands
+ make
/bin/bash ./libtool  --tag=CXX   --mode=link g++ -g -O3 -Wall -std=c++11  -fwhole-program  -static-libgcc -static-libstdc++ -L/builds/workspace/variationFronts-linux/other/variationFronts/usr/local//lib -o VariationFronts main.o sddGraph.o varfronts.o /builds/workspace/variationFronts-linux/other/variationFronts/usr/local//lib/libITS.a  /builds/workspace/variationFronts-linux/other/variationFronts/usr/local//lib/libDDD.a   /builds/workspace/variationFronts-linux/other/variationFronts/usr/local//lib/libexpat.a  /builds/workspace/variationFronts-linux/other/variationFronts/usr/local//lib/libantlr3c.a  /builds/workspace/variationFronts-linux/other/variationFronts/usr/local//lib/libgmpxx.a /builds/workspace/variationFronts-linux/other/variationFronts/usr/local//lib/libgmp.a    
libtool: link: g++ -g -O3 -Wall -std=c++11 -fwhole-program -static-libgcc -static-libstdc++ -o VariationFronts main.o sddGraph.o varfronts.o  -L/builds/workspace/variationFronts-linux/other/variationFronts/usr/local//lib /builds/workspace/variationFronts-linux/other/variationFronts/usr/local//lib/libITS.a /builds/workspace/variationFronts-linux/other/variationFronts/usr/local//lib/libDDD.a /builds/workspace/variationFronts-linux/other/variationFronts/usr/local//lib/libexpat.a /builds/workspace/variationFronts-linux/other/variationFronts/usr/local//lib/libantlr3c.a /builds/workspace/variationFronts-linux/other/variationFronts/usr/local//lib/libgmpxx.a /builds/workspace/variationFronts-linux/other/variationFronts/usr/local//lib/libgmp.a
+ strip -s VariationFronts
Archiving artifacts
ATSyRA2_Studio2 is disabled. Triggering skipped
Triggering a new build of ATSyRA2_Studio
Finished: SUCCESS