Mock Version: 1.2.12 ENTER do(['bash', '--login', '-c', '/usr/bin/rpmbuild -bs --target x86_64 --nodeps /builddir/build/SPECS/clasp.spec'], chrootPath='/var/lib/mock/epel-7-x86_64-mockbuilder-6891/root'shell=FalseprintOutput=Falseenv={'LANG': 'en_US.UTF-8', 'TERM': 'vt100', 'SHELL': '/bin/bash', 'PROMPT_COMMAND': 'printf "\x1b]0;\x07"', 'PATH': '/usr/bin:/bin:/usr/sbin:/sbin', 'HOME': '/builddir', 'HOSTNAME': 'mock'}gid=135user='mockbuild'timeout=0logger=uid=1001) Executing command: ['bash', '--login', '-c', '/usr/bin/rpmbuild -bs --target x86_64 --nodeps /builddir/build/SPECS/clasp.spec'] with env {'LANG': 'en_US.UTF-8', 'TERM': 'vt100', 'SHELL': '/bin/bash', 'PROMPT_COMMAND': 'printf "\x1b]0;\x07"', 'PATH': '/usr/bin:/bin:/usr/sbin:/sbin', 'HOME': '/builddir', 'HOSTNAME': 'mock'} and shell False warning: Could not canonicalize hostname: copr-builder-67870976 Building target platforms: x86_64 Building for target x86_64 Wrote: /builddir/build/SRPMS/clasp-3.1.3-2.el7.centos.src.rpm Child return code was: 0 LEAVE do --> ENTER do(['bash', '--login', '-c', '/usr/bin/rpmbuild -bb --target x86_64 --nodeps /builddir/build/SPECS/clasp.spec '], chrootPath='/var/lib/mock/epel-7-x86_64-mockbuilder-6891/root'shell=FalseprintOutput=Falseenv={'LANG': 'en_US.UTF-8', 'TERM': 'vt100', 'SHELL': '/bin/bash', 'PROMPT_COMMAND': 'printf "\x1b]0;\x07"', 'PATH': '/usr/bin:/bin:/usr/sbin:/sbin', 'HOME': '/builddir', 'HOSTNAME': 'mock'}gid=135user='mockbuild'timeout=0logger=uid=1001) Executing command: ['bash', '--login', '-c', '/usr/bin/rpmbuild -bb --target x86_64 --nodeps /builddir/build/SPECS/clasp.spec '] with env {'LANG': 'en_US.UTF-8', 'TERM': 'vt100', 'SHELL': '/bin/bash', 'PROMPT_COMMAND': 'printf "\x1b]0;\x07"', 'PATH': '/usr/bin:/bin:/usr/sbin:/sbin', 'HOME': '/builddir', 'HOSTNAME': 'mock'} and shell False Building target platforms: x86_64 Building for target x86_64 Executing(%prep): /bin/sh -e /var/tmp/rpm-tmp.vTHLZ4 + umask 022 + cd /builddir/build/BUILD + cd /builddir/build/BUILD + rm -rf clasp-3.1.3 + /usr/bin/tar -xf - + /usr/bin/gzip -dc /builddir/build/SOURCES/clasp-3.1.3-source.tar.gz + STATUS=0 + '[' 0 -ne 0 ']' + cd clasp-3.1.3 + /usr/bin/chmod -Rf a+rX,u+w,g-w,o-w . + exit 0 Executing(%build): /bin/sh -e /var/tmp/rpm-tmp.PJzXFb + umask 022 + cd /builddir/build/BUILD + cd clasp-3.1.3 + ./configure.sh --prefix=/usr --bindir=/usr/bin --config=custom --with-mt TBB_LIB=/usr/lib64 'CXXFLAGS=-O2 -g -pipe -Wall -Wp,-D_FORTIFY_SOURCE=2 -fexceptions -fstack-protector-strong --param=ssp-buffer-size=4 -grecord-gcc-switches -m64 -mtune=generic -O1 -D_DEBUG -DDEBUG' Checking for TBB include path.../usr/include Checking for TBB library path.../usr/lib64 Configuration successfully written to build/custom_mt. Make flags written to build/custom_mt/FLAGS. To compile clasp type: cd build/custom_mt make To install clasp afterwards type: make install or copy 'build/custom_mt/clasp' to a directory of your choice. Note: "make" must correspond to GNU Make 3.8 or later. + make -C build/custom_mt -j2 make: Entering directory `/builddir/build/BUILD/clasp-3.1.3/build/custom_mt' g++ -I../../libprogram_opts -I../../libclasp -W -Wall -O2 -g -pipe -Wall -Wp,-D_FORTIFY_SOURCE=2 -fexceptions -fstack-protector-strong --param=ssp-buffer-size=4 -grecord-gcc-switches -m64 -mtune=generic -O1 -D_DEBUG -DDEBUG -DWITH_THREADS=1 -I"/usr/include" -MT app/main.o -MM ../../app/main.cpp > app/main.dep g++ -I../../libprogram_opts -I../../libclasp -W -Wall -O2 -g -pipe -Wall -Wp,-D_FORTIFY_SOURCE=2 -fexceptions -fstack-protector-strong --param=ssp-buffer-size=4 -grecord-gcc-switches -m64 -mtune=generic -O1 -D_DEBUG -DDEBUG -DWITH_THREADS=1 -I"/usr/include" -MT app/clasp_app.o -MM ../../app/clasp_app.cpp > app/clasp_app.dep make: Leaving directory `/builddir/build/BUILD/clasp-3.1.3/build/custom_mt' make: Entering directory `/builddir/build/BUILD/clasp-3.1.3/build/custom_mt' make[1]: Entering directory `/builddir/build/BUILD/clasp-3.1.3/build/custom_mt/libprogram_opts' g++ -I../../../libprogram_opts -I../../../libclasp -W -Wall -O2 -g -pipe -Wall -Wp,-D_FORTIFY_SOURCE=2 -fexceptions -fstack-protector-strong --param=ssp-buffer-size=4 -grecord-gcc-switches -m64 -mtune=generic -O1 -D_DEBUG -DDEBUG -DWITH_THREADS=1 -I"/usr/include" -MM ../../../libprogram_opts/src/alarm.cpp > alarm.dep make[1]: Entering directory `/builddir/build/BUILD/clasp-3.1.3/build/custom_mt/libclasp' g++ -I../../../libprogram_opts -I../../../libclasp -W -Wall -O2 -g -pipe -Wall -Wp,-D_FORTIFY_SOURCE=2 -fexceptions -fstack-protector-strong --param=ssp-buffer-size=4 -grecord-gcc-switches -m64 -mtune=generic -O1 -D_DEBUG -DDEBUG -DWITH_THREADS=1 -I"/usr/include" -MM ../../../libclasp/src/unfounded_check.cpp > unfounded_check.dep g++ -I../../../libprogram_opts -I../../../libclasp -W -Wall -O2 -g -pipe -Wall -Wp,-D_FORTIFY_SOURCE=2 -fexceptions -fstack-protector-strong --param=ssp-buffer-size=4 -grecord-gcc-switches -m64 -mtune=generic -O1 -D_DEBUG -DDEBUG -DWITH_THREADS=1 -I"/usr/include" -MM ../../../libprogram_opts/src/string_convert.cpp > string_convert.dep g++ -I../../../libprogram_opts -I../../../libclasp -W -Wall -O2 -g -pipe -Wall -Wp,-D_FORTIFY_SOURCE=2 -fexceptions -fstack-protector-strong --param=ssp-buffer-size=4 -grecord-gcc-switches -m64 -mtune=generic -O1 -D_DEBUG -DDEBUG -DWITH_THREADS=1 -I"/usr/include" -MM ../../../libprogram_opts/src/application.cpp > application.dep g++ -I../../../libprogram_opts -I../../../libclasp -W -Wall -O2 -g -pipe -Wall -Wp,-D_FORTIFY_SOURCE=2 -fexceptions -fstack-protector-strong --param=ssp-buffer-size=4 -grecord-gcc-switches -m64 -mtune=generic -O1 -D_DEBUG -DDEBUG -DWITH_THREADS=1 -I"/usr/include" -MM ../../../libclasp/src/program_builder.cpp > program_builder.dep g++ -I../../../libprogram_opts -I../../../libclasp -W -Wall -O2 -g -pipe -Wall -Wp,-D_FORTIFY_SOURCE=2 -fexceptions -fstack-protector-strong --param=ssp-buffer-size=4 -grecord-gcc-switches -m64 -mtune=generic -O1 -D_DEBUG -DDEBUG -DWITH_THREADS=1 -I"/usr/include" -MM ../../../libprogram_opts/src/program_options.cpp > program_options.dep g++ -I../../../libprogram_opts -I../../../libclasp -W -Wall -O2 -g -pipe -Wall -Wp,-D_FORTIFY_SOURCE=2 -fexceptions -fstack-protector-strong --param=ssp-buffer-size=4 -grecord-gcc-switches -m64 -mtune=generic -O1 -D_DEBUG -DDEBUG -DWITH_THREADS=1 -I"/usr/include" -MM ../../../libclasp/src/asp_preprocessor.cpp > asp_preprocessor.dep g++ -I../../../libprogram_opts -I../../../libclasp -W -Wall -O2 -g -pipe -Wall -Wp,-D_FORTIFY_SOURCE=2 -fexceptions -fstack-protector-strong --param=ssp-buffer-size=4 -grecord-gcc-switches -m64 -mtune=generic -O1 -D_DEBUG -DDEBUG -DWITH_THREADS=1 -I"/usr/include" -MM ../../../libprogram_opts/src/value_store.cpp > value_store.dep make[1]: Leaving directory `/builddir/build/BUILD/clasp-3.1.3/build/custom_mt/libprogram_opts' make[1]: Entering directory `/builddir/build/BUILD/clasp-3.1.3/build/custom_mt/libprogram_opts' g++ -I../../../libprogram_opts -I../../../libclasp -W -Wall -O2 -g -pipe -Wall -Wp,-D_FORTIFY_SOURCE=2 -fexceptions -fstack-protector-strong --param=ssp-buffer-size=4 -grecord-gcc-switches -m64 -mtune=generic -O1 -D_DEBUG -DDEBUG -DWITH_THREADS=1 -I"/usr/include" -c ../../../libprogram_opts/src/value_store.cpp -o value_store.o g++ -I../../../libprogram_opts -I../../../libclasp -W -Wall -O2 -g -pipe -Wall -Wp,-D_FORTIFY_SOURCE=2 -fexceptions -fstack-protector-strong --param=ssp-buffer-size=4 -grecord-gcc-switches -m64 -mtune=generic -O1 -D_DEBUG -DDEBUG -DWITH_THREADS=1 -I"/usr/include" -MM ../../../libclasp/src/solver.cpp > solver.dep g++ -I../../../libprogram_opts -I../../../libclasp -W -Wall -O2 -g -pipe -Wall -Wp,-D_FORTIFY_SOURCE=2 -fexceptions -fstack-protector-strong --param=ssp-buffer-size=4 -grecord-gcc-switches -m64 -mtune=generic -O1 -D_DEBUG -DDEBUG -DWITH_THREADS=1 -I"/usr/include" -MM ../../../libclasp/src/solver_types.cpp > solver_types.dep g++ -I../../../libprogram_opts -I../../../libclasp -W -Wall -O2 -g -pipe -Wall -Wp,-D_FORTIFY_SOURCE=2 -fexceptions -fstack-protector-strong --param=ssp-buffer-size=4 -grecord-gcc-switches -m64 -mtune=generic -O1 -D_DEBUG -DDEBUG -DWITH_THREADS=1 -I"/usr/include" -c ../../../libprogram_opts/src/program_options.cpp -o program_options.o g++ -I../../../libprogram_opts -I../../../libclasp -W -Wall -O2 -g -pipe -Wall -Wp,-D_FORTIFY_SOURCE=2 -fexceptions -fstack-protector-strong --param=ssp-buffer-size=4 -grecord-gcc-switches -m64 -mtune=generic -O1 -D_DEBUG -DDEBUG -DWITH_THREADS=1 -I"/usr/include" -MM ../../../libclasp/src/logic_program.cpp > logic_program.dep g++ -I../../../libprogram_opts -I../../../libclasp -W -Wall -O2 -g -pipe -Wall -Wp,-D_FORTIFY_SOURCE=2 -fexceptions -fstack-protector-strong --param=ssp-buffer-size=4 -grecord-gcc-switches -m64 -mtune=generic -O1 -D_DEBUG -DDEBUG -DWITH_THREADS=1 -I"/usr/include" -MM ../../../libclasp/src/parser.cpp > parser.dep g++ -I../../../libprogram_opts -I../../../libclasp -W -Wall -O2 -g -pipe -Wall -Wp,-D_FORTIFY_SOURCE=2 -fexceptions -fstack-protector-strong --param=ssp-buffer-size=4 -grecord-gcc-switches -m64 -mtune=generic -O1 -D_DEBUG -DDEBUG -DWITH_THREADS=1 -I"/usr/include" -MM ../../../libclasp/src/minimize_constraint.cpp > minimize_constraint.dep g++ -I../../../libprogram_opts -I../../../libclasp -W -Wall -O2 -g -pipe -Wall -Wp,-D_FORTIFY_SOURCE=2 -fexceptions -fstack-protector-strong --param=ssp-buffer-size=4 -grecord-gcc-switches -m64 -mtune=generic -O1 -D_DEBUG -DDEBUG -DWITH_THREADS=1 -I"/usr/include" -MM ../../../libclasp/src/logic_program_types.cpp > logic_program_types.dep g++ -I../../../libprogram_opts -I../../../libclasp -W -Wall -O2 -g -pipe -Wall -Wp,-D_FORTIFY_SOURCE=2 -fexceptions -fstack-protector-strong --param=ssp-buffer-size=4 -grecord-gcc-switches -m64 -mtune=generic -O1 -D_DEBUG -DDEBUG -DWITH_THREADS=1 -I"/usr/include" -MM ../../../libclasp/src/parallel_solve.cpp > parallel_solve.dep g++ -I../../../libprogram_opts -I../../../libclasp -W -Wall -O2 -g -pipe -Wall -Wp,-D_FORTIFY_SOURCE=2 -fexceptions -fstack-protector-strong --param=ssp-buffer-size=4 -grecord-gcc-switches -m64 -mtune=generic -O1 -D_DEBUG -DDEBUG -DWITH_THREADS=1 -I"/usr/include" -MM ../../../libclasp/src/model_enumerators.cpp > model_enumerators.dep g++ -I../../../libprogram_opts -I../../../libclasp -W -Wall -O2 -g -pipe -Wall -Wp,-D_FORTIFY_SOURCE=2 -fexceptions -fstack-protector-strong --param=ssp-buffer-size=4 -grecord-gcc-switches -m64 -mtune=generic -O1 -D_DEBUG -DDEBUG -DWITH_THREADS=1 -I"/usr/include" -MM ../../../libclasp/src/satelite.cpp > satelite.dep g++ -I../../../libprogram_opts -I../../../libclasp -W -Wall -O2 -g -pipe -Wall -Wp,-D_FORTIFY_SOURCE=2 -fexceptions -fstack-protector-strong --param=ssp-buffer-size=4 -grecord-gcc-switches -m64 -mtune=generic -O1 -D_DEBUG -DDEBUG -DWITH_THREADS=1 -I"/usr/include" -MM ../../../libclasp/src/solver_strategies.cpp > solver_strategies.dep g++ -I../../../libprogram_opts -I../../../libclasp -W -Wall -O2 -g -pipe -Wall -Wp,-D_FORTIFY_SOURCE=2 -fexceptions -fstack-protector-strong --param=ssp-buffer-size=4 -grecord-gcc-switches -m64 -mtune=generic -O1 -D_DEBUG -DDEBUG -DWITH_THREADS=1 -I"/usr/include" -MM ../../../libclasp/src/weight_constraint.cpp > weight_constraint.dep g++ -I../../../libprogram_opts -I../../../libclasp -W -Wall -O2 -g -pipe -Wall -Wp,-D_FORTIFY_SOURCE=2 -fexceptions -fstack-protector-strong --param=ssp-buffer-size=4 -grecord-gcc-switches -m64 -mtune=generic -O1 -D_DEBUG -DDEBUG -DWITH_THREADS=1 -I"/usr/include" -MM ../../../libclasp/src/cb_enumerator.cpp > cb_enumerator.dep g++ -I../../../libprogram_opts -I../../../libclasp -W -Wall -O2 -g -pipe -Wall -Wp,-D_FORTIFY_SOURCE=2 -fexceptions -fstack-protector-strong --param=ssp-buffer-size=4 -grecord-gcc-switches -m64 -mtune=generic -O1 -D_DEBUG -DDEBUG -DWITH_THREADS=1 -I"/usr/include" -MM ../../../libclasp/src/timer.cpp > timer.dep g++ -I../../../libprogram_opts -I../../../libclasp -W -Wall -O2 -g -pipe -Wall -Wp,-D_FORTIFY_SOURCE=2 -fexceptions -fstack-protector-strong --param=ssp-buffer-size=4 -grecord-gcc-switches -m64 -mtune=generic -O1 -D_DEBUG -DDEBUG -DWITH_THREADS=1 -I"/usr/include" -MM ../../../libclasp/src/dependency_graph.cpp > dependency_graph.dep g++ -I../../../libprogram_opts -I../../../libclasp -W -Wall -O2 -g -pipe -Wall -Wp,-D_FORTIFY_SOURCE=2 -fexceptions -fstack-protector-strong --param=ssp-buffer-size=4 -grecord-gcc-switches -m64 -mtune=generic -O1 -D_DEBUG -DDEBUG -DWITH_THREADS=1 -I"/usr/include" -MM ../../../libclasp/src/clause.cpp > clause.dep g++ -I../../../libprogram_opts -I../../../libclasp -W -Wall -O2 -g -pipe -Wall -Wp,-D_FORTIFY_SOURCE=2 -fexceptions -fstack-protector-strong --param=ssp-buffer-size=4 -grecord-gcc-switches -m64 -mtune=generic -O1 -D_DEBUG -DDEBUG -DWITH_THREADS=1 -I"/usr/include" -MM ../../../libclasp/src/enumerator.cpp > enumerator.dep g++ -I../../../libprogram_opts -I../../../libclasp -W -Wall -O2 -g -pipe -Wall -Wp,-D_FORTIFY_SOURCE=2 -fexceptions -fstack-protector-strong --param=ssp-buffer-size=4 -grecord-gcc-switches -m64 -mtune=generic -O1 -D_DEBUG -DDEBUG -DWITH_THREADS=1 -I"/usr/include" -MM ../../../libclasp/src/clasp_options.cpp > clasp_options.dep g++ -I../../../libprogram_opts -I../../../libclasp -W -Wall -O2 -g -pipe -Wall -Wp,-D_FORTIFY_SOURCE=2 -fexceptions -fstack-protector-strong --param=ssp-buffer-size=4 -grecord-gcc-switches -m64 -mtune=generic -O1 -D_DEBUG -DDEBUG -DWITH_THREADS=1 -I"/usr/include" -MM ../../../libclasp/src/lookahead.cpp > lookahead.dep g++ -I../../../libprogram_opts -I../../../libclasp -W -Wall -O2 -g -pipe -Wall -Wp,-D_FORTIFY_SOURCE=2 -fexceptions -fstack-protector-strong --param=ssp-buffer-size=4 -grecord-gcc-switches -m64 -mtune=generic -O1 -D_DEBUG -DDEBUG -DWITH_THREADS=1 -I"/usr/include" -MM ../../../libclasp/src/solve_algorithms.cpp > solve_algorithms.dep g++ -I../../../libprogram_opts -I../../../libclasp -W -Wall -O2 -g -pipe -Wall -Wp,-D_FORTIFY_SOURCE=2 -fexceptions -fstack-protector-strong --param=ssp-buffer-size=4 -grecord-gcc-switches -m64 -mtune=generic -O1 -D_DEBUG -DDEBUG -DWITH_THREADS=1 -I"/usr/include" -MM ../../../libclasp/src/constraint.cpp > constraint.dep g++ -I../../../libprogram_opts -I../../../libclasp -W -Wall -O2 -g -pipe -Wall -Wp,-D_FORTIFY_SOURCE=2 -fexceptions -fstack-protector-strong --param=ssp-buffer-size=4 -grecord-gcc-switches -m64 -mtune=generic -O1 -D_DEBUG -DDEBUG -DWITH_THREADS=1 -I"/usr/include" -MM ../../../libclasp/src/shared_context.cpp > shared_context.dep g++ -I../../../libprogram_opts -I../../../libclasp -W -Wall -O2 -g -pipe -Wall -Wp,-D_FORTIFY_SOURCE=2 -fexceptions -fstack-protector-strong --param=ssp-buffer-size=4 -grecord-gcc-switches -m64 -mtune=generic -O1 -D_DEBUG -DDEBUG -DWITH_THREADS=1 -I"/usr/include" -MM ../../../libclasp/src/clasp_facade.cpp > clasp_facade.dep g++ -I../../../libprogram_opts -I../../../libclasp -W -Wall -O2 -g -pipe -Wall -Wp,-D_FORTIFY_SOURCE=2 -fexceptions -fstack-protector-strong --param=ssp-buffer-size=4 -grecord-gcc-switches -m64 -mtune=generic -O1 -D_DEBUG -DDEBUG -DWITH_THREADS=1 -I"/usr/include" -MM ../../../libclasp/src/clasp_output.cpp > clasp_output.dep g++ -I../../../libprogram_opts -I../../../libclasp -W -Wall -O2 -g -pipe -Wall -Wp,-D_FORTIFY_SOURCE=2 -fexceptions -fstack-protector-strong --param=ssp-buffer-size=4 -grecord-gcc-switches -m64 -mtune=generic -O1 -D_DEBUG -DDEBUG -DWITH_THREADS=1 -I"/usr/include" -MM ../../../libclasp/src/heuristics.cpp > heuristics.dep make[1]: Leaving directory `/builddir/build/BUILD/clasp-3.1.3/build/custom_mt/libclasp' make[1]: Entering directory `/builddir/build/BUILD/clasp-3.1.3/build/custom_mt/libclasp' g++ -I../../../libprogram_opts -I../../../libclasp -W -Wall -O2 -g -pipe -Wall -Wp,-D_FORTIFY_SOURCE=2 -fexceptions -fstack-protector-strong --param=ssp-buffer-size=4 -grecord-gcc-switches -m64 -mtune=generic -O1 -D_DEBUG -DDEBUG -DWITH_THREADS=1 -I"/usr/include" -c ../../../libclasp/src/heuristics.cpp -o heuristics.o g++ -I../../../libprogram_opts -I../../../libclasp -W -Wall -O2 -g -pipe -Wall -Wp,-D_FORTIFY_SOURCE=2 -fexceptions -fstack-protector-strong --param=ssp-buffer-size=4 -grecord-gcc-switches -m64 -mtune=generic -O1 -D_DEBUG -DDEBUG -DWITH_THREADS=1 -I"/usr/include" -c ../../../libprogram_opts/src/application.cpp -o application.o g++ -I../../../libprogram_opts -I../../../libclasp -W -Wall -O2 -g -pipe -Wall -Wp,-D_FORTIFY_SOURCE=2 -fexceptions -fstack-protector-strong --param=ssp-buffer-size=4 -grecord-gcc-switches -m64 -mtune=generic -O1 -D_DEBUG -DDEBUG -DWITH_THREADS=1 -I"/usr/include" -c ../../../libprogram_opts/src/string_convert.cpp -o string_convert.o g++ -I../../../libprogram_opts -I../../../libclasp -W -Wall -O2 -g -pipe -Wall -Wp,-D_FORTIFY_SOURCE=2 -fexceptions -fstack-protector-strong --param=ssp-buffer-size=4 -grecord-gcc-switches -m64 -mtune=generic -O1 -D_DEBUG -DDEBUG -DWITH_THREADS=1 -I"/usr/include" -c ../../../libprogram_opts/src/alarm.cpp -o alarm.o ar cvrs lib/libprogram_opts.a value_store.o program_options.o application.o string_convert.o alarm.o a - value_store.o a - program_options.o a - application.o a - string_convert.o a - alarm.o make[1]: Leaving directory `/builddir/build/BUILD/clasp-3.1.3/build/custom_mt/libprogram_opts' g++ -I../../libprogram_opts -I../../libclasp -W -Wall -O2 -g -pipe -Wall -Wp,-D_FORTIFY_SOURCE=2 -fexceptions -fstack-protector-strong --param=ssp-buffer-size=4 -grecord-gcc-switches -m64 -mtune=generic -O1 -D_DEBUG -DDEBUG -DWITH_THREADS=1 -I"/usr/include" -c ../../app/clasp_app.cpp -o app/clasp_app.o g++ -I../../../libprogram_opts -I../../../libclasp -W -Wall -O2 -g -pipe -Wall -Wp,-D_FORTIFY_SOURCE=2 -fexceptions -fstack-protector-strong --param=ssp-buffer-size=4 -grecord-gcc-switches -m64 -mtune=generic -O1 -D_DEBUG -DDEBUG -DWITH_THREADS=1 -I"/usr/include" -c ../../../libclasp/src/clasp_output.cpp -o clasp_output.o g++ -I../../../libprogram_opts -I../../../libclasp -W -Wall -O2 -g -pipe -Wall -Wp,-D_FORTIFY_SOURCE=2 -fexceptions -fstack-protector-strong --param=ssp-buffer-size=4 -grecord-gcc-switches -m64 -mtune=generic -O1 -D_DEBUG -DDEBUG -DWITH_THREADS=1 -I"/usr/include" -c ../../../libclasp/src/clasp_facade.cpp -o clasp_facade.o g++ -I../../../libprogram_opts -I../../../libclasp -W -Wall -O2 -g -pipe -Wall -Wp,-D_FORTIFY_SOURCE=2 -fexceptions -fstack-protector-strong --param=ssp-buffer-size=4 -grecord-gcc-switches -m64 -mtune=generic -O1 -D_DEBUG -DDEBUG -DWITH_THREADS=1 -I"/usr/include" -c ../../../libclasp/src/shared_context.cpp -o shared_context.o g++ -I../../../libprogram_opts -I../../../libclasp -W -Wall -O2 -g -pipe -Wall -Wp,-D_FORTIFY_SOURCE=2 -fexceptions -fstack-protector-strong --param=ssp-buffer-size=4 -grecord-gcc-switches -m64 -mtune=generic -O1 -D_DEBUG -DDEBUG -DWITH_THREADS=1 -I"/usr/include" -c ../../../libclasp/src/constraint.cpp -o constraint.o g++ -I../../../libprogram_opts -I../../../libclasp -W -Wall -O2 -g -pipe -Wall -Wp,-D_FORTIFY_SOURCE=2 -fexceptions -fstack-protector-strong --param=ssp-buffer-size=4 -grecord-gcc-switches -m64 -mtune=generic -O1 -D_DEBUG -DDEBUG -DWITH_THREADS=1 -I"/usr/include" -c ../../../libclasp/src/solve_algorithms.cpp -o solve_algorithms.o g++ -I../../../libprogram_opts -I../../../libclasp -W -Wall -O2 -g -pipe -Wall -Wp,-D_FORTIFY_SOURCE=2 -fexceptions -fstack-protector-strong --param=ssp-buffer-size=4 -grecord-gcc-switches -m64 -mtune=generic -O1 -D_DEBUG -DDEBUG -DWITH_THREADS=1 -I"/usr/include" -c ../../../libclasp/src/lookahead.cpp -o lookahead.o g++ -I../../../libprogram_opts -I../../../libclasp -W -Wall -O2 -g -pipe -Wall -Wp,-D_FORTIFY_SOURCE=2 -fexceptions -fstack-protector-strong --param=ssp-buffer-size=4 -grecord-gcc-switches -m64 -mtune=generic -O1 -D_DEBUG -DDEBUG -DWITH_THREADS=1 -I"/usr/include" -c ../../../libclasp/src/clasp_options.cpp -o clasp_options.o g++ -I../../../libprogram_opts -I../../../libclasp -W -Wall -O2 -g -pipe -Wall -Wp,-D_FORTIFY_SOURCE=2 -fexceptions -fstack-protector-strong --param=ssp-buffer-size=4 -grecord-gcc-switches -m64 -mtune=generic -O1 -D_DEBUG -DDEBUG -DWITH_THREADS=1 -I"/usr/include" -c ../../../libclasp/src/enumerator.cpp -o enumerator.o g++ -I../../../libprogram_opts -I../../../libclasp -W -Wall -O2 -g -pipe -Wall -Wp,-D_FORTIFY_SOURCE=2 -fexceptions -fstack-protector-strong --param=ssp-buffer-size=4 -grecord-gcc-switches -m64 -mtune=generic -O1 -D_DEBUG -DDEBUG -DWITH_THREADS=1 -I"/usr/include" -c ../../../libclasp/src/clause.cpp -o clause.o g++ -I../../../libprogram_opts -I../../../libclasp -W -Wall -O2 -g -pipe -Wall -Wp,-D_FORTIFY_SOURCE=2 -fexceptions -fstack-protector-strong --param=ssp-buffer-size=4 -grecord-gcc-switches -m64 -mtune=generic -O1 -D_DEBUG -DDEBUG -DWITH_THREADS=1 -I"/usr/include" -c ../../../libclasp/src/dependency_graph.cpp -o dependency_graph.o g++ -I../../../libprogram_opts -I../../../libclasp -W -Wall -O2 -g -pipe -Wall -Wp,-D_FORTIFY_SOURCE=2 -fexceptions -fstack-protector-strong --param=ssp-buffer-size=4 -grecord-gcc-switches -m64 -mtune=generic -O1 -D_DEBUG -DDEBUG -DWITH_THREADS=1 -I"/usr/include" -c ../../../libclasp/src/timer.cpp -o timer.o g++ -I../../../libprogram_opts -I../../../libclasp -W -Wall -O2 -g -pipe -Wall -Wp,-D_FORTIFY_SOURCE=2 -fexceptions -fstack-protector-strong --param=ssp-buffer-size=4 -grecord-gcc-switches -m64 -mtune=generic -O1 -D_DEBUG -DDEBUG -DWITH_THREADS=1 -I"/usr/include" -c ../../../libclasp/src/cb_enumerator.cpp -o cb_enumerator.o g++ -I../../../libprogram_opts -I../../../libclasp -W -Wall -O2 -g -pipe -Wall -Wp,-D_FORTIFY_SOURCE=2 -fexceptions -fstack-protector-strong --param=ssp-buffer-size=4 -grecord-gcc-switches -m64 -mtune=generic -O1 -D_DEBUG -DDEBUG -DWITH_THREADS=1 -I"/usr/include" -c ../../../libclasp/src/weight_constraint.cpp -o weight_constraint.o g++ -I../../../libprogram_opts -I../../../libclasp -W -Wall -O2 -g -pipe -Wall -Wp,-D_FORTIFY_SOURCE=2 -fexceptions -fstack-protector-strong --param=ssp-buffer-size=4 -grecord-gcc-switches -m64 -mtune=generic -O1 -D_DEBUG -DDEBUG -DWITH_THREADS=1 -I"/usr/include" -c ../../../libclasp/src/solver_strategies.cpp -o solver_strategies.o g++ -I../../../libprogram_opts -I../../../libclasp -W -Wall -O2 -g -pipe -Wall -Wp,-D_FORTIFY_SOURCE=2 -fexceptions -fstack-protector-strong --param=ssp-buffer-size=4 -grecord-gcc-switches -m64 -mtune=generic -O1 -D_DEBUG -DDEBUG -DWITH_THREADS=1 -I"/usr/include" -c ../../../libclasp/src/satelite.cpp -o satelite.o g++ -I../../../libprogram_opts -I../../../libclasp -W -Wall -O2 -g -pipe -Wall -Wp,-D_FORTIFY_SOURCE=2 -fexceptions -fstack-protector-strong --param=ssp-buffer-size=4 -grecord-gcc-switches -m64 -mtune=generic -O1 -D_DEBUG -DDEBUG -DWITH_THREADS=1 -I"/usr/include" -c ../../../libclasp/src/model_enumerators.cpp -o model_enumerators.o g++ -I../../../libprogram_opts -I../../../libclasp -W -Wall -O2 -g -pipe -Wall -Wp,-D_FORTIFY_SOURCE=2 -fexceptions -fstack-protector-strong --param=ssp-buffer-size=4 -grecord-gcc-switches -m64 -mtune=generic -O1 -D_DEBUG -DDEBUG -DWITH_THREADS=1 -I"/usr/include" -c ../../../libclasp/src/parallel_solve.cpp -o parallel_solve.o g++ -I../../../libprogram_opts -I../../../libclasp -W -Wall -O2 -g -pipe -Wall -Wp,-D_FORTIFY_SOURCE=2 -fexceptions -fstack-protector-strong --param=ssp-buffer-size=4 -grecord-gcc-switches -m64 -mtune=generic -O1 -D_DEBUG -DDEBUG -DWITH_THREADS=1 -I"/usr/include" -c ../../../libclasp/src/logic_program_types.cpp -o logic_program_types.o In file included from ../../../libclasp/clasp/literal.h:27:0, from ../../../libclasp/clasp/constraint.h:27, from ../../../libclasp/clasp/solver_strategies.h:26, from ../../../libclasp/clasp/solve_algorithms.h:28, from ../../../libclasp/clasp/parallel_solve.h:29, from ../../../libclasp/src/parallel_solve.cpp:21: ../../../libclasp/clasp/util/platform.h: In function 'void* alignedAlloc(size_t, size_t)': ../../../libclasp/clasp/util/platform.h:173:38: warning: ignoring return value of 'int posix_memalign(void**, size_t, size_t)', declared with attribute warn_unused_result [-Wunused-result] posix_memalign(&result, align, size); ^ g++ -I../../../libprogram_opts -I../../../libclasp -W -Wall -O2 -g -pipe -Wall -Wp,-D_FORTIFY_SOURCE=2 -fexceptions -fstack-protector-strong --param=ssp-buffer-size=4 -grecord-gcc-switches -m64 -mtune=generic -O1 -D_DEBUG -DDEBUG -DWITH_THREADS=1 -I"/usr/include" -c ../../../libclasp/src/minimize_constraint.cpp -o minimize_constraint.o g++ -I../../../libprogram_opts -I../../../libclasp -W -Wall -O2 -g -pipe -Wall -Wp,-D_FORTIFY_SOURCE=2 -fexceptions -fstack-protector-strong --param=ssp-buffer-size=4 -grecord-gcc-switches -m64 -mtune=generic -O1 -D_DEBUG -DDEBUG -DWITH_THREADS=1 -I"/usr/include" -c ../../../libclasp/src/parser.cpp -o parser.o g++ -I../../../libprogram_opts -I../../../libclasp -W -Wall -O2 -g -pipe -Wall -Wp,-D_FORTIFY_SOURCE=2 -fexceptions -fstack-protector-strong --param=ssp-buffer-size=4 -grecord-gcc-switches -m64 -mtune=generic -O1 -D_DEBUG -DDEBUG -DWITH_THREADS=1 -I"/usr/include" -c ../../../libclasp/src/logic_program.cpp -o logic_program.o g++ -I../../../libprogram_opts -I../../../libclasp -W -Wall -O2 -g -pipe -Wall -Wp,-D_FORTIFY_SOURCE=2 -fexceptions -fstack-protector-strong --param=ssp-buffer-size=4 -grecord-gcc-switches -m64 -mtune=generic -O1 -D_DEBUG -DDEBUG -DWITH_THREADS=1 -I"/usr/include" -c ../../../libclasp/src/solver_types.cpp -o solver_types.o g++ -I../../../libprogram_opts -I../../../libclasp -W -Wall -O2 -g -pipe -Wall -Wp,-D_FORTIFY_SOURCE=2 -fexceptions -fstack-protector-strong --param=ssp-buffer-size=4 -grecord-gcc-switches -m64 -mtune=generic -O1 -D_DEBUG -DDEBUG -DWITH_THREADS=1 -I"/usr/include" -c ../../../libclasp/src/solver.cpp -o solver.o g++ -I../../../libprogram_opts -I../../../libclasp -W -Wall -O2 -g -pipe -Wall -Wp,-D_FORTIFY_SOURCE=2 -fexceptions -fstack-protector-strong --param=ssp-buffer-size=4 -grecord-gcc-switches -m64 -mtune=generic -O1 -D_DEBUG -DDEBUG -DWITH_THREADS=1 -I"/usr/include" -c ../../../libclasp/src/asp_preprocessor.cpp -o asp_preprocessor.o g++ -I../../../libprogram_opts -I../../../libclasp -W -Wall -O2 -g -pipe -Wall -Wp,-D_FORTIFY_SOURCE=2 -fexceptions -fstack-protector-strong --param=ssp-buffer-size=4 -grecord-gcc-switches -m64 -mtune=generic -O1 -D_DEBUG -DDEBUG -DWITH_THREADS=1 -I"/usr/include" -c ../../../libclasp/src/program_builder.cpp -o program_builder.o g++ -I../../libprogram_opts -I../../libclasp -W -Wall -O2 -g -pipe -Wall -Wp,-D_FORTIFY_SOURCE=2 -fexceptions -fstack-protector-strong --param=ssp-buffer-size=4 -grecord-gcc-switches -m64 -mtune=generic -O1 -D_DEBUG -DDEBUG -DWITH_THREADS=1 -I"/usr/include" -c ../../app/main.cpp -o app/main.o g++ -I../../../libprogram_opts -I../../../libclasp -W -Wall -O2 -g -pipe -Wall -Wp,-D_FORTIFY_SOURCE=2 -fexceptions -fstack-protector-strong --param=ssp-buffer-size=4 -grecord-gcc-switches -m64 -mtune=generic -O1 -D_DEBUG -DDEBUG -DWITH_THREADS=1 -I"/usr/include" -c ../../../libclasp/src/unfounded_check.cpp -o unfounded_check.o ar cvrs lib/libclasp.a heuristics.o clasp_output.o clasp_facade.o shared_context.o constraint.o solve_algorithms.o lookahead.o clasp_options.o enumerator.o clause.o dependency_graph.o timer.o cb_enumerator.o weight_constraint.o solver_strategies.o satelite.o model_enumerators.o parallel_solve.o logic_program_types.o minimize_constraint.o parser.o logic_program.o solver_types.o solver.o asp_preprocessor.o program_builder.o unfounded_check.o a - heuristics.o a - clasp_output.o a - clasp_facade.o a - shared_context.o a - constraint.o a - solve_algorithms.o a - lookahead.o a - clasp_options.o a - enumerator.o a - clause.o a - dependency_graph.o a - timer.o a - cb_enumerator.o a - weight_constraint.o a - solver_strategies.o a - satelite.o a - model_enumerators.o a - parallel_solve.o a - logic_program_types.o a - minimize_constraint.o a - parser.o a - logic_program.o a - solver_types.o a - solver.o a - asp_preprocessor.o a - program_builder.o a - unfounded_check.o make[1]: Leaving directory `/builddir/build/BUILD/clasp-3.1.3/build/custom_mt/libclasp' g++ -W -Wall -O2 -g -pipe -Wall -Wp,-D_FORTIFY_SOURCE=2 -fexceptions -fstack-protector-strong --param=ssp-buffer-size=4 -grecord-gcc-switches -m64 -mtune=generic -O1 -D_DEBUG -DDEBUG -DWITH_THREADS=1 -I"/usr/include" -L"/usr/lib64" app/clasp_app.o app/main.o libclasp/lib/libclasp.a libprogram_opts/lib/libprogram_opts.a -ltbb -o bin/clasp make: Leaving directory `/builddir/build/BUILD/clasp-3.1.3/build/custom_mt' + exit 0 Executing(%install): /bin/sh -e /var/tmp/rpm-tmp.vtAl9D + umask 022 + cd /builddir/build/BUILD + '[' /builddir/build/BUILDROOT/clasp-3.1.3-2.el7.centos.x86_64 '!=' / ']' + rm -rf /builddir/build/BUILDROOT/clasp-3.1.3-2.el7.centos.x86_64 ++ dirname /builddir/build/BUILDROOT/clasp-3.1.3-2.el7.centos.x86_64 + mkdir -p /builddir/build/BUILDROOT + mkdir /builddir/build/BUILDROOT/clasp-3.1.3-2.el7.centos.x86_64 + cd clasp-3.1.3 + install -p -m0755 -D build/custom_mt/bin/clasp /builddir/build/BUILDROOT/clasp-3.1.3-2.el7.centos.x86_64/usr/bin/clasp + install -p -m0644 -D build/custom_mt/libclasp/lib/libclasp.a /builddir/build/BUILDROOT/clasp-3.1.3-2.el7.centos.x86_64/usr/lib64/libclasp.a + mkdir -p /builddir/build/BUILDROOT/clasp-3.1.3-2.el7.centos.x86_64/usr/include + cp -a libclasp/clasp /builddir/build/BUILDROOT/clasp-3.1.3-2.el7.centos.x86_64/usr/include/clasp + /usr/lib/rpm/find-debuginfo.sh --strict-build-id -m --run-dwz --dwz-low-mem-die-limit 10000000 --dwz-max-die-limit 110000000 /builddir/build/BUILD/clasp-3.1.3 extracting debug info from /builddir/build/BUILDROOT/clasp-3.1.3-2.el7.centos.x86_64/usr/bin/clasp dwz: Too few files for multifile optimization /usr/lib/rpm/sepdebugcrcfix: Updated 1 CRC32s, 0 CRC32s did match. 2699 blocks + /usr/lib/rpm/check-buildroot + /usr/lib/rpm/redhat/brp-compress + /usr/lib/rpm/redhat/brp-strip-static-archive /usr/bin/strip + /usr/lib/rpm/brp-python-bytecompile /usr/bin/python 1 + /usr/lib/rpm/redhat/brp-python-hardlink + /usr/lib/rpm/redhat/brp-java-repack-jars Processing files: clasp-3.1.3-2.el7.centos.x86_64 Executing(%doc): /bin/sh -e /var/tmp/rpm-tmp.DkHb9b + umask 022 + cd /builddir/build/BUILD + cd clasp-3.1.3 + DOCDIR=/builddir/build/BUILDROOT/clasp-3.1.3-2.el7.centos.x86_64/usr/share/doc/clasp-3.1.3 + export DOCDIR + /usr/bin/mkdir -p /builddir/build/BUILDROOT/clasp-3.1.3-2.el7.centos.x86_64/usr/share/doc/clasp-3.1.3 + cp -pr CHANGES /builddir/build/BUILDROOT/clasp-3.1.3-2.el7.centos.x86_64/usr/share/doc/clasp-3.1.3 + cp -pr COPYING /builddir/build/BUILDROOT/clasp-3.1.3-2.el7.centos.x86_64/usr/share/doc/clasp-3.1.3 + cp -pr README /builddir/build/BUILDROOT/clasp-3.1.3-2.el7.centos.x86_64/usr/share/doc/clasp-3.1.3 + exit 0 Provides: clasp = 3.1.3-2.el7.centos clasp(x86-64) = 3.1.3-2.el7.centos Requires(rpmlib): rpmlib(CompressedFileNames) <= 3.0.4-1 rpmlib(FileDigests) <= 4.6.0-1 rpmlib(PayloadFilesHavePrefix) <= 4.0-1 Requires: libc.so.6()(64bit) libc.so.6(GLIBC_2.14)(64bit) libc.so.6(GLIBC_2.17)(64bit) libc.so.6(GLIBC_2.2.5)(64bit) libc.so.6(GLIBC_2.3.2)(64bit) libc.so.6(GLIBC_2.3.4)(64bit) libc.so.6(GLIBC_2.4)(64bit) libgcc_s.so.1()(64bit) libgcc_s.so.1(GCC_3.0)(64bit) libm.so.6()(64bit) libm.so.6(GLIBC_2.2.5)(64bit) libpthread.so.0()(64bit) libpthread.so.0(GLIBC_2.2.5)(64bit) libstdc++.so.6()(64bit) libstdc++.so.6(CXXABI_1.3)(64bit) libstdc++.so.6(GLIBCXX_3.4)(64bit) libstdc++.so.6(GLIBCXX_3.4.10)(64bit) libstdc++.so.6(GLIBCXX_3.4.11)(64bit) libstdc++.so.6(GLIBCXX_3.4.15)(64bit) libstdc++.so.6(GLIBCXX_3.4.9)(64bit) libtbb.so.2()(64bit) rtld(GNU_HASH) Processing files: clasp-devel-3.1.3-2.el7.centos.x86_64 Provides: clasp-devel = 3.1.3-2.el7.centos clasp-devel(x86-64) = 3.1.3-2.el7.centos clasp-static = 3.1.3-2.el7.centos Requires(rpmlib): rpmlib(CompressedFileNames) <= 3.0.4-1 rpmlib(FileDigests) <= 4.6.0-1 rpmlib(PayloadFilesHavePrefix) <= 4.0-1 Processing files: clasp-debuginfo-3.1.3-2.el7.centos.x86_64 Provides: clasp-debuginfo = 3.1.3-2.el7.centos clasp-debuginfo(x86-64) = 3.1.3-2.el7.centos Requires(rpmlib): rpmlib(FileDigests) <= 4.6.0-1 rpmlib(PayloadFilesHavePrefix) <= 4.0-1 rpmlib(CompressedFileNames) <= 3.0.4-1 Checking for unpackaged file(s): /usr/lib/rpm/check-files /builddir/build/BUILDROOT/clasp-3.1.3-2.el7.centos.x86_64 warning: Could not canonicalize hostname: copr-builder-67870976 Wrote: /builddir/build/RPMS/clasp-3.1.3-2.el7.centos.x86_64.rpm Wrote: /builddir/build/RPMS/clasp-devel-3.1.3-2.el7.centos.x86_64.rpm Wrote: /builddir/build/RPMS/clasp-debuginfo-3.1.3-2.el7.centos.x86_64.rpm Executing(%clean): /bin/sh -e /var/tmp/rpm-tmp.FUKyDE + umask 022 + cd /builddir/build/BUILD + cd clasp-3.1.3 + /usr/bin/rm -rf /builddir/build/BUILDROOT/clasp-3.1.3-2.el7.centos.x86_64 + exit 0 Child return code was: 0 LEAVE do -->