<86>Feb 15 03:21:28 userdel[743496]: delete user 'rooter' <86>Feb 15 03:21:28 userdel[743496]: removed group 'rooter' owned by 'rooter' <86>Feb 15 03:21:28 userdel[743496]: removed shadow group 'rooter' owned by 'rooter' <86>Feb 15 03:21:28 groupadd[743518]: group added to /etc/group: name=rooter, GID=720 <86>Feb 15 03:21:28 groupadd[743518]: group added to /etc/gshadow: name=rooter <86>Feb 15 03:21:28 groupadd[743518]: new group: name=rooter, GID=720 <86>Feb 15 03:21:28 useradd[743534]: new user: name=rooter, UID=720, GID=720, home=/root, shell=/bin/bash <86>Feb 15 03:21:28 userdel[743559]: delete user 'builder' <86>Feb 15 03:21:28 userdel[743559]: removed group 'builder' owned by 'builder' <86>Feb 15 03:21:28 userdel[743559]: removed shadow group 'builder' owned by 'builder' <86>Feb 15 03:21:28 groupadd[743582]: group added to /etc/group: name=builder, GID=721 <86>Feb 15 03:21:28 groupadd[743582]: group added to /etc/gshadow: name=builder <86>Feb 15 03:21:28 groupadd[743582]: new group: name=builder, GID=721 <86>Feb 15 03:21:28 useradd[743601]: new user: name=builder, UID=721, GID=721, home=/usr/src, shell=/bin/bash <13>Feb 15 03:21:30 rpmi: libpng16-1.6.39-alt1 sisyphus+310490.100.1.1 1669195200 installed <13>Feb 15 03:21:30 rpmi: libjpeg-2:2.1.2-alt1.2 sisyphus+300827.100.2.1 1653916633 installed <13>Feb 15 03:21:30 rpmi: libboost_system1.80.0-1:1.80.0-alt1 sisyphus+308894.400.1.1 1666588748 installed <13>Feb 15 03:21:30 rpmi: libwebp7-1.3.0-alt1 sisyphus+313492.100.1.1 1673749693 installed <13>Feb 15 03:21:30 rpmi: libICE-1.1.1-alt1 sisyphus+311428.500.1.1 1670577555 installed <13>Feb 15 03:21:30 rpmi: libSM-1.2.4-alt1 sisyphus+312057.200.1.1 1671526916 installed <13>Feb 15 03:21:30 rpmi: libboost_atomic1.80.0-1:1.80.0-alt1 sisyphus+308894.400.1.1 1666588748 installed <13>Feb 15 03:21:30 rpmi: libboost_contract1.80.0-1:1.80.0-alt1 sisyphus+308894.400.1.1 1666588748 installed <13>Feb 15 03:21:30 rpmi: libboost_chrono1.80.0-1:1.80.0-alt1 sisyphus+308894.400.1.1 1666588748 installed <13>Feb 15 03:21:30 rpmi: libboost_timer1.80.0-1:1.80.0-alt1 sisyphus+308894.400.1.1 1666588748 installed <13>Feb 15 03:21:30 rpmi: libboost_thread1.80.0-1:1.80.0-alt1 sisyphus+308894.400.1.1 1666588748 installed <13>Feb 15 03:21:30 rpmi: libboost_type_erasure1.80.0-1:1.80.0-alt1 sisyphus+308894.400.1.1 1666588748 installed <13>Feb 15 03:21:30 rpmi: libm4ri-20200125-alt1 sisyphus+288111.240.3.1 1635171833 installed <13>Feb 15 03:21:30 rpmi: libnuma-2.0.14-alt2 sisyphus+278485.100.1.1 1626104244 installed <13>Feb 15 03:21:30 rpmi: libx265-199-3.5-alt1.1 sisyphus+277560.100.1.1 1625697230 installed <13>Feb 15 03:21:30 rpmi: librav1e-0.6.3-alt1 sisyphus+313168.100.1.1 1673426867 installed <13>Feb 15 03:21:30 rpmi: libjbig-2.1-alt1 sisyphus+276068.100.1.1 1624815400 installed <13>Feb 15 03:21:30 rpmi: desktop-file-utils-0.26-alt3 sisyphus+297027.100.1.1 1648023315 installed <13>Feb 15 03:21:30 rpmi: shared-mime-info-2.2-alt1 sisyphus+297388.100.1.1 1648466615 installed <13>Feb 15 03:21:30 rpmi: libgdk-pixbuf-locales-2.42.10-alt1 sisyphus+308991.100.1.1 1666721198 installed <13>Feb 15 03:21:30 rpmi: libgraphite2-1.3.14-alt2.1 sisyphus+279571.100.1.2 1626605111 installed <13>Feb 15 03:21:30 rpmi: libexpat-2.5.0-alt1 sisyphus+309227.100.1.1 1667075764 installed <13>Feb 15 03:21:30 rpmi: libdeflate-1.14-alt1 sisyphus+306557.100.1.1 1662905315 installed <13>Feb 15 03:21:30 rpmi: libtiff5-4.4.0-alt2 sisyphus+311934.100.1.1 1671327071 installed <13>Feb 15 03:21:30 rpmi: libde265-1.0.11-alt1 sisyphus+314940.100.1.1 1675940477 installed <13>Feb 15 03:21:30 rpmi: libdav1d-0.9.2-alt1 sisyphus+291906.40.5.3 1639431315 installed <13>Feb 15 03:21:30 rpmi: libbrotlicommon-1.0.9-alt2 sisyphus+278430.100.1.2 1626213212 installed <13>Feb 15 03:21:30 rpmi: libbrotlidec-1.0.9-alt2 sisyphus+278430.100.1.2 1626213212 installed <13>Feb 15 03:21:30 rpmi: libharfbuzz-6.0.0-alt1 sisyphus+311978.200.2.1 1671493161 installed <13>Feb 15 03:21:31 rpmi: libfreetype-2.13.0-alt1 sisyphus+315092.100.1.1 1676198644 installed <13>Feb 15 03:21:31 rpmi: libfontconfig1-2.14.2-alt1 sisyphus+314871.100.6.2 1676041467 installed <13>Feb 15 03:21:31 rpmi: libboost_program_options1.80.0-1:1.80.0-alt1 sisyphus+308894.400.1.1 1666588748 installed <13>Feb 15 03:21:31 rpmi: libaom3-3.5.0-alt1 sisyphus+312085.100.1.1 1671551546 installed <13>Feb 15 03:21:31 rpmi: libXdmcp-1.1.4-alt1 sisyphus+311188.1000.1.1 1670233857 installed <13>Feb 15 03:21:31 rpmi: libXau-1.0.11-alt1 sisyphus+311428.100.1.1 1670577439 installed <13>Feb 15 03:21:31 rpmi: libxcb-1.15-alt1 sisyphus+299436.300.1.1 1651655472 installed <13>Feb 15 03:21:31 rpmi: libX11-locales-3:1.8.4-alt1 sisyphus+314722.100.1.1 1675664300 installed <13>Feb 15 03:21:31 rpmi: libX11-3:1.8.4-alt1 sisyphus+314722.100.1.1 1675664300 installed <13>Feb 15 03:21:31 rpmi: libXext-1.3.5-alt1 sisyphus+309285.100.1.1 1667212412 installed <13>Feb 15 03:21:31 rpmi: libXt-1.2.1-alt1 sisyphus+265202.200.1.1 1611565457 installed <13>Feb 15 03:21:31 rpmi: libXpm-3.5.15-alt1 sisyphus+313628.100.1.1 1674030938 installed <13>Feb 15 03:21:31 rpmi: gsettings-desktop-schemas-data-43.0-alt1 sisyphus+307196.300.10.1 1664047363 installed <13>Feb 15 03:21:31 rpmi: libgio-2.74.5-alt1 sisyphus+313763.100.1.1 1674192525 installed <13>Feb 15 03:21:31 rpmi: gsettings-desktop-schemas-43.0-alt1 sisyphus+307196.300.10.1 1664047363 installed <13>Feb 15 03:21:31 rpmi: libgdk-pixbuf-2.42.10-alt1 sisyphus+308991.100.1.1 1666721198 installed <13>Feb 15 03:21:31 rpmi: libheif-1.14.2-alt1 sisyphus+314940.200.1.1 1675940517 installed <13>Feb 15 03:21:31 rpmi: libgd3-2.3.3-alt1 sisyphus+286379.100.1.1 1633353307 installed <13>Feb 15 03:21:31 rpmi: gcc-c++-common-1.4.27-alt1 sisyphus+278099.1300.1.1 1626028636 installed <13>Feb 15 03:21:31 rpmi: libstdc++12-devel-12.1.1-alt2 sisyphus+307182.100.1.1 1663781909 installed <13>Feb 15 03:21:32 rpmi: gcc12-c++-12.1.1-alt2 sisyphus+307182.100.1.1 1663781909 installed <13>Feb 15 03:21:32 rpmi: libboost_context1.80.0-1:1.80.0-alt1 sisyphus+308894.400.1.1 1666588748 installed <13>Feb 15 03:21:32 rpmi: libboost_fiber1.80.0-1:1.80.0-alt1 sisyphus+308894.400.1.1 1666588748 installed <13>Feb 15 03:21:32 rpmi: libboost_stacktrace1.80.0-1:1.80.0-alt1 sisyphus+308894.400.1.1 1666588748 installed <13>Feb 15 03:21:32 rpmi: libboost_nowide1.80.0-1:1.80.0-alt1 sisyphus+308894.400.1.1 1666588748 installed <13>Feb 15 03:21:32 rpmi: libboost_test1.80.0-1:1.80.0-alt1 sisyphus+308894.400.1.1 1666588748 installed <13>Feb 15 03:21:32 rpmi: libboost_serialization1.80.0-1:1.80.0-alt1 sisyphus+308894.400.1.1 1666588748 installed <13>Feb 15 03:21:32 rpmi: libboost_random1.80.0-1:1.80.0-alt1 sisyphus+308894.400.1.1 1666588748 installed <13>Feb 15 03:21:32 rpmi: libboost_iostreams1.80.0-1:1.80.0-alt1 sisyphus+308894.400.1.1 1666588748 installed <13>Feb 15 03:21:32 rpmi: libboost_json1.80.0-1:1.80.0-alt1 sisyphus+308894.400.1.1 1666588748 installed <13>Feb 15 03:21:32 rpmi: libboost_regex1.80.0-1:1.80.0-alt1 sisyphus+308894.400.1.1 1666588748 installed <13>Feb 15 03:21:32 rpmi: libboost_graph1.80.0-1:1.80.0-alt1 sisyphus+308894.400.1.1 1666588748 installed <13>Feb 15 03:21:32 rpmi: libboost_date_time1.80.0-1:1.80.0-alt1 sisyphus+308894.400.1.1 1666588748 installed <13>Feb 15 03:21:32 rpmi: libboost_container1.80.0-1:1.80.0-alt1 sisyphus+308894.400.1.1 1666588748 installed <13>Feb 15 03:21:34 rpmi: boost-devel-headers-1:1.80.0-alt1 sisyphus+308894.400.1.1 1666588748 installed <13>Feb 15 03:21:34 rpmi: boost-devel-1:1.80.0-alt1 sisyphus+308894.400.1.1 1666588748 installed <13>Feb 15 03:21:34 rpmi: boost-program_options-devel-1:1.80.0-alt1 sisyphus+308894.400.1.1 1666588748 installed <13>Feb 15 03:21:34 rpmi: gcc-c++-12-alt1 sisyphus+300988.300.1.1 1654033053 installed <13>Feb 15 03:21:34 rpmi: libgd3-devel-2.3.3-alt1 sisyphus+286379.100.1.1 1633353307 installed <13>Feb 15 03:21:34 rpmi: libm4ri-devel-20200125-alt1 sisyphus+288111.240.3.1 1635171833 installed Building target platforms: x86_64 Building for target x86_64 Wrote: /usr/src/in/nosrpm/brial-1.2.12-alt1.nosrc.rpm (w1.gzdio) Installing brial-1.2.12-alt1.src.rpm Building target platforms: x86_64 Building for target x86_64 Executing(%prep): /bin/sh -e /usr/src/tmp/rpm-tmp.23616 + umask 022 + /bin/mkdir -p /usr/src/RPM/BUILD + cd /usr/src/RPM/BUILD + cd /usr/src/RPM/BUILD + rm -rf brial-1.2.12 + echo 'Source #0 (brial-1.2.12.tar.bz2):' Source #0 (brial-1.2.12.tar.bz2): + /bin/bzip2 -dc /usr/src/RPM/SOURCES/brial-1.2.12.tar.bz2 + /bin/tar -xf - + cd brial-1.2.12 + /bin/chmod -c -Rf u+rwX,go-w . + echo 'Patch #0 (brial-clock.patch):' Patch #0 (brial-clock.patch): + /usr/bin/patch -p1 patching file sage-brial/brial/general_boolean_polynomial.py + exit 0 Executing(%build): /bin/sh -e /usr/src/tmp/rpm-tmp.23616 + umask 022 + /bin/mkdir -p /usr/src/RPM/BUILD + cd /usr/src/RPM/BUILD + cd brial-1.2.12 + export CPPFLAGS=-DPBORI_NDEBUG + CPPFLAGS=-DPBORI_NDEBUG + autoreconf -fisv autoreconf-default: Entering directory `.' autoreconf-default: configure.ac: not using Gettext autoreconf-default: running: aclocal --force -I m4 autoreconf-default: configure.ac: tracing autoreconf-default: running: libtoolize --force --install libtoolize-default: putting auxiliary files in '.'. libtoolize-default: linking file './config.guess' libtoolize-default: linking file './config.sub' libtoolize-default: linking file './install-sh' libtoolize-default: linking file './ltmain.sh' libtoolize-default: putting macros in AC_CONFIG_MACRO_DIRS, 'm4'. libtoolize-default: linking file 'm4/libtool.m4' libtoolize-default: linking file 'm4/ltoptions.m4' libtoolize-default: linking file 'm4/ltsugar.m4' libtoolize-default: linking file 'm4/ltversion.m4' libtoolize-default: linking file 'm4/lt~obsolete.m4' autoreconf-default: configure.ac: not using Intltool autoreconf-default: configure.ac: not using gtk-doc autoreconf-default: running: /usr/bin/autoconf-2.60 --force autoreconf-default: running: /usr/bin/autoheader-2.60 --force autoreconf-default: running: automake --add-missing --force-missing configure.ac:5: installing './ar-lib' configure.ac:5: installing './compile' configure.ac:4: installing './missing' Makefile.am: installing './depcomp' parallel-tests: installing './test-driver' autoreconf-default: Leaving directory `.' + CFLAGS='-pipe -frecord-gcc-switches -Wall -g -O2 -flto=auto' + export CFLAGS + CXXFLAGS='-pipe -frecord-gcc-switches -Wall -g -O2 -flto=auto' + export CXXFLAGS + FFLAGS='-pipe -frecord-gcc-switches -Wall -g -O2 -flto=auto' + export FFLAGS + FCFLAGS='-pipe -frecord-gcc-switches -Wall -g -O2 -flto=auto' + export FCFLAGS + '[' -n '' ']' ++ printf %s '-pipe -frecord-gcc-switches -Wall -g -O2 -flto=auto' ++ sed -r 's/(^|[[:space:]]+)-[^m][^[:space:]]*//g' + ASFLAGS= + export ASFLAGS + export lt_cv_deplibs_check_method=pass_all + lt_cv_deplibs_check_method=pass_all + xargs -ri dirname -- '{}' + xargs -rn1 install -pm755 -- /usr/share/gnu-config/config.sub /usr/share/gnu-config/config.guess + readlink -e -- ./configure + xargs -ri find '{}' -type f '(' -name config.sub -or -name config.guess ')' -printf '%h/\n' + sort -u + ./configure --build=x86_64-alt-linux --host=x86_64-alt-linux --prefix=/usr --exec-prefix=/usr --bindir=/usr/bin --sbindir=/usr/sbin --sysconfdir=/etc --datadir=/usr/share --includedir=/usr/include --libdir=/usr/lib64 --libexecdir=/usr/lib --localstatedir=/var/lib --sharedstatedir=/var/lib --mandir=/usr/share/man --infodir=/usr/share/info --disable-dependency-tracking --disable-silent-rules --without-included-gettext --enable-shared --disable-static configure: WARNING: unrecognized options: --without-included-gettext checking for a BSD-compatible install... /bin/install -c checking whether build environment is sane... yes checking for a thread-safe mkdir -p... /bin/mkdir -p checking for gawk... gawk checking whether make sets $(MAKE)... yes checking whether make supports nested variables... yes checking whether UID '721' is supported by ustar format... yes checking whether GID '721' is supported by ustar format... yes checking how to create a ustar tar archive... gnutar checking whether make supports the include directive... yes (GNU style) checking for x86_64-alt-linux-gcc... x86_64-alt-linux-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 x86_64-alt-linux-gcc accepts -g... yes checking for x86_64-alt-linux-gcc option to accept ISO C89... none needed checking whether x86_64-alt-linux-gcc understands -c and -o together... yes checking dependency style of x86_64-alt-linux-gcc... none checking for x86_64-alt-linux-ar... no checking for x86_64-alt-linux-lib... no checking for x86_64-alt-linux-link... no checking for ar... ar checking the archiver (ar) interface... ar checking build system type... x86_64-alt-linux-gnu checking host system type... x86_64-alt-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 x86_64-alt-linux-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-alt-linux-gnu file names to x86_64-alt-linux-gnu format... func_convert_file_noop checking how to convert x86_64-alt-linux-gnu file names to toolchain format... func_convert_file_noop checking for /usr/bin/ld option to reload object files... -r checking for x86_64-alt-linux-file... no checking for file... file checking for x86_64-alt-linux-objdump... no checking for objdump... objdump checking how to recognize dependent libraries... (cached) pass_all checking for x86_64-alt-linux-dlltool... no checking for dlltool... no checking how to associate runtime and link libraries... printf %s\n checking for x86_64-alt-linux-ar... ar checking for archiver @FILE support... @ checking for x86_64-alt-linux-strip... no checking for strip... strip checking for x86_64-alt-linux-ranlib... no checking for ranlib... ranlib checking command to parse /usr/bin/nm -B output from x86_64-alt-linux-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 x86_64-alt-linux-mt... no checking for mt... no checking if : is a manifest tool... no checking how to run the C preprocessor... x86_64-alt-linux-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 x86_64-alt-linux-gcc supports -fno-rtti -fno-exceptions... no checking for x86_64-alt-linux-gcc option to produce PIC... -fPIC -DPIC checking if x86_64-alt-linux-gcc PIC flag -fPIC -DPIC works... yes checking if x86_64-alt-linux-gcc static flag -static works... no checking if x86_64-alt-linux-gcc supports -c -o file.o... yes checking if x86_64-alt-linux-gcc supports -c -o file.o... (cached) yes checking whether the x86_64-alt-linux-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... no checking for x86_64-alt-linux-gcc... (cached) x86_64-alt-linux-gcc checking whether we are using the GNU C compiler... (cached) yes checking whether x86_64-alt-linux-gcc accepts -g... (cached) yes checking for x86_64-alt-linux-gcc option to accept ISO C89... (cached) none needed checking whether x86_64-alt-linux-gcc understands -c and -o together... (cached) yes checking dependency style of x86_64-alt-linux-gcc... (cached) none checking for x86_64-alt-linux-g++... x86_64-alt-linux-g++ checking whether we are using the GNU C++ compiler... yes checking whether x86_64-alt-linux-g++ accepts -g... yes checking dependency style of x86_64-alt-linux-g++... none checking how to run the C++ preprocessor... x86_64-alt-linux-g++ -E checking for ld used by x86_64-alt-linux-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 x86_64-alt-linux-g++ linker (/usr/bin/ld -m elf_x86_64) supports shared libraries... yes checking for x86_64-alt-linux-g++ option to produce PIC... -fPIC -DPIC checking if x86_64-alt-linux-g++ PIC flag -fPIC -DPIC works... yes checking if x86_64-alt-linux-g++ static flag -static works... no checking if x86_64-alt-linux-g++ supports -c -o file.o... yes checking if x86_64-alt-linux-g++ supports -c -o file.o... (cached) yes checking whether the x86_64-alt-linux-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 whether x86_64-alt-linux-g++ supports C++11 features by default... yes checking for long long... yes checking size of void *... 8 checking size of int... 4 checking size of long... 8 checking for boostlib >= 1.58.0 (105800)... yes checking whether the Boost::Unit_Test_Framework library is available... yes checking for x86_64-alt-linux-pkg-config... no checking for pkg-config... /usr/bin/pkg-config checking pkg-config is at least version 0.9.0... yes checking for m4ri... yes checking for M4RI CFLAGS... -mmmx -msse -msse2 checking for libpng... no checking for png_create_write_struct in -lpng... no checking for png_create_write_struct in -lpng14... no checking for png_create_write_struct in -lpng12... no checking for png_create_write_struct in -lpng10... no checking for gdlib... yes checking for gdImagePng in -lgd... yes checking that generated files are newer than configure... done configure: creating ./config.status config.status: creating Makefile config.status: creating cudd/Makefile config.status: creating groebner/Makefile config.status: creating groebner/include/Makefile config.status: creating groebner/src/Makefile config.status: creating libbrial/Makefile config.status: creating libbrial/include/Makefile config.status: creating libbrial/src/Makefile config.status: creating tests/Makefile config.status: creating config_dummy.h config.status: creating libbrial/include/polybori/config.h config.status: executing depfiles commands config.status: executing libtool commands configure: WARNING: unrecognized options: --without-included-gettext + make -j8 make all-recursive Making all in cudd make[2]: Entering directory '/usr/src/RPM/BUILD/brial-1.2.12/cudd' /bin/sh ../libtool --tag=CC --mode=compile x86_64-alt-linux-gcc -DHAVE_CONFIG_H -I. -I.. -I../libbrial/include/polybori -I../groebner/include -I../libbrial/include -I../libbrial/include -DPBORI_NDEBUG -pipe -frecord-gcc-switches -Wall -g -O2 -flto=auto -c -o cuddInit.lo cuddInit.c libtool: compile: x86_64-alt-linux-gcc -DHAVE_CONFIG_H -I. -I.. -I../libbrial/include/polybori -I../groebner/include -I../libbrial/include -I../libbrial/include -DPBORI_NDEBUG -pipe -frecord-gcc-switches -Wall -g -O2 -flto=auto -c cuddInit.c -fPIC -DPIC -o .libs/cuddInit.o make[2]: Leaving directory '/usr/src/RPM/BUILD/brial-1.2.12/cudd' make[2]: Entering directory '/usr/src/RPM/BUILD/brial-1.2.12/cudd' /bin/sh ../libtool --tag=CC --mode=compile x86_64-alt-linux-gcc -DHAVE_CONFIG_H -I. -I.. -I../libbrial/include/polybori -I../groebner/include -I../libbrial/include -I../libbrial/include -DPBORI_NDEBUG -pipe -frecord-gcc-switches -Wall -g -O2 -flto=auto -c -o cuddZddFuncs.lo cuddZddFuncs.c libtool: compile: x86_64-alt-linux-gcc -DHAVE_CONFIG_H -I. -I.. -I../libbrial/include/polybori -I../groebner/include -I../libbrial/include -I../libbrial/include -DPBORI_NDEBUG -pipe -frecord-gcc-switches -Wall -g -O2 -flto=auto -c cuddZddFuncs.c -fPIC -DPIC -o .libs/cuddZddFuncs.o make[2]: Leaving directory '/usr/src/RPM/BUILD/brial-1.2.12/cudd' make[2]: Entering directory '/usr/src/RPM/BUILD/brial-1.2.12/cudd' /bin/sh ../libtool --tag=CC --mode=compile x86_64-alt-linux-gcc -DHAVE_CONFIG_H -I. -I.. -I../libbrial/include/polybori -I../groebner/include -I../libbrial/include -I../libbrial/include -DPBORI_NDEBUG -pipe -frecord-gcc-switches -Wall -g -O2 -flto=auto -c -o cuddCache.lo cuddCache.c libtool: compile: x86_64-alt-linux-gcc -DHAVE_CONFIG_H -I. -I.. -I../libbrial/include/polybori -I../groebner/include -I../libbrial/include -I../libbrial/include -DPBORI_NDEBUG -pipe -frecord-gcc-switches -Wall -g -O2 -flto=auto -c cuddCache.c -fPIC -DPIC -o .libs/cuddCache.o make[2]: Leaving directory '/usr/src/RPM/BUILD/brial-1.2.12/cudd' make[2]: Entering directory '/usr/src/RPM/BUILD/brial-1.2.12/cudd' /bin/sh ../libtool --tag=CC --mode=compile x86_64-alt-linux-gcc -DHAVE_CONFIG_H -I. -I.. -I../libbrial/include/polybori -I../groebner/include -I../libbrial/include -I../libbrial/include -DPBORI_NDEBUG -pipe -frecord-gcc-switches -Wall -g -O2 -flto=auto -c -o cuddRef.lo cuddRef.c libtool: compile: x86_64-alt-linux-gcc -DHAVE_CONFIG_H -I. -I.. -I../libbrial/include/polybori -I../groebner/include -I../libbrial/include -I../libbrial/include -DPBORI_NDEBUG -pipe -frecord-gcc-switches -Wall -g -O2 -flto=auto -c cuddRef.c -fPIC -DPIC -o .libs/cuddRef.o make[2]: Leaving directory '/usr/src/RPM/BUILD/brial-1.2.12/cudd' make[2]: Entering directory '/usr/src/RPM/BUILD/brial-1.2.12/cudd' /bin/sh ../libtool --tag=CC --mode=compile x86_64-alt-linux-gcc -DHAVE_CONFIG_H -I. -I.. -I../libbrial/include/polybori -I../groebner/include -I../libbrial/include -I../libbrial/include -DPBORI_NDEBUG -pipe -frecord-gcc-switches -Wall -g -O2 -flto=auto -c -o cuddLCache.lo cuddLCache.c libtool: compile: x86_64-alt-linux-gcc -DHAVE_CONFIG_H -I. -I.. -I../libbrial/include/polybori -I../groebner/include -I../libbrial/include -I../libbrial/include -DPBORI_NDEBUG -pipe -frecord-gcc-switches -Wall -g -O2 -flto=auto -c cuddLCache.c -fPIC -DPIC -o .libs/cuddLCache.o make[2]: Leaving directory '/usr/src/RPM/BUILD/brial-1.2.12/cudd' make[2]: Entering directory '/usr/src/RPM/BUILD/brial-1.2.12/cudd' /bin/sh ../libtool --tag=CC --mode=compile x86_64-alt-linux-gcc -DHAVE_CONFIG_H -I. -I.. -I../libbrial/include/polybori -I../groebner/include -I../libbrial/include -I../libbrial/include -DPBORI_NDEBUG -pipe -frecord-gcc-switches -Wall -g -O2 -flto=auto -c -o cuddZddSetop.lo cuddZddSetop.c libtool: compile: x86_64-alt-linux-gcc -DHAVE_CONFIG_H -I. -I.. -I../libbrial/include/polybori -I../groebner/include -I../libbrial/include -I../libbrial/include -DPBORI_NDEBUG -pipe -frecord-gcc-switches -Wall -g -O2 -flto=auto -c cuddZddSetop.c -fPIC -DPIC -o .libs/cuddZddSetop.o make[2]: Leaving directory '/usr/src/RPM/BUILD/brial-1.2.12/cudd' make[2]: Entering directory '/usr/src/RPM/BUILD/brial-1.2.12/cudd' /bin/sh ../libtool --tag=CC --mode=compile x86_64-alt-linux-gcc -DHAVE_CONFIG_H -I. -I.. -I../libbrial/include/polybori -I../groebner/include -I../libbrial/include -I../libbrial/include -DPBORI_NDEBUG -pipe -frecord-gcc-switches -Wall -g -O2 -flto=auto -c -o cuddAPI.lo cuddAPI.c libtool: compile: x86_64-alt-linux-gcc -DHAVE_CONFIG_H -I. -I.. -I../libbrial/include/polybori -I../groebner/include -I../libbrial/include -I../libbrial/include -DPBORI_NDEBUG -pipe -frecord-gcc-switches -Wall -g -O2 -flto=auto -c cuddAPI.c -fPIC -DPIC -o .libs/cuddAPI.o make[2]: Leaving directory '/usr/src/RPM/BUILD/brial-1.2.12/cudd' make[2]: Entering directory '/usr/src/RPM/BUILD/brial-1.2.12/cudd' /bin/sh ../libtool --tag=CC --mode=compile x86_64-alt-linux-gcc -DHAVE_CONFIG_H -I. -I.. -I../libbrial/include/polybori -I../groebner/include -I../libbrial/include -I../libbrial/include -DPBORI_NDEBUG -pipe -frecord-gcc-switches -Wall -g -O2 -flto=auto -c -o cuddTable.lo cuddTable.c libtool: compile: x86_64-alt-linux-gcc -DHAVE_CONFIG_H -I. -I.. -I../libbrial/include/polybori -I../groebner/include -I../libbrial/include -I../libbrial/include -DPBORI_NDEBUG -pipe -frecord-gcc-switches -Wall -g -O2 -flto=auto -c cuddTable.c -fPIC -DPIC -o .libs/cuddTable.o make[2]: Leaving directory '/usr/src/RPM/BUILD/brial-1.2.12/cudd' make[2]: Entering directory '/usr/src/RPM/BUILD/brial-1.2.12/cudd' /bin/sh ../libtool --tag=CC --mode=link x86_64-alt-linux-gcc -pipe -frecord-gcc-switches -Wall -g -O2 -flto=auto -o libcudd.la cuddAPI.lo cuddCache.lo cuddInit.lo cuddLCache.lo cuddRef.lo cuddTable.lo cuddZddFuncs.lo cuddZddSetop.lo libtool: link: ar cr .libs/libcudd.a .libs/cuddAPI.o .libs/cuddCache.o .libs/cuddInit.o .libs/cuddLCache.o .libs/cuddRef.o .libs/cuddTable.o .libs/cuddZddFuncs.o .libs/cuddZddSetop.o libtool: link: ranlib .libs/libcudd.a libtool: link: ( cd ".libs" && rm -f "libcudd.la" && ln -s "../libcudd.la" "libcudd.la" ) make[2]: Leaving directory '/usr/src/RPM/BUILD/brial-1.2.12/cudd' Making all in libbrial Making all in src make[3]: Entering directory '/usr/src/RPM/BUILD/brial-1.2.12/libbrial/src' /bin/sh ../../libtool --tag=CXX --mode=compile x86_64-alt-linux-g++ -DHAVE_CONFIG_H -I. -I../.. -I../../libbrial/include/polybori -I../../groebner/include -I../../libbrial/include -I../../libbrial/include -DPBORI_NDEBUG -ftemplate-depth-100 -pipe -frecord-gcc-switches -Wall -g -O2 -flto=auto -c -o BooleEnv.lo BooleEnv.cc libtool: compile: x86_64-alt-linux-g++ -DHAVE_CONFIG_H -I. -I../.. -I../../libbrial/include/polybori -I../../groebner/include -I../../libbrial/include -I../../libbrial/include -DPBORI_NDEBUG -ftemplate-depth-100 -pipe -frecord-gcc-switches -Wall -g -O2 -flto=auto -c BooleEnv.cc -fPIC -DPIC -o .libs/BooleEnv.o make[3]: Leaving directory '/usr/src/RPM/BUILD/brial-1.2.12/libbrial/src' make[3]: Entering directory '/usr/src/RPM/BUILD/brial-1.2.12/libbrial/src' /bin/sh ../../libtool --tag=CXX --mode=compile x86_64-alt-linux-g++ -DHAVE_CONFIG_H -I. -I../.. -I../../libbrial/include/polybori -I../../groebner/include -I../../libbrial/include -I../../libbrial/include -DPBORI_NDEBUG -ftemplate-depth-100 -pipe -frecord-gcc-switches -Wall -g -O2 -flto=auto -c -o BooleMonomial.lo BooleMonomial.cc libtool: compile: x86_64-alt-linux-g++ -DHAVE_CONFIG_H -I. -I../.. -I../../libbrial/include/polybori -I../../groebner/include -I../../libbrial/include -I../../libbrial/include -DPBORI_NDEBUG -ftemplate-depth-100 -pipe -frecord-gcc-switches -Wall -g -O2 -flto=auto -c BooleMonomial.cc -fPIC -DPIC -o .libs/BooleMonomial.o make[3]: Leaving directory '/usr/src/RPM/BUILD/brial-1.2.12/libbrial/src' make[3]: Entering directory '/usr/src/RPM/BUILD/brial-1.2.12/libbrial/src' /bin/sh ../../libtool --tag=CXX --mode=compile x86_64-alt-linux-g++ -DHAVE_CONFIG_H -I. -I../.. -I../../libbrial/include/polybori -I../../groebner/include -I../../libbrial/include -I../../libbrial/include -DPBORI_NDEBUG -ftemplate-depth-100 -pipe -frecord-gcc-switches -Wall -g -O2 -flto=auto -c -o BooleExponent.lo BooleExponent.cc libtool: compile: x86_64-alt-linux-g++ -DHAVE_CONFIG_H -I. -I../.. -I../../libbrial/include/polybori -I../../groebner/include -I../../libbrial/include -I../../libbrial/include -DPBORI_NDEBUG -ftemplate-depth-100 -pipe -frecord-gcc-switches -Wall -g -O2 -flto=auto -c BooleExponent.cc -fPIC -DPIC -o .libs/BooleExponent.o make[3]: Leaving directory '/usr/src/RPM/BUILD/brial-1.2.12/libbrial/src' make[3]: Entering directory '/usr/src/RPM/BUILD/brial-1.2.12/libbrial/src' /bin/sh ../../libtool --tag=CXX --mode=compile x86_64-alt-linux-g++ -DHAVE_CONFIG_H -I. -I../.. -I../../libbrial/include/polybori -I../../groebner/include -I../../libbrial/include -I../../libbrial/include -DPBORI_NDEBUG -ftemplate-depth-100 -pipe -frecord-gcc-switches -Wall -g -O2 -flto=auto -c -o BlockDegLexOrder.lo BlockDegLexOrder.cc libtool: compile: x86_64-alt-linux-g++ -DHAVE_CONFIG_H -I. -I../.. -I../../libbrial/include/polybori -I../../groebner/include -I../../libbrial/include -I../../libbrial/include -DPBORI_NDEBUG -ftemplate-depth-100 -pipe -frecord-gcc-switches -Wall -g -O2 -flto=auto -c BlockDegLexOrder.cc -fPIC -DPIC -o .libs/BlockDegLexOrder.o make[3]: Leaving directory '/usr/src/RPM/BUILD/brial-1.2.12/libbrial/src' make[3]: Entering directory '/usr/src/RPM/BUILD/brial-1.2.12/libbrial/src' /bin/sh ../../libtool --tag=CXX --mode=compile x86_64-alt-linux-g++ -DHAVE_CONFIG_H -I. -I../.. -I../../libbrial/include/polybori -I../../groebner/include -I../../libbrial/include -I../../libbrial/include -DPBORI_NDEBUG -ftemplate-depth-100 -pipe -frecord-gcc-switches -Wall -g -O2 -flto=auto -c -o BlockDegRevLexAscOrder.lo BlockDegRevLexAscOrder.cc libtool: compile: x86_64-alt-linux-g++ -DHAVE_CONFIG_H -I. -I../.. -I../../libbrial/include/polybori -I../../groebner/include -I../../libbrial/include -I../../libbrial/include -DPBORI_NDEBUG -ftemplate-depth-100 -pipe -frecord-gcc-switches -Wall -g -O2 -flto=auto -c BlockDegRevLexAscOrder.cc -fPIC -DPIC -o .libs/BlockDegRevLexAscOrder.o make[3]: Leaving directory '/usr/src/RPM/BUILD/brial-1.2.12/libbrial/src' make[3]: Entering directory '/usr/src/RPM/BUILD/brial-1.2.12/libbrial/src' /bin/sh ../../libtool --tag=CXX --mode=compile x86_64-alt-linux-g++ -DHAVE_CONFIG_H -I. -I../.. -I../../libbrial/include/polybori -I../../groebner/include -I../../libbrial/include -I../../libbrial/include -DPBORI_NDEBUG -ftemplate-depth-100 -pipe -frecord-gcc-switches -Wall -g -O2 -flto=auto -c -o BoolePolynomial.lo BoolePolynomial.cc libtool: compile: x86_64-alt-linux-g++ -DHAVE_CONFIG_H -I. -I../.. -I../../libbrial/include/polybori -I../../groebner/include -I../../libbrial/include -I../../libbrial/include -DPBORI_NDEBUG -ftemplate-depth-100 -pipe -frecord-gcc-switches -Wall -g -O2 -flto=auto -c BoolePolynomial.cc -fPIC -DPIC -o .libs/BoolePolynomial.o make[3]: Leaving directory '/usr/src/RPM/BUILD/brial-1.2.12/libbrial/src' make[3]: Entering directory '/usr/src/RPM/BUILD/brial-1.2.12/libbrial/src' /bin/sh ../../libtool --tag=CXX --mode=compile x86_64-alt-linux-g++ -DHAVE_CONFIG_H -I. -I../.. -I../../libbrial/include/polybori -I../../groebner/include -I../../libbrial/include -I../../libbrial/include -DPBORI_NDEBUG -ftemplate-depth-100 -pipe -frecord-gcc-switches -Wall -g -O2 -flto=auto -c -o BoolePolyRing.lo BoolePolyRing.cc libtool: compile: x86_64-alt-linux-g++ -DHAVE_CONFIG_H -I. -I../.. -I../../libbrial/include/polybori -I../../groebner/include -I../../libbrial/include -I../../libbrial/include -DPBORI_NDEBUG -ftemplate-depth-100 -pipe -frecord-gcc-switches -Wall -g -O2 -flto=auto -c BoolePolyRing.cc -fPIC -DPIC -o .libs/BoolePolyRing.o make[3]: Leaving directory '/usr/src/RPM/BUILD/brial-1.2.12/libbrial/src' make[3]: Entering directory '/usr/src/RPM/BUILD/brial-1.2.12/libbrial/src' /bin/sh ../../libtool --tag=CXX --mode=compile x86_64-alt-linux-g++ -DHAVE_CONFIG_H -I. -I../.. -I../../libbrial/include/polybori -I../../groebner/include -I../../libbrial/include -I../../libbrial/include -DPBORI_NDEBUG -ftemplate-depth-100 -pipe -frecord-gcc-switches -Wall -g -O2 -flto=auto -c -o CCheckedIdx.lo CCheckedIdx.cc libtool: compile: x86_64-alt-linux-g++ -DHAVE_CONFIG_H -I. -I../.. -I../../libbrial/include/polybori -I../../groebner/include -I../../libbrial/include -I../../libbrial/include -DPBORI_NDEBUG -ftemplate-depth-100 -pipe -frecord-gcc-switches -Wall -g -O2 -flto=auto -c CCheckedIdx.cc -fPIC -DPIC -o .libs/CCheckedIdx.o make[3]: Leaving directory '/usr/src/RPM/BUILD/brial-1.2.12/libbrial/src' make[3]: Entering directory '/usr/src/RPM/BUILD/brial-1.2.12/libbrial/src' /bin/sh ../../libtool --tag=CXX --mode=compile x86_64-alt-linux-g++ -DHAVE_CONFIG_H -I. -I../.. -I../../libbrial/include/polybori -I../../groebner/include -I../../libbrial/include -I../../libbrial/include -DPBORI_NDEBUG -ftemplate-depth-100 -pipe -frecord-gcc-switches -Wall -g -O2 -flto=auto -c -o CErrorInfo.lo CErrorInfo.cc libtool: compile: x86_64-alt-linux-g++ -DHAVE_CONFIG_H -I. -I../.. -I../../libbrial/include/polybori -I../../groebner/include -I../../libbrial/include -I../../libbrial/include -DPBORI_NDEBUG -ftemplate-depth-100 -pipe -frecord-gcc-switches -Wall -g -O2 -flto=auto -c CErrorInfo.cc -fPIC -DPIC -o .libs/CErrorInfo.o make[3]: Leaving directory '/usr/src/RPM/BUILD/brial-1.2.12/libbrial/src' make[3]: Entering directory '/usr/src/RPM/BUILD/brial-1.2.12/libbrial/src' /bin/sh ../../libtool --tag=CXX --mode=compile x86_64-alt-linux-g++ -DHAVE_CONFIG_H -I. -I../.. -I../../libbrial/include/polybori -I../../groebner/include -I../../libbrial/include -I../../libbrial/include -DPBORI_NDEBUG -ftemplate-depth-100 -pipe -frecord-gcc-switches -Wall -g -O2 -flto=auto -c -o BooleSet.lo BooleSet.cc libtool: compile: x86_64-alt-linux-g++ -DHAVE_CONFIG_H -I. -I../.. -I../../libbrial/include/polybori -I../../groebner/include -I../../libbrial/include -I../../libbrial/include -DPBORI_NDEBUG -ftemplate-depth-100 -pipe -frecord-gcc-switches -Wall -g -O2 -flto=auto -c BooleSet.cc -fPIC -DPIC -o .libs/BooleSet.o make[3]: Leaving directory '/usr/src/RPM/BUILD/brial-1.2.12/libbrial/src' make[3]: Entering directory '/usr/src/RPM/BUILD/brial-1.2.12/libbrial/src' /bin/sh ../../libtool --tag=CXX --mode=compile x86_64-alt-linux-g++ -DHAVE_CONFIG_H -I. -I../.. -I../../libbrial/include/polybori -I../../groebner/include -I../../libbrial/include -I../../libbrial/include -DPBORI_NDEBUG -ftemplate-depth-100 -pipe -frecord-gcc-switches -Wall -g -O2 -flto=auto -c -o BooleVariable.lo BooleVariable.cc libtool: compile: x86_64-alt-linux-g++ -DHAVE_CONFIG_H -I. -I../.. -I../../libbrial/include/polybori -I../../groebner/include -I../../libbrial/include -I../../libbrial/include -DPBORI_NDEBUG -ftemplate-depth-100 -pipe -frecord-gcc-switches -Wall -g -O2 -flto=auto -c BooleVariable.cc -fPIC -DPIC -o .libs/BooleVariable.o make[3]: Leaving directory '/usr/src/RPM/BUILD/brial-1.2.12/libbrial/src' make[3]: Entering directory '/usr/src/RPM/BUILD/brial-1.2.12/libbrial/src' /bin/sh ../../libtool --tag=CXX --mode=compile x86_64-alt-linux-g++ -DHAVE_CONFIG_H -I. -I../.. -I../../libbrial/include/polybori -I../../groebner/include -I../../libbrial/include -I../../libbrial/include -DPBORI_NDEBUG -ftemplate-depth-100 -pipe -frecord-gcc-switches -Wall -g -O2 -flto=auto -c -o CCuddFirstIter.lo CCuddFirstIter.cc libtool: compile: x86_64-alt-linux-g++ -DHAVE_CONFIG_H -I. -I../.. -I../../libbrial/include/polybori -I../../groebner/include -I../../libbrial/include -I../../libbrial/include -DPBORI_NDEBUG -ftemplate-depth-100 -pipe -frecord-gcc-switches -Wall -g -O2 -flto=auto -c CCuddFirstIter.cc -fPIC -DPIC -o .libs/CCuddFirstIter.o make[3]: Leaving directory '/usr/src/RPM/BUILD/brial-1.2.12/libbrial/src' make[3]: Entering directory '/usr/src/RPM/BUILD/brial-1.2.12/libbrial/src' /bin/sh ../../libtool --tag=CXX --mode=compile x86_64-alt-linux-g++ -DHAVE_CONFIG_H -I. -I../.. -I../../libbrial/include/polybori -I../../groebner/include -I../../libbrial/include -I../../libbrial/include -DPBORI_NDEBUG -ftemplate-depth-100 -pipe -frecord-gcc-switches -Wall -g -O2 -flto=auto -c -o pbori_routines.lo pbori_routines.cc libtool: compile: x86_64-alt-linux-g++ -DHAVE_CONFIG_H -I. -I../.. -I../../libbrial/include/polybori -I../../groebner/include -I../../libbrial/include -I../../libbrial/include -DPBORI_NDEBUG -ftemplate-depth-100 -pipe -frecord-gcc-switches -Wall -g -O2 -flto=auto -c pbori_routines.cc -fPIC -DPIC -o .libs/pbori_routines.o make[3]: Leaving directory '/usr/src/RPM/BUILD/brial-1.2.12/libbrial/src' make[3]: Entering directory '/usr/src/RPM/BUILD/brial-1.2.12/libbrial/src' /bin/sh ../../libtool --tag=CXX --mode=compile x86_64-alt-linux-g++ -DHAVE_CONFIG_H -I. -I../.. -I../../libbrial/include/polybori -I../../groebner/include -I../../libbrial/include -I../../libbrial/include -DPBORI_NDEBUG -ftemplate-depth-100 -pipe -frecord-gcc-switches -Wall -g -O2 -flto=auto -c -o CCuddLastIter.lo CCuddLastIter.cc libtool: compile: x86_64-alt-linux-g++ -DHAVE_CONFIG_H -I. -I../.. -I../../libbrial/include/polybori -I../../groebner/include -I../../libbrial/include -I../../libbrial/include -DPBORI_NDEBUG -ftemplate-depth-100 -pipe -frecord-gcc-switches -Wall -g -O2 -flto=auto -c CCuddLastIter.cc -fPIC -DPIC -o .libs/CCuddLastIter.o make[3]: Leaving directory '/usr/src/RPM/BUILD/brial-1.2.12/libbrial/src' make[3]: Entering directory '/usr/src/RPM/BUILD/brial-1.2.12/libbrial/src' /bin/sh ../../libtool --tag=CXX --mode=compile x86_64-alt-linux-g++ -DHAVE_CONFIG_H -I. -I../.. -I../../libbrial/include/polybori -I../../groebner/include -I../../libbrial/include -I../../libbrial/include -DPBORI_NDEBUG -ftemplate-depth-100 -pipe -frecord-gcc-switches -Wall -g -O2 -flto=auto -c -o COrderingBase.lo COrderingBase.cc libtool: compile: x86_64-alt-linux-g++ -DHAVE_CONFIG_H -I. -I../.. -I../../libbrial/include/polybori -I../../groebner/include -I../../libbrial/include -I../../libbrial/include -DPBORI_NDEBUG -ftemplate-depth-100 -pipe -frecord-gcc-switches -Wall -g -O2 -flto=auto -c COrderingBase.cc -fPIC -DPIC -o .libs/COrderingBase.o make[3]: Leaving directory '/usr/src/RPM/BUILD/brial-1.2.12/libbrial/src' make[3]: Entering directory '/usr/src/RPM/BUILD/brial-1.2.12/libbrial/src' /bin/sh ../../libtool --tag=CXX --mode=compile x86_64-alt-linux-g++ -DHAVE_CONFIG_H -I. -I../.. -I../../libbrial/include/polybori -I../../groebner/include -I../../libbrial/include -I../../libbrial/include -DPBORI_NDEBUG -ftemplate-depth-100 -pipe -frecord-gcc-switches -Wall -g -O2 -flto=auto -c -o PBoRiError.lo PBoRiError.cc libtool: compile: x86_64-alt-linux-g++ -DHAVE_CONFIG_H -I. -I../.. -I../../libbrial/include/polybori -I../../groebner/include -I../../libbrial/include -I../../libbrial/include -DPBORI_NDEBUG -ftemplate-depth-100 -pipe -frecord-gcc-switches -Wall -g -O2 -flto=auto -c PBoRiError.cc -fPIC -DPIC -o .libs/PBoRiError.o make[3]: Leaving directory '/usr/src/RPM/BUILD/brial-1.2.12/libbrial/src' make[3]: Entering directory '/usr/src/RPM/BUILD/brial-1.2.12/libbrial/src' /bin/sh ../../libtool --tag=CXX --mode=compile x86_64-alt-linux-g++ -DHAVE_CONFIG_H -I. -I../.. -I../../libbrial/include/polybori -I../../groebner/include -I../../libbrial/include -I../../libbrial/include -DPBORI_NDEBUG -ftemplate-depth-100 -pipe -frecord-gcc-switches -Wall -g -O2 -flto=auto -c -o LexOrder.lo LexOrder.cc libtool: compile: x86_64-alt-linux-g++ -DHAVE_CONFIG_H -I. -I../.. -I../../libbrial/include/polybori -I../../groebner/include -I../../libbrial/include -I../../libbrial/include -DPBORI_NDEBUG -ftemplate-depth-100 -pipe -frecord-gcc-switches -Wall -g -O2 -flto=auto -c LexOrder.cc -fPIC -DPIC -o .libs/LexOrder.o make[3]: Leaving directory '/usr/src/RPM/BUILD/brial-1.2.12/libbrial/src' make[3]: Entering directory '/usr/src/RPM/BUILD/brial-1.2.12/libbrial/src' /bin/sh ../../libtool --tag=CXX --mode=compile x86_64-alt-linux-g++ -DHAVE_CONFIG_H -I. -I../.. -I../../libbrial/include/polybori -I../../groebner/include -I../../libbrial/include -I../../libbrial/include -DPBORI_NDEBUG -ftemplate-depth-100 -pipe -frecord-gcc-switches -Wall -g -O2 -flto=auto -c -o DegRevLexAscOrder.lo DegRevLexAscOrder.cc libtool: compile: x86_64-alt-linux-g++ -DHAVE_CONFIG_H -I. -I../.. -I../../libbrial/include/polybori -I../../groebner/include -I../../libbrial/include -I../../libbrial/include -DPBORI_NDEBUG -ftemplate-depth-100 -pipe -frecord-gcc-switches -Wall -g -O2 -flto=auto -c DegRevLexAscOrder.cc -fPIC -DPIC -o .libs/DegRevLexAscOrder.o make[3]: Leaving directory '/usr/src/RPM/BUILD/brial-1.2.12/libbrial/src' make[3]: Entering directory '/usr/src/RPM/BUILD/brial-1.2.12/libbrial/src' /bin/sh ../../libtool --tag=CXX --mode=compile x86_64-alt-linux-g++ -DHAVE_CONFIG_H -I. -I../.. -I../../libbrial/include/polybori -I../../groebner/include -I../../libbrial/include -I../../libbrial/include -DPBORI_NDEBUG -ftemplate-depth-100 -pipe -frecord-gcc-switches -Wall -g -O2 -flto=auto -c -o DegLexOrder.lo DegLexOrder.cc libtool: compile: x86_64-alt-linux-g++ -DHAVE_CONFIG_H -I. -I../.. -I../../libbrial/include/polybori -I../../groebner/include -I../../libbrial/include -I../../libbrial/include -DPBORI_NDEBUG -ftemplate-depth-100 -pipe -frecord-gcc-switches -Wall -g -O2 -flto=auto -c DegLexOrder.cc -fPIC -DPIC -o .libs/DegLexOrder.o make[3]: Leaving directory '/usr/src/RPM/BUILD/brial-1.2.12/libbrial/src' make[3]: Entering directory '/usr/src/RPM/BUILD/brial-1.2.12/libbrial/src' /bin/sh ../../libtool --tag=CXX --mode=link x86_64-alt-linux-g++ -ftemplate-depth-100 -pipe -frecord-gcc-switches -Wall -g -O2 -flto=auto -o libbrial_base.la BlockDegLexOrder.lo BlockDegRevLexAscOrder.lo BooleEnv.lo BooleExponent.lo BooleMonomial.lo BoolePolynomial.lo BoolePolyRing.lo BooleSet.lo BooleVariable.lo CCheckedIdx.lo CCuddFirstIter.lo CCuddLastIter.lo CErrorInfo.lo COrderingBase.lo DegLexOrder.lo DegRevLexAscOrder.lo LexOrder.lo pbori_routines.lo PBoRiError.lo libtool: link: ar cr .libs/libbrial_base.a .libs/BlockDegLexOrder.o .libs/BlockDegRevLexAscOrder.o .libs/BooleEnv.o .libs/BooleExponent.o .libs/BooleMonomial.o .libs/BoolePolynomial.o .libs/BoolePolyRing.o .libs/BooleSet.o .libs/BooleVariable.o .libs/CCheckedIdx.o .libs/CCuddFirstIter.o .libs/CCuddLastIter.o .libs/CErrorInfo.o .libs/COrderingBase.o .libs/DegLexOrder.o .libs/DegRevLexAscOrder.o .libs/LexOrder.o .libs/pbori_routines.o .libs/PBoRiError.o libtool: link: ranlib .libs/libbrial_base.a libtool: link: ( cd ".libs" && rm -f "libbrial_base.la" && ln -s "../libbrial_base.la" "libbrial_base.la" ) make[3]: Leaving directory '/usr/src/RPM/BUILD/brial-1.2.12/libbrial/src' Making all in include make[3]: Nothing to be done for 'all'. make[3]: Nothing to be done for 'all-am'. Making all in . make[2]: Entering directory '/usr/src/RPM/BUILD/brial-1.2.12' /bin/sh ./libtool --tag=CXX --mode=link x86_64-alt-linux-g++ -pipe -frecord-gcc-switches -Wall -g -O2 -flto=auto -no-undefined -version-info 3:7:0 -o libbrial.la -rpath /usr/lib64 cudd/libcudd.la libbrial/src/libbrial_base.la libtool: link: x86_64-alt-linux-g++ -fPIC -DPIC -shared -nostdlib /usr/lib64/gcc/x86_64-alt-linux/12/../../../../lib64/crti.o /usr/lib64/gcc/x86_64-alt-linux/12/crtbeginS.o -Wl,--whole-archive cudd/.libs/libcudd.a libbrial/src/.libs/libbrial_base.a -Wl,--no-whole-archive -L/usr/lib64/gcc/x86_64-alt-linux/12 -L/usr/lib64/gcc/x86_64-alt-linux/12/../../../../lib64 -L/lib/../lib64 -L/usr/lib/../lib64 -L/usr/lib64/gcc/x86_64-alt-linux/12/../../.. -lstdc++ -lm -lc -lgcc_s /usr/lib64/gcc/x86_64-alt-linux/12/crtendS.o /usr/lib64/gcc/x86_64-alt-linux/12/../../../../lib64/crtn.o -g -O2 -flto=auto -Wl,-soname -Wl,libbrial.so.3 -o .libs/libbrial.so.3.0.7 libtool: link: (cd ".libs" && rm -f "libbrial.so.3" && ln -s "libbrial.so.3.0.7" "libbrial.so.3") libtool: link: (cd ".libs" && rm -f "libbrial.so" && ln -s "libbrial.so.3.0.7" "libbrial.so") libtool: link: ( cd ".libs" && rm -f "libbrial.la" && ln -s "../libbrial.la" "libbrial.la" ) make[2]: Leaving directory '/usr/src/RPM/BUILD/brial-1.2.12' Making all in groebner Making all in src make[3]: Entering directory '/usr/src/RPM/BUILD/brial-1.2.12/groebner/src' /bin/sh ../../libtool --tag=CXX --mode=compile x86_64-alt-linux-g++ -DHAVE_CONFIG_H -I. -I../.. -I../../libbrial/include/polybori -I../../groebner/include -I../../libbrial/include -I../../libbrial/include -DPBORI_NDEBUG -ftemplate-depth-100 -mmmx -msse -msse2 -pipe -frecord-gcc-switches -Wall -g -O2 -flto=auto -c -o libbrial_groebner_la-dlex4data.lo `test -f 'dlex4data.cc' || echo './'`dlex4data.cc libtool: compile: x86_64-alt-linux-g++ -DHAVE_CONFIG_H -I. -I../.. -I../../libbrial/include/polybori -I../../groebner/include -I../../libbrial/include -I../../libbrial/include -DPBORI_NDEBUG -ftemplate-depth-100 -mmmx -msse -msse2 -pipe -frecord-gcc-switches -Wall -g -O2 -flto=auto -c dlex4data.cc -fPIC -DPIC -o .libs/libbrial_groebner_la-dlex4data.o make[3]: Leaving directory '/usr/src/RPM/BUILD/brial-1.2.12/groebner/src' make[3]: Entering directory '/usr/src/RPM/BUILD/brial-1.2.12/groebner/src' /bin/sh ../../libtool --tag=CXX --mode=compile x86_64-alt-linux-g++ -DHAVE_CONFIG_H -I. -I../.. -I../../libbrial/include/polybori -I../../groebner/include -I../../libbrial/include -I../../libbrial/include -DPBORI_NDEBUG -ftemplate-depth-100 -mmmx -msse -msse2 -pipe -frecord-gcc-switches -Wall -g -O2 -flto=auto -c -o libbrial_groebner_la-groebner.lo `test -f 'groebner.cc' || echo './'`groebner.cc libtool: compile: x86_64-alt-linux-g++ -DHAVE_CONFIG_H -I. -I../.. -I../../libbrial/include/polybori -I../../groebner/include -I../../libbrial/include -I../../libbrial/include -DPBORI_NDEBUG -ftemplate-depth-100 -mmmx -msse -msse2 -pipe -frecord-gcc-switches -Wall -g -O2 -flto=auto -c groebner.cc -fPIC -DPIC -o .libs/libbrial_groebner_la-groebner.o make[3]: Leaving directory '/usr/src/RPM/BUILD/brial-1.2.12/groebner/src' make[3]: Entering directory '/usr/src/RPM/BUILD/brial-1.2.12/groebner/src' /bin/sh ../../libtool --tag=CXX --mode=compile x86_64-alt-linux-g++ -DHAVE_CONFIG_H -I. -I../.. -I../../libbrial/include/polybori -I../../groebner/include -I../../libbrial/include -I../../libbrial/include -DPBORI_NDEBUG -ftemplate-depth-100 -mmmx -msse -msse2 -pipe -frecord-gcc-switches -Wall -g -O2 -flto=auto -c -o libbrial_groebner_la-dp_asc4data.lo `test -f 'dp_asc4data.cc' || echo './'`dp_asc4data.cc libtool: compile: x86_64-alt-linux-g++ -DHAVE_CONFIG_H -I. -I../.. -I../../libbrial/include/polybori -I../../groebner/include -I../../libbrial/include -I../../libbrial/include -DPBORI_NDEBUG -ftemplate-depth-100 -mmmx -msse -msse2 -pipe -frecord-gcc-switches -Wall -g -O2 -flto=auto -c dp_asc4data.cc -fPIC -DPIC -o .libs/libbrial_groebner_la-dp_asc4data.o make[3]: Leaving directory '/usr/src/RPM/BUILD/brial-1.2.12/groebner/src' make[3]: Entering directory '/usr/src/RPM/BUILD/brial-1.2.12/groebner/src' /bin/sh ../../libtool --tag=CXX --mode=compile x86_64-alt-linux-g++ -DHAVE_CONFIG_H -I. -I../.. -I../../libbrial/include/polybori -I../../groebner/include -I../../libbrial/include -I../../libbrial/include -DPBORI_NDEBUG -ftemplate-depth-100 -mmmx -msse -msse2 -pipe -frecord-gcc-switches -Wall -g -O2 -flto=auto -c -o libbrial_groebner_la-LexBucket.lo `test -f 'LexBucket.cc' || echo './'`LexBucket.cc libtool: compile: x86_64-alt-linux-g++ -DHAVE_CONFIG_H -I. -I../.. -I../../libbrial/include/polybori -I../../groebner/include -I../../libbrial/include -I../../libbrial/include -DPBORI_NDEBUG -ftemplate-depth-100 -mmmx -msse -msse2 -pipe -frecord-gcc-switches -Wall -g -O2 -flto=auto -c LexBucket.cc -fPIC -DPIC -o .libs/libbrial_groebner_la-LexBucket.o make[3]: Leaving directory '/usr/src/RPM/BUILD/brial-1.2.12/groebner/src' make[3]: Entering directory '/usr/src/RPM/BUILD/brial-1.2.12/groebner/src' /bin/sh ../../libtool --tag=CXX --mode=compile x86_64-alt-linux-g++ -DHAVE_CONFIG_H -I. -I../.. -I../../libbrial/include/polybori -I../../groebner/include -I../../libbrial/include -I../../libbrial/include -DPBORI_NDEBUG -ftemplate-depth-100 -mmmx -msse -msse2 -pipe -frecord-gcc-switches -Wall -g -O2 -flto=auto -c -o libbrial_groebner_la-FGLMStrategy.lo `test -f 'FGLMStrategy.cc' || echo './'`FGLMStrategy.cc libtool: compile: x86_64-alt-linux-g++ -DHAVE_CONFIG_H -I. -I../.. -I../../libbrial/include/polybori -I../../groebner/include -I../../libbrial/include -I../../libbrial/include -DPBORI_NDEBUG -ftemplate-depth-100 -mmmx -msse -msse2 -pipe -frecord-gcc-switches -Wall -g -O2 -flto=auto -c FGLMStrategy.cc -fPIC -DPIC -o .libs/libbrial_groebner_la-FGLMStrategy.o make[3]: Leaving directory '/usr/src/RPM/BUILD/brial-1.2.12/groebner/src' make[3]: Entering directory '/usr/src/RPM/BUILD/brial-1.2.12/groebner/src' /bin/sh ../../libtool --tag=CXX --mode=compile x86_64-alt-linux-g++ -DHAVE_CONFIG_H -I. -I../.. -I../../libbrial/include/polybori -I../../groebner/include -I../../libbrial/include -I../../libbrial/include -DPBORI_NDEBUG -ftemplate-depth-100 -mmmx -msse -msse2 -pipe -frecord-gcc-switches -Wall -g -O2 -flto=auto -c -o libbrial_groebner_la-interpolate.lo `test -f 'interpolate.cc' || echo './'`interpolate.cc libtool: compile: x86_64-alt-linux-g++ -DHAVE_CONFIG_H -I. -I../.. -I../../libbrial/include/polybori -I../../groebner/include -I../../libbrial/include -I../../libbrial/include -DPBORI_NDEBUG -ftemplate-depth-100 -mmmx -msse -msse2 -pipe -frecord-gcc-switches -Wall -g -O2 -flto=auto -c interpolate.cc -fPIC -DPIC -o .libs/libbrial_groebner_la-interpolate.o make[3]: Leaving directory '/usr/src/RPM/BUILD/brial-1.2.12/groebner/src' make[3]: Entering directory '/usr/src/RPM/BUILD/brial-1.2.12/groebner/src' /bin/sh ../../libtool --tag=CXX --mode=compile x86_64-alt-linux-g++ -DHAVE_CONFIG_H -I. -I../.. -I../../libbrial/include/polybori -I../../groebner/include -I../../libbrial/include -I../../libbrial/include -DPBORI_NDEBUG -ftemplate-depth-100 -mmmx -msse -msse2 -pipe -frecord-gcc-switches -Wall -g -O2 -flto=auto -c -o libbrial_groebner_la-groebner_alg.lo `test -f 'groebner_alg.cc' || echo './'`groebner_alg.cc libtool: compile: x86_64-alt-linux-g++ -DHAVE_CONFIG_H -I. -I../.. -I../../libbrial/include/polybori -I../../groebner/include -I../../libbrial/include -I../../libbrial/include -DPBORI_NDEBUG -ftemplate-depth-100 -mmmx -msse -msse2 -pipe -frecord-gcc-switches -Wall -g -O2 -flto=auto -c groebner_alg.cc -fPIC -DPIC -o .libs/libbrial_groebner_la-groebner_alg.o make[3]: Leaving directory '/usr/src/RPM/BUILD/brial-1.2.12/groebner/src' make[3]: Entering directory '/usr/src/RPM/BUILD/brial-1.2.12/groebner/src' /bin/sh ../../libtool --tag=CXX --mode=compile x86_64-alt-linux-g++ -DHAVE_CONFIG_H -I. -I../.. -I../../libbrial/include/polybori -I../../groebner/include -I../../libbrial/include -I../../libbrial/include -DPBORI_NDEBUG -ftemplate-depth-100 -mmmx -msse -msse2 -pipe -frecord-gcc-switches -Wall -g -O2 -flto=auto -c -o libbrial_groebner_la-LiteralFactorization.lo `test -f 'LiteralFactorization.cc' || echo './'`LiteralFactorization.cc libtool: compile: x86_64-alt-linux-g++ -DHAVE_CONFIG_H -I. -I../.. -I../../libbrial/include/polybori -I../../groebner/include -I../../libbrial/include -I../../libbrial/include -DPBORI_NDEBUG -ftemplate-depth-100 -mmmx -msse -msse2 -pipe -frecord-gcc-switches -Wall -g -O2 -flto=auto -c LiteralFactorization.cc -fPIC -DPIC -o .libs/libbrial_groebner_la-LiteralFactorization.o make[3]: Leaving directory '/usr/src/RPM/BUILD/brial-1.2.12/groebner/src' make[3]: Entering directory '/usr/src/RPM/BUILD/brial-1.2.12/groebner/src' /bin/sh ../../libtool --tag=CXX --mode=compile x86_64-alt-linux-g++ -DHAVE_CONFIG_H -I. -I../.. -I../../libbrial/include/polybori -I../../groebner/include -I../../libbrial/include -I../../libbrial/include -DPBORI_NDEBUG -ftemplate-depth-100 -mmmx -msse -msse2 -pipe -frecord-gcc-switches -Wall -g -O2 -flto=auto -c -o libbrial_groebner_la-pairs.lo `test -f 'pairs.cc' || echo './'`pairs.cc libtool: compile: x86_64-alt-linux-g++ -DHAVE_CONFIG_H -I. -I../.. -I../../libbrial/include/polybori -I../../groebner/include -I../../libbrial/include -I../../libbrial/include -DPBORI_NDEBUG -ftemplate-depth-100 -mmmx -msse -msse2 -pipe -frecord-gcc-switches -Wall -g -O2 -flto=auto -c pairs.cc -fPIC -DPIC -o .libs/libbrial_groebner_la-pairs.o make[3]: Leaving directory '/usr/src/RPM/BUILD/brial-1.2.12/groebner/src' make[3]: Entering directory '/usr/src/RPM/BUILD/brial-1.2.12/groebner/src' /bin/sh ../../libtool --tag=CXX --mode=compile x86_64-alt-linux-g++ -DHAVE_CONFIG_H -I. -I../.. -I../../libbrial/include/polybori -I../../groebner/include -I../../libbrial/include -I../../libbrial/include -DPBORI_NDEBUG -ftemplate-depth-100 -mmmx -msse -msse2 -pipe -frecord-gcc-switches -Wall -g -O2 -flto=auto -c -o libbrial_groebner_la-lp4data.lo `test -f 'lp4data.cc' || echo './'`lp4data.cc libtool: compile: x86_64-alt-linux-g++ -DHAVE_CONFIG_H -I. -I../.. -I../../libbrial/include/polybori -I../../groebner/include -I../../libbrial/include -I../../libbrial/include -DPBORI_NDEBUG -ftemplate-depth-100 -mmmx -msse -msse2 -pipe -frecord-gcc-switches -Wall -g -O2 -flto=auto -c lp4data.cc -fPIC -DPIC -o .libs/libbrial_groebner_la-lp4data.o make[3]: Leaving directory '/usr/src/RPM/BUILD/brial-1.2.12/groebner/src' make[3]: Entering directory '/usr/src/RPM/BUILD/brial-1.2.12/groebner/src' /bin/sh ../../libtool --tag=CXX --mode=compile x86_64-alt-linux-g++ -DHAVE_CONFIG_H -I. -I../.. -I../../libbrial/include/polybori -I../../groebner/include -I../../libbrial/include -I../../libbrial/include -DPBORI_NDEBUG -ftemplate-depth-100 -mmmx -msse -msse2 -pipe -frecord-gcc-switches -Wall -g -O2 -flto=auto -c -o libbrial_groebner_la-GroebnerStrategy.lo `test -f 'GroebnerStrategy.cc' || echo './'`GroebnerStrategy.cc libtool: compile: x86_64-alt-linux-g++ -DHAVE_CONFIG_H -I. -I../.. -I../../libbrial/include/polybori -I../../groebner/include -I../../libbrial/include -I../../libbrial/include -DPBORI_NDEBUG -ftemplate-depth-100 -mmmx -msse -msse2 -pipe -frecord-gcc-switches -Wall -g -O2 -flto=auto -c GroebnerStrategy.cc -fPIC -DPIC -o .libs/libbrial_groebner_la-GroebnerStrategy.o In file included from GroebnerStrategy.cc:34: ../../groebner/include/polybori/groebner/red_tail.h: In function 'polybori::groebner::Polynomial polybori::groebner::red_tail_general(const ReductionStrategy&, Polynomial)': ../../groebner/include/polybori/groebner/red_tail.h:66:9: warning: variable 's' set but not used [-Wunused-but-set-variable] 66 | int s; | ^ ../../groebner/include/polybori/groebner/red_tail.h: In instantiation of 'polybori::groebner::Polynomial polybori::groebner::red_tail_generic(const ReductionStrategy&, Polynomial) [with Helper = LexHelper; Polynomial = polybori::BoolePolynomial]': ../../groebner/include/polybori/groebner/red_tail.h:188:39: required from here ../../groebner/include/polybori/groebner/red_tail.h:164:12: warning: variable 's' set but not used [-Wunused-but-set-variable] 164 | size_t s; | ^ ../../groebner/include/polybori/groebner/red_tail.h: In instantiation of 'polybori::groebner::Polynomial polybori::groebner::red_tail_generic(const ReductionStrategy&, Polynomial) [with Helper = DegOrderHelper; Polynomial = polybori::BoolePolynomial]': ../../groebner/include/polybori/groebner/red_tail.h:190:44: required from here ../../groebner/include/polybori/groebner/red_tail.h:164:12: warning: variable 's' set but not used [-Wunused-but-set-variable] ../../groebner/include/polybori/groebner/red_tail.h: In instantiation of 'polybori::groebner::Polynomial polybori::groebner::red_tail_generic(const ReductionStrategy&, Polynomial) [with Helper = BlockOrderHelper; Polynomial = polybori::BoolePolynomial]': ../../groebner/include/polybori/groebner/red_tail.h:192:46: required from here ../../groebner/include/polybori/groebner/red_tail.h:164:12: warning: variable 's' set but not used [-Wunused-but-set-variable] make[3]: Leaving directory '/usr/src/RPM/BUILD/brial-1.2.12/groebner/src' make[3]: Entering directory '/usr/src/RPM/BUILD/brial-1.2.12/groebner/src' /bin/sh ../../libtool --tag=CXX --mode=compile x86_64-alt-linux-g++ -DHAVE_CONFIG_H -I. -I../.. -I../../libbrial/include/polybori -I../../groebner/include -I../../libbrial/include -I../../libbrial/include -DPBORI_NDEBUG -ftemplate-depth-100 -mmmx -msse -msse2 -pipe -frecord-gcc-switches -Wall -g -O2 -flto=auto -c -o libbrial_groebner_la-LiteralFactorizationIterator.lo `test -f 'LiteralFactorizationIterator.cc' || echo './'`LiteralFactorizationIterator.cc libtool: compile: x86_64-alt-linux-g++ -DHAVE_CONFIG_H -I. -I../.. -I../../libbrial/include/polybori -I../../groebner/include -I../../libbrial/include -I../../libbrial/include -DPBORI_NDEBUG -ftemplate-depth-100 -mmmx -msse -msse2 -pipe -frecord-gcc-switches -Wall -g -O2 -flto=auto -c LiteralFactorizationIterator.cc -fPIC -DPIC -o .libs/libbrial_groebner_la-LiteralFactorizationIterator.o make[3]: Leaving directory '/usr/src/RPM/BUILD/brial-1.2.12/groebner/src' make[3]: Entering directory '/usr/src/RPM/BUILD/brial-1.2.12/groebner/src' /bin/sh ../../libtool --tag=CXX --mode=compile x86_64-alt-linux-g++ -DHAVE_CONFIG_H -I. -I../.. -I../../libbrial/include/polybori -I../../groebner/include -I../../libbrial/include -I../../libbrial/include -DPBORI_NDEBUG -ftemplate-depth-100 -mmmx -msse -msse2 -pipe -frecord-gcc-switches -Wall -g -O2 -flto=auto -c -o libbrial_groebner_la-MatrixMonomialOrderTables.lo `test -f 'MatrixMonomialOrderTables.cc' || echo './'`MatrixMonomialOrderTables.cc libtool: compile: x86_64-alt-linux-g++ -DHAVE_CONFIG_H -I. -I../.. -I../../libbrial/include/polybori -I../../groebner/include -I../../libbrial/include -I../../libbrial/include -DPBORI_NDEBUG -ftemplate-depth-100 -mmmx -msse -msse2 -pipe -frecord-gcc-switches -Wall -g -O2 -flto=auto -c MatrixMonomialOrderTables.cc -fPIC -DPIC -o .libs/libbrial_groebner_la-MatrixMonomialOrderTables.o make[3]: Leaving directory '/usr/src/RPM/BUILD/brial-1.2.12/groebner/src' make[3]: Entering directory '/usr/src/RPM/BUILD/brial-1.2.12/groebner/src' /bin/sh ../../libtool --tag=CXX --mode=compile x86_64-alt-linux-g++ -DHAVE_CONFIG_H -I. -I../.. -I../../libbrial/include/polybori -I../../groebner/include -I../../libbrial/include -I../../libbrial/include -DPBORI_NDEBUG -ftemplate-depth-100 -mmmx -msse -msse2 -pipe -frecord-gcc-switches -Wall -g -O2 -flto=auto -c -o libbrial_groebner_la-PairManager.lo `test -f 'PairManager.cc' || echo './'`PairManager.cc libtool: compile: x86_64-alt-linux-g++ -DHAVE_CONFIG_H -I. -I../.. -I../../libbrial/include/polybori -I../../groebner/include -I../../libbrial/include -I../../libbrial/include -DPBORI_NDEBUG -ftemplate-depth-100 -mmmx -msse -msse2 -pipe -frecord-gcc-switches -Wall -g -O2 -flto=auto -c PairManager.cc -fPIC -DPIC -o .libs/libbrial_groebner_la-PairManager.o make[3]: Leaving directory '/usr/src/RPM/BUILD/brial-1.2.12/groebner/src' make[3]: Entering directory '/usr/src/RPM/BUILD/brial-1.2.12/groebner/src' /bin/sh ../../libtool --tag=CXX --mode=compile x86_64-alt-linux-g++ -DHAVE_CONFIG_H -I. -I../.. -I../../libbrial/include/polybori -I../../groebner/include -I../../libbrial/include -I../../libbrial/include -DPBORI_NDEBUG -ftemplate-depth-100 -mmmx -msse -msse2 -pipe -frecord-gcc-switches -Wall -g -O2 -flto=auto -c -o libbrial_groebner_la-PolyEntry.lo `test -f 'PolyEntry.cc' || echo './'`PolyEntry.cc libtool: compile: x86_64-alt-linux-g++ -DHAVE_CONFIG_H -I. -I../.. -I../../libbrial/include/polybori -I../../groebner/include -I../../libbrial/include -I../../libbrial/include -DPBORI_NDEBUG -ftemplate-depth-100 -mmmx -msse -msse2 -pipe -frecord-gcc-switches -Wall -g -O2 -flto=auto -c PolyEntry.cc -fPIC -DPIC -o .libs/libbrial_groebner_la-PolyEntry.o make[3]: Leaving directory '/usr/src/RPM/BUILD/brial-1.2.12/groebner/src' make[3]: Entering directory '/usr/src/RPM/BUILD/brial-1.2.12/groebner/src' /bin/sh ../../libtool --tag=CXX --mode=compile x86_64-alt-linux-g++ -DHAVE_CONFIG_H -I. -I../.. -I../../libbrial/include/polybori -I../../groebner/include -I../../libbrial/include -I../../libbrial/include -DPBORI_NDEBUG -ftemplate-depth-100 -mmmx -msse -msse2 -pipe -frecord-gcc-switches -Wall -g -O2 -flto=auto -c -o libbrial_groebner_la-polynomial_properties.lo `test -f 'polynomial_properties.cc' || echo './'`polynomial_properties.cc libtool: compile: x86_64-alt-linux-g++ -DHAVE_CONFIG_H -I. -I../.. -I../../libbrial/include/polybori -I../../groebner/include -I../../libbrial/include -I../../libbrial/include -DPBORI_NDEBUG -ftemplate-depth-100 -mmmx -msse -msse2 -pipe -frecord-gcc-switches -Wall -g -O2 -flto=auto -c polynomial_properties.cc -fPIC -DPIC -o .libs/libbrial_groebner_la-polynomial_properties.o make[3]: Leaving directory '/usr/src/RPM/BUILD/brial-1.2.12/groebner/src' make[3]: Entering directory '/usr/src/RPM/BUILD/brial-1.2.12/groebner/src' /bin/sh ../../libtool --tag=CXX --mode=compile x86_64-alt-linux-g++ -DHAVE_CONFIG_H -I. -I../.. -I../../libbrial/include/polybori -I../../groebner/include -I../../libbrial/include -I../../libbrial/include -DPBORI_NDEBUG -ftemplate-depth-100 -mmmx -msse -msse2 -pipe -frecord-gcc-switches -Wall -g -O2 -flto=auto -c -o libbrial_groebner_la-nf.lo `test -f 'nf.cc' || echo './'`nf.cc libtool: compile: x86_64-alt-linux-g++ -DHAVE_CONFIG_H -I. -I../.. -I../../libbrial/include/polybori -I../../groebner/include -I../../libbrial/include -I../../libbrial/include -DPBORI_NDEBUG -ftemplate-depth-100 -mmmx -msse -msse2 -pipe -frecord-gcc-switches -Wall -g -O2 -flto=auto -c nf.cc -fPIC -DPIC -o .libs/libbrial_groebner_la-nf.o In file included from nf.cc:26: ../../groebner/include/polybori/groebner/red_tail.h: In function 'polybori::groebner::Polynomial polybori::groebner::red_tail_general(const ReductionStrategy&, Polynomial)': ../../groebner/include/polybori/groebner/red_tail.h:66:9: warning: variable 's' set but not used [-Wunused-but-set-variable] 66 | int s; | ^ ../../groebner/include/polybori/groebner/red_tail.h: In instantiation of 'polybori::groebner::Polynomial polybori::groebner::red_tail_generic(const ReductionStrategy&, Polynomial) [with Helper = LexHelper; Polynomial = polybori::BoolePolynomial]': ../../groebner/include/polybori/groebner/red_tail.h:188:39: required from here ../../groebner/include/polybori/groebner/red_tail.h:164:12: warning: variable 's' set but not used [-Wunused-but-set-variable] 164 | size_t s; | ^ ../../groebner/include/polybori/groebner/red_tail.h: In instantiation of 'polybori::groebner::Polynomial polybori::groebner::red_tail_generic(const ReductionStrategy&, Polynomial) [with Helper = DegOrderHelper; Polynomial = polybori::BoolePolynomial]': ../../groebner/include/polybori/groebner/red_tail.h:190:44: required from here ../../groebner/include/polybori/groebner/red_tail.h:164:12: warning: variable 's' set but not used [-Wunused-but-set-variable] ../../groebner/include/polybori/groebner/red_tail.h: In instantiation of 'polybori::groebner::Polynomial polybori::groebner::red_tail_generic(const ReductionStrategy&, Polynomial) [with Helper = BlockOrderHelper; Polynomial = polybori::BoolePolynomial]': ../../groebner/include/polybori/groebner/red_tail.h:192:46: required from here ../../groebner/include/polybori/groebner/red_tail.h:164:12: warning: variable 's' set but not used [-Wunused-but-set-variable] make[3]: Leaving directory '/usr/src/RPM/BUILD/brial-1.2.12/groebner/src' make[3]: Entering directory '/usr/src/RPM/BUILD/brial-1.2.12/groebner/src' /bin/sh ../../libtool --tag=CXX --mode=compile x86_64-alt-linux-g++ -DHAVE_CONFIG_H -I. -I../.. -I../../libbrial/include/polybori -I../../groebner/include -I../../libbrial/include -I../../libbrial/include -DPBORI_NDEBUG -ftemplate-depth-100 -mmmx -msse -msse2 -pipe -frecord-gcc-switches -Wall -g -O2 -flto=auto -c -o libbrial_groebner_la-ReductionStrategy.lo `test -f 'ReductionStrategy.cc' || echo './'`ReductionStrategy.cc libtool: compile: x86_64-alt-linux-g++ -DHAVE_CONFIG_H -I. -I../.. -I../../libbrial/include/polybori -I../../groebner/include -I../../libbrial/include -I../../libbrial/include -DPBORI_NDEBUG -ftemplate-depth-100 -mmmx -msse -msse2 -pipe -frecord-gcc-switches -Wall -g -O2 -flto=auto -c ReductionStrategy.cc -fPIC -DPIC -o .libs/libbrial_groebner_la-ReductionStrategy.o In file included from ReductionStrategy.cc:22: ../../groebner/include/polybori/groebner/red_tail.h: In function 'polybori::groebner::Polynomial polybori::groebner::red_tail_general(const ReductionStrategy&, Polynomial)': ../../groebner/include/polybori/groebner/red_tail.h:66:9: warning: variable 's' set but not used [-Wunused-but-set-variable] 66 | int s; | ^ ../../groebner/include/polybori/groebner/red_tail.h: In instantiation of 'polybori::groebner::Polynomial polybori::groebner::red_tail_generic(const ReductionStrategy&, Polynomial) [with Helper = LexHelper; Polynomial = polybori::BoolePolynomial]': ../../groebner/include/polybori/groebner/red_tail.h:188:39: required from here ../../groebner/include/polybori/groebner/red_tail.h:164:12: warning: variable 's' set but not used [-Wunused-but-set-variable] 164 | size_t s; | ^ ../../groebner/include/polybori/groebner/red_tail.h: In instantiation of 'polybori::groebner::Polynomial polybori::groebner::red_tail_generic(const ReductionStrategy&, Polynomial) [with Helper = DegOrderHelper; Polynomial = polybori::BoolePolynomial]': ../../groebner/include/polybori/groebner/red_tail.h:190:44: required from here ../../groebner/include/polybori/groebner/red_tail.h:164:12: warning: variable 's' set but not used [-Wunused-but-set-variable] ../../groebner/include/polybori/groebner/red_tail.h: In instantiation of 'polybori::groebner::Polynomial polybori::groebner::red_tail_generic(const ReductionStrategy&, Polynomial) [with Helper = BlockOrderHelper; Polynomial = polybori::BoolePolynomial]': ../../groebner/include/polybori/groebner/red_tail.h:192:46: required from here ../../groebner/include/polybori/groebner/red_tail.h:164:12: warning: variable 's' set but not used [-Wunused-but-set-variable] make[3]: Leaving directory '/usr/src/RPM/BUILD/brial-1.2.12/groebner/src' make[3]: Entering directory '/usr/src/RPM/BUILD/brial-1.2.12/groebner/src' /bin/sh ../../libtool --tag=CXX --mode=compile x86_64-alt-linux-g++ -DHAVE_CONFIG_H -I. -I../.. -I../../libbrial/include/polybori -I../../groebner/include -I../../libbrial/include -I../../libbrial/include -DPBORI_NDEBUG -ftemplate-depth-100 -mmmx -msse -msse2 -pipe -frecord-gcc-switches -Wall -g -O2 -flto=auto -c -o libbrial_groebner_la-randomset.lo `test -f 'randomset.cc' || echo './'`randomset.cc libtool: compile: x86_64-alt-linux-g++ -DHAVE_CONFIG_H -I. -I../.. -I../../libbrial/include/polybori -I../../groebner/include -I../../libbrial/include -I../../libbrial/include -DPBORI_NDEBUG -ftemplate-depth-100 -mmmx -msse -msse2 -pipe -frecord-gcc-switches -Wall -g -O2 -flto=auto -c randomset.cc -fPIC -DPIC -o .libs/libbrial_groebner_la-randomset.o make[3]: Leaving directory '/usr/src/RPM/BUILD/brial-1.2.12/groebner/src' make[3]: Entering directory '/usr/src/RPM/BUILD/brial-1.2.12/groebner/src' /bin/sh ../../libtool --tag=CXX --mode=link x86_64-alt-linux-g++ -ftemplate-depth-100 -mmmx -msse -msse2 -pipe -frecord-gcc-switches -Wall -g -O2 -flto=auto -no-undefined -version-info 3:7:0 -o libbrial_groebner.la -rpath /usr/lib64 libbrial_groebner_la-dlex4data.lo libbrial_groebner_la-dp_asc4data.lo libbrial_groebner_la-FGLMStrategy.lo libbrial_groebner_la-groebner.lo libbrial_groebner_la-groebner_alg.lo libbrial_groebner_la-GroebnerStrategy.lo libbrial_groebner_la-interpolate.lo libbrial_groebner_la-LexBucket.lo libbrial_groebner_la-LiteralFactorization.lo libbrial_groebner_la-LiteralFactorizationIterator.lo libbrial_groebner_la-lp4data.lo libbrial_groebner_la-MatrixMonomialOrderTables.lo libbrial_groebner_la-nf.lo libbrial_groebner_la-PairManager.lo libbrial_groebner_la-pairs.lo libbrial_groebner_la-PolyEntry.lo libbrial_groebner_la-polynomial_properties.lo libbrial_groebner_la-randomset.lo libbrial_groebner_la-ReductionStrategy.lo ../../libbrial.la -lm4ri -lgd libtool: link: x86_64-alt-linux-g++ -fPIC -DPIC -shared -nostdlib /usr/lib64/gcc/x86_64-alt-linux/12/../../../../lib64/crti.o /usr/lib64/gcc/x86_64-alt-linux/12/crtbeginS.o .libs/libbrial_groebner_la-dlex4data.o .libs/libbrial_groebner_la-dp_asc4data.o .libs/libbrial_groebner_la-FGLMStrategy.o .libs/libbrial_groebner_la-groebner.o .libs/libbrial_groebner_la-groebner_alg.o .libs/libbrial_groebner_la-GroebnerStrategy.o .libs/libbrial_groebner_la-interpolate.o .libs/libbrial_groebner_la-LexBucket.o .libs/libbrial_groebner_la-LiteralFactorization.o .libs/libbrial_groebner_la-LiteralFactorizationIterator.o .libs/libbrial_groebner_la-lp4data.o .libs/libbrial_groebner_la-MatrixMonomialOrderTables.o .libs/libbrial_groebner_la-nf.o .libs/libbrial_groebner_la-PairManager.o .libs/libbrial_groebner_la-pairs.o .libs/libbrial_groebner_la-PolyEntry.o .libs/libbrial_groebner_la-polynomial_properties.o .libs/libbrial_groebner_la-randomset.o .libs/libbrial_groebner_la-ReductionStrategy.o -Wl,-rpath -Wl,/usr/src/RPM/BUILD/brial-1.2.12/.libs ../../.libs/libbrial.so -lm4ri -lgd -L/usr/lib64/gcc/x86_64-alt-linux/12 -L/usr/lib64/gcc/x86_64-alt-linux/12/../../../../lib64 -L/lib/../lib64 -L/usr/lib/../lib64 -L/usr/lib64/gcc/x86_64-alt-linux/12/../../.. -lstdc++ -lm -lc -lgcc_s /usr/lib64/gcc/x86_64-alt-linux/12/crtendS.o /usr/lib64/gcc/x86_64-alt-linux/12/../../../../lib64/crtn.o -mmmx -msse -msse2 -g -O2 -flto=auto -Wl,-soname -Wl,libbrial_groebner.so.3 -o .libs/libbrial_groebner.so.3.0.7 libtool: link: (cd ".libs" && rm -f "libbrial_groebner.so.3" && ln -s "libbrial_groebner.so.3.0.7" "libbrial_groebner.so.3") libtool: link: (cd ".libs" && rm -f "libbrial_groebner.so" && ln -s "libbrial_groebner.so.3.0.7" "libbrial_groebner.so") libtool: link: ( cd ".libs" && rm -f "libbrial_groebner.la" && ln -s "../libbrial_groebner.la" "libbrial_groebner.la" ) make[3]: Leaving directory '/usr/src/RPM/BUILD/brial-1.2.12/groebner/src' Making all in include make[3]: Nothing to be done for 'all'. make[3]: Nothing to be done for 'all-am'. Making all in tests make[2]: Nothing to be done for 'all'. + exit 0 Executing(%install): /bin/sh -e /usr/src/tmp/rpm-tmp.67826 + umask 022 + /bin/mkdir -p /usr/src/RPM/BUILD + cd /usr/src/RPM/BUILD + /bin/chmod -Rf u+rwX -- /usr/src/tmp/brial-buildroot + : + /bin/rm -rf -- /usr/src/tmp/brial-buildroot + PATH=/usr/libexec/rpm-build:/usr/src/bin:/bin:/usr/bin:/usr/X11R6/bin:/usr/games + cd brial-1.2.12 + make 'INSTALL=/usr/libexec/rpm-build/install -p' install DESTDIR=/usr/src/tmp/brial-buildroot make: Entering directory '/usr/src/RPM/BUILD/brial-1.2.12' Making install in cudd make[1]: Entering directory '/usr/src/RPM/BUILD/brial-1.2.12/cudd' make[2]: Entering directory '/usr/src/RPM/BUILD/brial-1.2.12/cudd' make[2]: Nothing to be done for 'install-exec-am'. /bin/mkdir -p '/usr/src/tmp/brial-buildroot/usr/include/polybori/cudd' /usr/libexec/rpm-build/install -p -m 644 cudd.h cuddInt.h '/usr/src/tmp/brial-buildroot/usr/include/polybori/cudd' make[2]: Leaving directory '/usr/src/RPM/BUILD/brial-1.2.12/cudd' make[1]: Leaving directory '/usr/src/RPM/BUILD/brial-1.2.12/cudd' Making install in libbrial make[1]: Entering directory '/usr/src/RPM/BUILD/brial-1.2.12/libbrial' Making install in src make[2]: Entering directory '/usr/src/RPM/BUILD/brial-1.2.12/libbrial/src' make[3]: Entering directory '/usr/src/RPM/BUILD/brial-1.2.12/libbrial/src' make[3]: Nothing to be done for 'install-exec-am'. make[3]: Nothing to be done for 'install-data-am'. make[3]: Leaving directory '/usr/src/RPM/BUILD/brial-1.2.12/libbrial/src' make[2]: Leaving directory '/usr/src/RPM/BUILD/brial-1.2.12/libbrial/src' Making install in include make[2]: Entering directory '/usr/src/RPM/BUILD/brial-1.2.12/libbrial/include' make[3]: Entering directory '/usr/src/RPM/BUILD/brial-1.2.12/libbrial/include' make[3]: Nothing to be done for 'install-exec-am'. /bin/mkdir -p '/usr/src/tmp/brial-buildroot/usr/include' /bin/mkdir -p '/usr/src/tmp/brial-buildroot/usr/include/polybori/routines' /usr/libexec/rpm-build/install -p -m 644 polybori/routines/pbori_algo.h polybori/routines/pbori_algo_int.h polybori/routines/pbori_algorithms.h polybori/routines/pbori_func.h polybori/routines/pbori_routines.h polybori/routines/pbori_routines_cuddext.h polybori/routines/pbori_routines_dd.h polybori/routines/pbori_routines_hash.h polybori/routines/pbori_routines_misc.h polybori/routines/pbori_routines_order.h '/usr/src/tmp/brial-buildroot/usr/include/polybori/routines' /bin/mkdir -p '/usr/src/tmp/brial-buildroot/usr/include/polybori/ring' /usr/libexec/rpm-build/install -p -m 644 polybori/ring/CCallbackWrapper.h polybori/ring/CCuddCore.h polybori/ring/CCuddInterface.h polybori/ring/CMemberFunctionTraits.h polybori/ring/CVariableNames.h polybori/ring/WeakRingPtr.h '/usr/src/tmp/brial-buildroot/usr/include/polybori/ring' /bin/mkdir -p '/usr/src/tmp/brial-buildroot/usr/include/polybori/literals' /usr/libexec/rpm-build/install -p -m 644 polybori/literals/CLiteralCodes.h polybori/literals/CStringLiteral.h '/usr/src/tmp/brial-buildroot/usr/include/polybori/literals' /bin/mkdir -p '/usr/src/tmp/brial-buildroot/usr/include/polybori/orderings' /usr/libexec/rpm-build/install -p -m 644 polybori/orderings/CBlockOrderingFacade.h polybori/orderings/COrderingBase.h polybori/orderings/COrderingFacade.h polybori/orderings/COrderingTags.h polybori/orderings/order_tags.h polybori/orderings/order_traits.h polybori/orderings/pbori_order.h '/usr/src/tmp/brial-buildroot/usr/include/polybori/orderings' /bin/mkdir -p '/usr/src/tmp/brial-buildroot/usr/include/polybori/iterators' /usr/libexec/rpm-build/install -p -m 644 polybori/iterators/CBidirectTermIter.h polybori/iterators/CCuddFirstIter.h polybori/iterators/CCuddLastIter.h polybori/iterators/CCuddNavigator.h polybori/iterators/CExpIter.h polybori/iterators/CGenericIter.h polybori/iterators/COrderedIter.h polybori/iterators/CStackSelector.h polybori/iterators/CTermGenerator.h polybori/iterators/CTermIter.h polybori/iterators/CTermStack.h polybori/iterators/CVariableIter.h polybori/iterators/PBoRiOutIter.h polybori/iterators/TransformedIterator.h '/usr/src/tmp/brial-buildroot/usr/include/polybori/iterators' /bin/mkdir -p '/usr/src/tmp/brial-buildroot/usr/include/polybori/diagram' /usr/libexec/rpm-build/install -p -m 644 polybori/diagram/CApplyNodeFacade.h polybori/diagram/CCuddDDFacade.h polybori/diagram/CDDOperations.h polybori/diagram/CNodeCounter.h '/usr/src/tmp/brial-buildroot/usr/include/polybori/diagram' /bin/mkdir -p '/usr/src/tmp/brial-buildroot/usr/include/polybori/cudd' /usr/libexec/rpm-build/install -p -m 644 polybori/cudd/prefix.h polybori/cudd/prefix_internal.h '/usr/src/tmp/brial-buildroot/usr/include/polybori/cudd' /bin/mkdir -p '/usr/src/tmp/brial-buildroot/usr/include/polybori/factories' /usr/libexec/rpm-build/install -p -m 644 polybori/factories/CFactoryBase.h polybori/factories/MonomialFactory.h polybori/factories/PolynomialFactory.h polybori/factories/SetFactory.h polybori/factories/VariableBlock.h polybori/factories/VariableFactory.h '/usr/src/tmp/brial-buildroot/usr/include/polybori/factories' /usr/libexec/rpm-build/install -p -m 644 polybori.h '/usr/src/tmp/brial-buildroot/usr/include/.' /bin/mkdir -p '/usr/src/tmp/brial-buildroot/usr/include/polybori/cache' /usr/libexec/rpm-build/install -p -m 644 polybori/cache/CacheManager.h polybori/cache/CCacheManagement.h polybori/cache/CDegreeCache.h '/usr/src/tmp/brial-buildroot/usr/include/polybori/cache' /bin/mkdir -p '/usr/src/tmp/brial-buildroot/usr/include/polybori/common' /usr/libexec/rpm-build/install -p -m 644 polybori/common/CCheckedIdx.h polybori/common/CExtrusivePtr.h polybori/common/CWeakPtr.h polybori/common/CWeakPtrFacade.h polybori/common/tags.h polybori/common/traits.h polybori/common/TransformedSequence.h '/usr/src/tmp/brial-buildroot/usr/include/polybori/common' /bin/mkdir -p '/usr/src/tmp/brial-buildroot/usr/include/polybori/except' /usr/libexec/rpm-build/install -p -m 644 polybori/except/CErrorInfo.h polybori/except/PBoRiError.h polybori/except/PBoRiGenericError.h '/usr/src/tmp/brial-buildroot/usr/include/polybori/except' /bin/mkdir -p '/usr/src/tmp/brial-buildroot/usr/include/polybori' /usr/libexec/rpm-build/install -p -m 644 polybori/BlockDegLexOrder.h polybori/BlockDegRevLexAscOrder.h polybori/BooleConstant.h polybori/BooleEnv.h polybori/BooleExponent.h polybori/BooleMonomial.h polybori/BoolePolynomial.h polybori/BoolePolyRing.h polybori/BooleSet.h polybori/BooleSetSequence.h polybori/BooleVariable.h polybori/config.h polybori/DegLexOrder.h polybori/DegRevLexAscOrder.h polybori/LexOrder.h polybori/pbori_defs.h polybori/polybori.h '/usr/src/tmp/brial-buildroot/usr/include/polybori' make[3]: Leaving directory '/usr/src/RPM/BUILD/brial-1.2.12/libbrial/include' make[2]: Leaving directory '/usr/src/RPM/BUILD/brial-1.2.12/libbrial/include' make[2]: Entering directory '/usr/src/RPM/BUILD/brial-1.2.12/libbrial' make[3]: Entering directory '/usr/src/RPM/BUILD/brial-1.2.12/libbrial' make[3]: Nothing to be done for 'install-exec-am'. make[3]: Nothing to be done for 'install-data-am'. make[3]: Leaving directory '/usr/src/RPM/BUILD/brial-1.2.12/libbrial' make[2]: Leaving directory '/usr/src/RPM/BUILD/brial-1.2.12/libbrial' make[1]: Leaving directory '/usr/src/RPM/BUILD/brial-1.2.12/libbrial' Making install in . make[1]: Entering directory '/usr/src/RPM/BUILD/brial-1.2.12' make[2]: Entering directory '/usr/src/RPM/BUILD/brial-1.2.12' /bin/mkdir -p '/usr/src/tmp/brial-buildroot/usr/lib64' /bin/sh ./libtool --mode=install /usr/libexec/rpm-build/install -p libbrial.la '/usr/src/tmp/brial-buildroot/usr/lib64' libtool: install: /usr/libexec/rpm-build/install -p .libs/libbrial.so.3.0.7 /usr/src/tmp/brial-buildroot/usr/lib64/libbrial.so.3.0.7 libtool: install: (cd /usr/src/tmp/brial-buildroot/usr/lib64 && { ln -s -f libbrial.so.3.0.7 libbrial.so.3 || { rm -f libbrial.so.3 && ln -s libbrial.so.3.0.7 libbrial.so.3; }; }) libtool: install: (cd /usr/src/tmp/brial-buildroot/usr/lib64 && { ln -s -f libbrial.so.3.0.7 libbrial.so || { rm -f libbrial.so && ln -s libbrial.so.3.0.7 libbrial.so; }; }) libtool: install: /usr/libexec/rpm-build/install -p .libs/libbrial.lai /usr/src/tmp/brial-buildroot/usr/lib64/libbrial.la libtool: warning: remember to run 'libtool --finish /usr/lib64' make[2]: Nothing to be done for 'install-data-am'. make[2]: Leaving directory '/usr/src/RPM/BUILD/brial-1.2.12' make[1]: Leaving directory '/usr/src/RPM/BUILD/brial-1.2.12' Making install in groebner make[1]: Entering directory '/usr/src/RPM/BUILD/brial-1.2.12/groebner' Making install in src make[2]: Entering directory '/usr/src/RPM/BUILD/brial-1.2.12/groebner/src' make[3]: Entering directory '/usr/src/RPM/BUILD/brial-1.2.12/groebner/src' /bin/mkdir -p '/usr/src/tmp/brial-buildroot/usr/lib64' /bin/sh ../../libtool --mode=install /usr/libexec/rpm-build/install -p libbrial_groebner.la '/usr/src/tmp/brial-buildroot/usr/lib64' libtool: warning: relinking 'libbrial_groebner.la' libtool: install: (cd /usr/src/RPM/BUILD/brial-1.2.12/groebner/src; /bin/sh "/usr/src/RPM/BUILD/brial-1.2.12/libtool" --tag CXX --mode=relink x86_64-alt-linux-g++ -ftemplate-depth-100 -mmmx -msse -msse2 -pipe -frecord-gcc-switches -Wall -g -O2 -flto=auto -no-undefined -version-info 3:7:0 -o libbrial_groebner.la -rpath /usr/lib64 libbrial_groebner_la-dlex4data.lo libbrial_groebner_la-dp_asc4data.lo libbrial_groebner_la-FGLMStrategy.lo libbrial_groebner_la-groebner.lo libbrial_groebner_la-groebner_alg.lo libbrial_groebner_la-GroebnerStrategy.lo libbrial_groebner_la-interpolate.lo libbrial_groebner_la-LexBucket.lo libbrial_groebner_la-LiteralFactorization.lo libbrial_groebner_la-LiteralFactorizationIterator.lo libbrial_groebner_la-lp4data.lo libbrial_groebner_la-MatrixMonomialOrderTables.lo libbrial_groebner_la-nf.lo libbrial_groebner_la-PairManager.lo libbrial_groebner_la-pairs.lo libbrial_groebner_la-PolyEntry.lo libbrial_groebner_la-polynomial_properties.lo libbrial_groebner_la-randomset.lo libbrial_groebner_la-ReductionStrategy.lo ../../libbrial.la -lm4ri -lgd -inst-prefix-dir /usr/src/tmp/brial-buildroot) libtool: relink: x86_64-alt-linux-g++ -fPIC -DPIC -shared -nostdlib /usr/lib64/gcc/x86_64-alt-linux/12/../../../../lib64/crti.o /usr/lib64/gcc/x86_64-alt-linux/12/crtbeginS.o .libs/libbrial_groebner_la-dlex4data.o .libs/libbrial_groebner_la-dp_asc4data.o .libs/libbrial_groebner_la-FGLMStrategy.o .libs/libbrial_groebner_la-groebner.o .libs/libbrial_groebner_la-groebner_alg.o .libs/libbrial_groebner_la-GroebnerStrategy.o .libs/libbrial_groebner_la-interpolate.o .libs/libbrial_groebner_la-LexBucket.o .libs/libbrial_groebner_la-LiteralFactorization.o .libs/libbrial_groebner_la-LiteralFactorizationIterator.o .libs/libbrial_groebner_la-lp4data.o .libs/libbrial_groebner_la-MatrixMonomialOrderTables.o .libs/libbrial_groebner_la-nf.o .libs/libbrial_groebner_la-PairManager.o .libs/libbrial_groebner_la-pairs.o .libs/libbrial_groebner_la-PolyEntry.o .libs/libbrial_groebner_la-polynomial_properties.o .libs/libbrial_groebner_la-randomset.o .libs/libbrial_groebner_la-ReductionStrategy.o -L/usr/src/tmp/brial-buildroot/usr/lib64 -L/usr/lib64 -lbrial -lm4ri -lgd -L/usr/lib64/gcc/x86_64-alt-linux/12 -L/usr/lib64/gcc/x86_64-alt-linux/12/../../../../lib64 -L/lib/../lib64 -L/usr/lib/../lib64 -L/usr/lib64/gcc/x86_64-alt-linux/12/../../.. -lstdc++ -lm -lc -lgcc_s /usr/lib64/gcc/x86_64-alt-linux/12/crtendS.o /usr/lib64/gcc/x86_64-alt-linux/12/../../../../lib64/crtn.o -mmmx -msse -msse2 -g -O2 -flto=auto -Wl,-soname -Wl,libbrial_groebner.so.3 -o .libs/libbrial_groebner.so.3.0.7 libtool: install: /usr/libexec/rpm-build/install -p .libs/libbrial_groebner.so.3.0.7T /usr/src/tmp/brial-buildroot/usr/lib64/libbrial_groebner.so.3.0.7 libtool: install: (cd /usr/src/tmp/brial-buildroot/usr/lib64 && { ln -s -f libbrial_groebner.so.3.0.7 libbrial_groebner.so.3 || { rm -f libbrial_groebner.so.3 && ln -s libbrial_groebner.so.3.0.7 libbrial_groebner.so.3; }; }) libtool: install: (cd /usr/src/tmp/brial-buildroot/usr/lib64 && { ln -s -f libbrial_groebner.so.3.0.7 libbrial_groebner.so || { rm -f libbrial_groebner.so && ln -s libbrial_groebner.so.3.0.7 libbrial_groebner.so; }; }) libtool: install: /usr/libexec/rpm-build/install -p .libs/libbrial_groebner.lai /usr/src/tmp/brial-buildroot/usr/lib64/libbrial_groebner.la libtool: warning: remember to run 'libtool --finish /usr/lib64' make[3]: Nothing to be done for 'install-data-am'. make[3]: Leaving directory '/usr/src/RPM/BUILD/brial-1.2.12/groebner/src' make[2]: Leaving directory '/usr/src/RPM/BUILD/brial-1.2.12/groebner/src' Making install in include make[2]: Entering directory '/usr/src/RPM/BUILD/brial-1.2.12/groebner/include' make[3]: Entering directory '/usr/src/RPM/BUILD/brial-1.2.12/groebner/include' make[3]: Nothing to be done for 'install-exec-am'. /bin/mkdir -p '/usr/src/tmp/brial-buildroot/usr/include' /bin/mkdir -p '/usr/src/tmp/brial-buildroot/usr/include/polybori/groebner' /usr/libexec/rpm-build/install -p -m 644 polybori/groebner/add_up.h polybori/groebner/BitMask.h polybori/groebner/BlockOrderHelper.h polybori/groebner/BoundedDivisorsOf.h polybori/groebner/cache_manager.h polybori/groebner/ChainCriterion.h polybori/groebner/ChainVariableCriterion.h polybori/groebner/CheckChainCriterion.h polybori/groebner/contained_variables.h polybori/groebner/CountCriterion.h polybori/groebner/DegOrderHelper.h polybori/groebner/dlex4data.h polybori/groebner/dp_asc4data.h polybori/groebner/draw_matrix.h polybori/groebner/ExpGreater.h polybori/groebner/ExpLexLess.h polybori/groebner/FGLMStrategy.h polybori/groebner/fixed_path_divisors.h polybori/groebner/GetNthPoly.h polybori/groebner/groebner.h polybori/groebner/groebner_alg.h polybori/groebner/groebner_defs.h polybori/groebner/GroebnerOptions.h polybori/groebner/GroebnerStrategy.h polybori/groebner/HasTRepOrExtendedProductCriterion.h polybori/groebner/IJPairData.h polybori/groebner/interpolate.h polybori/groebner/IsEcart0Predicate.h polybori/groebner/IsVariableOfIndex.h polybori/groebner/LargerDegreeComparer.h polybori/groebner/LeadingTerms.h polybori/groebner/LeadingTerms00.h polybori/groebner/LeadingTerms11.h polybori/groebner/LessCombinedManySizesInStrat.h polybori/groebner/LessEcartThenLessWeightedLengthInStrat.h polybori/groebner/LessUsedTailVariablesThenLessWeightedLengthInStrat.h polybori/groebner/LessWeightedLengthInStrat.h polybori/groebner/LessWeightedLengthInStratModified.h polybori/groebner/LexBucket.h polybori/groebner/LexHelper.h '/usr/src/tmp/brial-buildroot/usr/include/polybori/groebner' /bin/mkdir -p '/usr/src/tmp/brial-buildroot/usr/include/polybori/groebner' /usr/libexec/rpm-build/install -p -m 644 polybori/groebner/LexOrderGreaterComparer.h polybori/groebner/linear_algebra_step.h polybori/groebner/LiteralFactorization.h polybori/groebner/LiteralFactorizationIterator.h polybori/groebner/ll_red_nf.h polybori/groebner/LLReduction.h polybori/groebner/LLReductor.h polybori/groebner/LMLessCompare.h polybori/groebner/LMLessComparePS.h polybori/groebner/Long64From32BitsPair.h polybori/groebner/lp4data.h polybori/groebner/MatrixMonomialOrderTables.h polybori/groebner/minimal_elements.h polybori/groebner/MinimalLeadingTerms.h polybori/groebner/MonomialHasher.h polybori/groebner/MonomialPlusOneTerms.h polybori/groebner/MonomialTerms.h polybori/groebner/NBitsUsed.h polybori/groebner/NextSpoly.h polybori/groebner/nf.h polybori/groebner/PairData.h polybori/groebner/PairE.h polybori/groebner/PairECompare.h polybori/groebner/PairLS.h polybori/groebner/PairLSCompare.h polybori/groebner/PairManager.h polybori/groebner/PairManagerFacade.h polybori/groebner/pairs.h polybori/groebner/PairStatusSet.h polybori/groebner/PolyEntry.h polybori/groebner/PolyEntryBase.h polybori/groebner/PolyEntryIndices.h polybori/groebner/PolyEntryPtrLmLess.h polybori/groebner/PolyEntryReference.h polybori/groebner/PolyEntryVector.h polybori/groebner/PolyFromPolyEntry.h polybori/groebner/PolyMonomialPairComparerLess.h polybori/groebner/PolyMonomialPairComparerLexLess.h polybori/groebner/polynomial_properties.h polybori/groebner/PolynomialSugar.h '/usr/src/tmp/brial-buildroot/usr/include/polybori/groebner' /bin/mkdir -p '/usr/src/tmp/brial-buildroot/usr/include/polybori/groebner' /usr/libexec/rpm-build/install -p -m 644 polybori/groebner/PolyPairData.h polybori/groebner/PSCompareByEl.h polybori/groebner/PseudoLongLong.h polybori/groebner/PseudoLongProduct.h polybori/groebner/randomset.h polybori/groebner/RankingVector.h polybori/groebner/red_tail.h polybori/groebner/RedTailNth.h polybori/groebner/ReductionOptions.h polybori/groebner/ReductionStrategy.h polybori/groebner/ReductionTerms.h polybori/groebner/RelatedTerms.h polybori/groebner/RelatedTermsBase.h polybori/groebner/SetAssociatedMinimal.h polybori/groebner/SetBitUInt.h polybori/groebner/ShorterEliminationLength.h polybori/groebner/ShorterEliminationLengthModified.h polybori/groebner/SlimgbReduction.h polybori/groebner/tables.h polybori/groebner/TermsFacade.h polybori/groebner/TimesConstantImplication.h polybori/groebner/TimesVariableSubstitution.h polybori/groebner/VariablePairData.h polybori/groebner/ZeroFunction.h '/usr/src/tmp/brial-buildroot/usr/include/polybori/groebner' make[3]: Leaving directory '/usr/src/RPM/BUILD/brial-1.2.12/groebner/include' make[2]: Leaving directory '/usr/src/RPM/BUILD/brial-1.2.12/groebner/include' make[2]: Entering directory '/usr/src/RPM/BUILD/brial-1.2.12/groebner' make[3]: Entering directory '/usr/src/RPM/BUILD/brial-1.2.12/groebner' make[3]: Nothing to be done for 'install-exec-am'. make[3]: Nothing to be done for 'install-data-am'. make[3]: Leaving directory '/usr/src/RPM/BUILD/brial-1.2.12/groebner' make[2]: Leaving directory '/usr/src/RPM/BUILD/brial-1.2.12/groebner' make[1]: Leaving directory '/usr/src/RPM/BUILD/brial-1.2.12/groebner' Making install in tests make[1]: Entering directory '/usr/src/RPM/BUILD/brial-1.2.12/tests' make[2]: Entering directory '/usr/src/RPM/BUILD/brial-1.2.12/tests' make[2]: Nothing to be done for 'install-exec-am'. make[2]: Nothing to be done for 'install-data-am'. make[2]: Leaving directory '/usr/src/RPM/BUILD/brial-1.2.12/tests' make[1]: Leaving directory '/usr/src/RPM/BUILD/brial-1.2.12/tests' make: Leaving directory '/usr/src/RPM/BUILD/brial-1.2.12' + rm /usr/src/tmp/brial-buildroot/usr/lib64/libbrial.la /usr/src/tmp/brial-buildroot/usr/lib64/libbrial_groebner.la + /usr/lib/rpm/brp-alt Cleaning files in /usr/src/tmp/brial-buildroot (auto) mode of './usr/lib64/libbrial_groebner.so.3.0.7' changed from 0755 (rwxr-xr-x) to 0644 (rw-r--r--) mode of './usr/lib64/libbrial.so.3.0.7' changed from 0755 (rwxr-xr-x) to 0644 (rw-r--r--) Verifying and fixing files in /usr/src/tmp/brial-buildroot (binconfig,pkgconfig,libtool,desktop,gnuconfig) Checking contents of files in /usr/src/tmp/brial-buildroot/ (default) Compressing files in /usr/src/tmp/brial-buildroot (auto) Adjusting library links in /usr/src/tmp/brial-buildroot ./usr/lib64: (from :0) libbrial.so.3 -> libbrial.so.3.0.7 libbrial_groebner.so.3 -> libbrial_groebner.so.3.0.7 Verifying ELF objects in /usr/src/tmp/brial-buildroot (arch=normal,fhs=normal,lfs=relaxed,lint=relaxed,rpath=normal,stack=normal,textrel=normal,unresolved=normal) Executing(%check): /bin/sh -e /usr/src/tmp/rpm-tmp.46282 + umask 022 + /bin/mkdir -p /usr/src/RPM/BUILD + cd /usr/src/RPM/BUILD + cd brial-1.2.12 + export LD_LIBRARY_PATH=/usr/src/RPM/BUILD/brial-1.2.12/.libs:/usr/src/RPM/BUILD/brial-1.2.12/groebner/src/.libs + LD_LIBRARY_PATH=/usr/src/RPM/BUILD/brial-1.2.12/.libs:/usr/src/RPM/BUILD/brial-1.2.12/groebner/src/.libs + make check make: Entering directory '/usr/src/RPM/BUILD/brial-1.2.12' Making check in cudd make[1]: Entering directory '/usr/src/RPM/BUILD/brial-1.2.12/cudd' make[1]: Nothing to be done for 'check'. make[1]: Leaving directory '/usr/src/RPM/BUILD/brial-1.2.12/cudd' Making check in libbrial make[1]: Entering directory '/usr/src/RPM/BUILD/brial-1.2.12/libbrial' Making check in src make[2]: Entering directory '/usr/src/RPM/BUILD/brial-1.2.12/libbrial/src' make[2]: Nothing to be done for 'check'. make[2]: Leaving directory '/usr/src/RPM/BUILD/brial-1.2.12/libbrial/src' Making check in include make[2]: Entering directory '/usr/src/RPM/BUILD/brial-1.2.12/libbrial/include' make[2]: Nothing to be done for 'check'. make[2]: Leaving directory '/usr/src/RPM/BUILD/brial-1.2.12/libbrial/include' make[2]: Entering directory '/usr/src/RPM/BUILD/brial-1.2.12/libbrial' make[2]: Nothing to be done for 'check-am'. make[2]: Leaving directory '/usr/src/RPM/BUILD/brial-1.2.12/libbrial' make[1]: Leaving directory '/usr/src/RPM/BUILD/brial-1.2.12/libbrial' Making check in . make[1]: Entering directory '/usr/src/RPM/BUILD/brial-1.2.12' make[1]: Leaving directory '/usr/src/RPM/BUILD/brial-1.2.12' Making check in groebner make[1]: Entering directory '/usr/src/RPM/BUILD/brial-1.2.12/groebner' Making check in src make[2]: Entering directory '/usr/src/RPM/BUILD/brial-1.2.12/groebner/src' make[2]: Nothing to be done for 'check'. make[2]: Leaving directory '/usr/src/RPM/BUILD/brial-1.2.12/groebner/src' Making check in include make[2]: Entering directory '/usr/src/RPM/BUILD/brial-1.2.12/groebner/include' make[2]: Nothing to be done for 'check'. make[2]: Leaving directory '/usr/src/RPM/BUILD/brial-1.2.12/groebner/include' make[2]: Entering directory '/usr/src/RPM/BUILD/brial-1.2.12/groebner' make[2]: Nothing to be done for 'check-am'. make[2]: Leaving directory '/usr/src/RPM/BUILD/brial-1.2.12/groebner' make[1]: Leaving directory '/usr/src/RPM/BUILD/brial-1.2.12/groebner' Making check in tests make[1]: Entering directory '/usr/src/RPM/BUILD/brial-1.2.12/tests' make unittests make[2]: Entering directory '/usr/src/RPM/BUILD/brial-1.2.12/tests' x86_64-alt-linux-g++ -DHAVE_CONFIG_H -I. -I.. -I../libbrial/include/polybori -I../groebner/include -I../libbrial/include -I../libbrial/include -DBOOST_TEST_DYN_LINK -DPBORI_NDEBUG -ftemplate-depth-100 -pipe -frecord-gcc-switches -Wall -g -O2 -flto=auto -c -o BlockDegLexOrderTest.o BlockDegLexOrderTest.cc x86_64-alt-linux-g++ -DHAVE_CONFIG_H -I. -I.. -I../libbrial/include/polybori -I../groebner/include -I../libbrial/include -I../libbrial/include -DBOOST_TEST_DYN_LINK -DPBORI_NDEBUG -ftemplate-depth-100 -pipe -frecord-gcc-switches -Wall -g -O2 -flto=auto -c -o BlockDegRevLexAscOrderTest.o BlockDegRevLexAscOrderTest.cc x86_64-alt-linux-g++ -DHAVE_CONFIG_H -I. -I.. -I../libbrial/include/polybori -I../groebner/include -I../libbrial/include -I../libbrial/include -DBOOST_TEST_DYN_LINK -DPBORI_NDEBUG -ftemplate-depth-100 -pipe -frecord-gcc-switches -Wall -g -O2 -flto=auto -c -o BooleConstantTest.o BooleConstantTest.cc x86_64-alt-linux-g++ -DHAVE_CONFIG_H -I. -I.. -I../libbrial/include/polybori -I../groebner/include -I../libbrial/include -I../libbrial/include -DBOOST_TEST_DYN_LINK -DPBORI_NDEBUG -ftemplate-depth-100 -pipe -frecord-gcc-switches -Wall -g -O2 -flto=auto -c -o BooleEnvTest.o BooleEnvTest.cc x86_64-alt-linux-g++ -DHAVE_CONFIG_H -I. -I.. -I../libbrial/include/polybori -I../groebner/include -I../libbrial/include -I../libbrial/include -DBOOST_TEST_DYN_LINK -DPBORI_NDEBUG -ftemplate-depth-100 -pipe -frecord-gcc-switches -Wall -g -O2 -flto=auto -c -o BooleExponentTest.o BooleExponentTest.cc x86_64-alt-linux-g++ -DHAVE_CONFIG_H -I. -I.. -I../libbrial/include/polybori -I../groebner/include -I../libbrial/include -I../libbrial/include -DBOOST_TEST_DYN_LINK -DPBORI_NDEBUG -ftemplate-depth-100 -pipe -frecord-gcc-switches -Wall -g -O2 -flto=auto -c -o BooleMonomialTest.o BooleMonomialTest.cc x86_64-alt-linux-g++ -DHAVE_CONFIG_H -I. -I.. -I../libbrial/include/polybori -I../groebner/include -I../libbrial/include -I../libbrial/include -DBOOST_TEST_DYN_LINK -DPBORI_NDEBUG -ftemplate-depth-100 -pipe -frecord-gcc-switches -Wall -g -O2 -flto=auto -c -o BoolePolynomialTest.o BoolePolynomialTest.cc x86_64-alt-linux-g++ -DHAVE_CONFIG_H -I. -I.. -I../libbrial/include/polybori -I../groebner/include -I../libbrial/include -I../libbrial/include -DBOOST_TEST_DYN_LINK -DPBORI_NDEBUG -ftemplate-depth-100 -pipe -frecord-gcc-switches -Wall -g -O2 -flto=auto -c -o BoolePolyRingTest.o BoolePolyRingTest.cc x86_64-alt-linux-g++ -DHAVE_CONFIG_H -I. -I.. -I../libbrial/include/polybori -I../groebner/include -I../libbrial/include -I../libbrial/include -DBOOST_TEST_DYN_LINK -DPBORI_NDEBUG -ftemplate-depth-100 -pipe -frecord-gcc-switches -Wall -g -O2 -flto=auto -c -o BooleSetTest.o BooleSetTest.cc x86_64-alt-linux-g++ -DHAVE_CONFIG_H -I. -I.. -I../libbrial/include/polybori -I../groebner/include -I../libbrial/include -I../libbrial/include -DBOOST_TEST_DYN_LINK -DPBORI_NDEBUG -ftemplate-depth-100 -pipe -frecord-gcc-switches -Wall -g -O2 -flto=auto -c -o BooleVariableTest.o BooleVariableTest.cc x86_64-alt-linux-g++ -DHAVE_CONFIG_H -I. -I.. -I../libbrial/include/polybori -I../groebner/include -I../libbrial/include -I../libbrial/include -DBOOST_TEST_DYN_LINK -DPBORI_NDEBUG -ftemplate-depth-100 -pipe -frecord-gcc-switches -Wall -g -O2 -flto=auto -c -o CCuddDDFacadeTest.o CCuddDDFacadeTest.cc x86_64-alt-linux-g++ -DHAVE_CONFIG_H -I. -I.. -I../libbrial/include/polybori -I../groebner/include -I../libbrial/include -I../libbrial/include -DBOOST_TEST_DYN_LINK -DPBORI_NDEBUG -ftemplate-depth-100 -pipe -frecord-gcc-switches -Wall -g -O2 -flto=auto -c -o CFactoryBaseTest.o CFactoryBaseTest.cc x86_64-alt-linux-g++ -DHAVE_CONFIG_H -I. -I.. -I../libbrial/include/polybori -I../groebner/include -I../libbrial/include -I../libbrial/include -DBOOST_TEST_DYN_LINK -DPBORI_NDEBUG -ftemplate-depth-100 -pipe -frecord-gcc-switches -Wall -g -O2 -flto=auto -c -o CStringLiteralTest.o CStringLiteralTest.cc x86_64-alt-linux-g++ -DHAVE_CONFIG_H -I. -I.. -I../libbrial/include/polybori -I../groebner/include -I../libbrial/include -I../libbrial/include -DBOOST_TEST_DYN_LINK -DPBORI_NDEBUG -ftemplate-depth-100 -pipe -frecord-gcc-switches -Wall -g -O2 -flto=auto -c -o DegLexOrderTest.o DegLexOrderTest.cc x86_64-alt-linux-g++ -DHAVE_CONFIG_H -I. -I.. -I../libbrial/include/polybori -I../groebner/include -I../libbrial/include -I../libbrial/include -DBOOST_TEST_DYN_LINK -DPBORI_NDEBUG -ftemplate-depth-100 -pipe -frecord-gcc-switches -Wall -g -O2 -flto=auto -c -o DegRevLexAscOrderTest.o DegRevLexAscOrderTest.cc x86_64-alt-linux-g++ -DHAVE_CONFIG_H -I. -I.. -I../libbrial/include/polybori -I../groebner/include -I../libbrial/include -I../libbrial/include -DBOOST_TEST_DYN_LINK -DPBORI_NDEBUG -ftemplate-depth-100 -pipe -frecord-gcc-switches -Wall -g -O2 -flto=auto -c -o FGLMStrategyTest.o FGLMStrategyTest.cc x86_64-alt-linux-g++ -DHAVE_CONFIG_H -I. -I.. -I../libbrial/include/polybori -I../groebner/include -I../libbrial/include -I../libbrial/include -DBOOST_TEST_DYN_LINK -DPBORI_NDEBUG -ftemplate-depth-100 -pipe -frecord-gcc-switches -Wall -g -O2 -flto=auto -c -o GroebnerStrategyTest.o GroebnerStrategyTest.cc x86_64-alt-linux-g++ -DHAVE_CONFIG_H -I. -I.. -I../libbrial/include/polybori -I../groebner/include -I../libbrial/include -I../libbrial/include -DBOOST_TEST_DYN_LINK -DPBORI_NDEBUG -ftemplate-depth-100 -pipe -frecord-gcc-switches -Wall -g -O2 -flto=auto -c -o LexOrderTest.o LexOrderTest.cc x86_64-alt-linux-g++ -DHAVE_CONFIG_H -I. -I.. -I../libbrial/include/polybori -I../groebner/include -I../libbrial/include -I../libbrial/include -DBOOST_TEST_DYN_LINK -DPBORI_NDEBUG -ftemplate-depth-100 -pipe -frecord-gcc-switches -Wall -g -O2 -flto=auto -c -o MonomialFactoryTest.o MonomialFactoryTest.cc x86_64-alt-linux-g++ -DHAVE_CONFIG_H -I. -I.. -I../libbrial/include/polybori -I../groebner/include -I../libbrial/include -I../libbrial/include -DBOOST_TEST_DYN_LINK -DPBORI_NDEBUG -ftemplate-depth-100 -pipe -frecord-gcc-switches -Wall -g -O2 -flto=auto -c -o PBoRiErrorTest.o PBoRiErrorTest.cc PBoRiErrorTest.cc: In member function 'void PBoRiErrorTestSuite::test_text::test_method()': PBoRiErrorTest.cc:45:23: warning: catching polymorphic type 'class polybori::PBoRiError' by value [-Wcatch-value=] 45 | catch (PBoRiError e) { | ^ PBoRiErrorTest.cc:51:21: warning: catching polymorphic type 'class polybori::PBoRiError' by value [-Wcatch-value=] 51 | catch (PBoRiError e) { | ^ PBoRiErrorTest.cc: In member function 'void PBoRiErrorTestSuite::test_what::test_method()': PBoRiErrorTest.cc:62:23: warning: catching polymorphic type 'class polybori::PBoRiError' by value [-Wcatch-value=] 62 | catch (PBoRiError e) { | ^ PBoRiErrorTest.cc:68:21: warning: catching polymorphic type 'class polybori::PBoRiError' by value [-Wcatch-value=] 68 | catch (PBoRiError e) { | ^ PBoRiErrorTest.cc: In member function 'void PBoRiErrorTestSuite::test_code::test_method()': PBoRiErrorTest.cc:79:23: warning: catching polymorphic type 'class polybori::PBoRiError' by value [-Wcatch-value=] 79 | catch (PBoRiError e) { | ^ PBoRiErrorTest.cc:85:21: warning: catching polymorphic type 'class polybori::PBoRiError' by value [-Wcatch-value=] 85 | catch (PBoRiError e) { | ^ x86_64-alt-linux-g++ -DHAVE_CONFIG_H -I. -I.. -I../libbrial/include/polybori -I../groebner/include -I../libbrial/include -I../libbrial/include -DBOOST_TEST_DYN_LINK -DPBORI_NDEBUG -ftemplate-depth-100 -pipe -frecord-gcc-switches -Wall -g -O2 -flto=auto -c -o PolynomialFactoryTest.o PolynomialFactoryTest.cc x86_64-alt-linux-g++ -DHAVE_CONFIG_H -I. -I.. -I../libbrial/include/polybori -I../groebner/include -I../libbrial/include -I../libbrial/include -DBOOST_TEST_DYN_LINK -DPBORI_NDEBUG -ftemplate-depth-100 -pipe -frecord-gcc-switches -Wall -g -O2 -flto=auto -c -o PseudoLongProductTest.o PseudoLongProductTest.cc x86_64-alt-linux-g++ -DHAVE_CONFIG_H -I. -I.. -I../libbrial/include/polybori -I../groebner/include -I../libbrial/include -I../libbrial/include -DBOOST_TEST_DYN_LINK -DPBORI_NDEBUG -ftemplate-depth-100 -pipe -frecord-gcc-switches -Wall -g -O2 -flto=auto -c -o SetFactoryTest.o SetFactoryTest.cc x86_64-alt-linux-g++ -DHAVE_CONFIG_H -I. -I.. -I../libbrial/include/polybori -I../groebner/include -I../libbrial/include -I../libbrial/include -DBOOST_TEST_DYN_LINK -DPBORI_NDEBUG -ftemplate-depth-100 -pipe -frecord-gcc-switches -Wall -g -O2 -flto=auto -c -o spolyTest.o spolyTest.cc x86_64-alt-linux-g++ -DHAVE_CONFIG_H -I. -I.. -I../libbrial/include/polybori -I../groebner/include -I../libbrial/include -I../libbrial/include -DBOOST_TEST_DYN_LINK -DPBORI_NDEBUG -ftemplate-depth-100 -pipe -frecord-gcc-switches -Wall -g -O2 -flto=auto -c -o term_accumulateTest.o term_accumulateTest.cc x86_64-alt-linux-g++ -DHAVE_CONFIG_H -I. -I.. -I../libbrial/include/polybori -I../groebner/include -I../libbrial/include -I../libbrial/include -DBOOST_TEST_DYN_LINK -DPBORI_NDEBUG -ftemplate-depth-100 -pipe -frecord-gcc-switches -Wall -g -O2 -flto=auto -c -o VariableFactoryTest.o VariableFactoryTest.cc x86_64-alt-linux-g++ -DHAVE_CONFIG_H -I. -I.. -I../libbrial/include/polybori -I../groebner/include -I../libbrial/include -I../libbrial/include -DBOOST_TEST_DYN_LINK -DPBORI_NDEBUG -ftemplate-depth-100 -pipe -frecord-gcc-switches -Wall -g -O2 -flto=auto -c -o weak_pointersTest.o weak_pointersTest.cc x86_64-alt-linux-g++ -DHAVE_CONFIG_H -I. -I.. -I../libbrial/include/polybori -I../groebner/include -I../libbrial/include -I../libbrial/include -DBOOST_TEST_DYN_LINK -DPBORI_NDEBUG -ftemplate-depth-100 -pipe -frecord-gcc-switches -Wall -g -O2 -flto=auto -c -o unittests.o unittests.cc /bin/sh ../libtool --tag=CXX --mode=link x86_64-alt-linux-g++ -ftemplate-depth-100 -pipe -frecord-gcc-switches -Wall -g -O2 -flto=auto -lboost_unit_test_framework-mt -o unittests BlockDegLexOrderTest.o BlockDegRevLexAscOrderTest.o BooleConstantTest.o BooleEnvTest.o BooleExponentTest.o BooleMonomialTest.o BoolePolynomialTest.o BoolePolyRingTest.o BooleSetTest.o BooleVariableTest.o CCuddDDFacadeTest.o CFactoryBaseTest.o CStringLiteralTest.o DegLexOrderTest.o DegRevLexAscOrderTest.o FGLMStrategyTest.o GroebnerStrategyTest.o LexOrderTest.o MonomialFactoryTest.o PBoRiErrorTest.o PolynomialFactoryTest.o PseudoLongProductTest.o SetFactoryTest.o spolyTest.o term_accumulateTest.o VariableFactoryTest.o weak_pointersTest.o unittests.o ../groebner/src/libbrial_groebner.la ../libbrial.la -lm4ri -lgd libtool: link: x86_64-alt-linux-g++ -ftemplate-depth-100 -pipe -frecord-gcc-switches -Wall -g -O2 -flto=auto -o .libs/unittests BlockDegLexOrderTest.o BlockDegRevLexAscOrderTest.o BooleConstantTest.o BooleEnvTest.o BooleExponentTest.o BooleMonomialTest.o BoolePolynomialTest.o BoolePolyRingTest.o BooleSetTest.o BooleVariableTest.o CCuddDDFacadeTest.o CFactoryBaseTest.o CStringLiteralTest.o DegLexOrderTest.o DegRevLexAscOrderTest.o FGLMStrategyTest.o GroebnerStrategyTest.o LexOrderTest.o MonomialFactoryTest.o PBoRiErrorTest.o PolynomialFactoryTest.o PseudoLongProductTest.o SetFactoryTest.o spolyTest.o term_accumulateTest.o VariableFactoryTest.o weak_pointersTest.o unittests.o -lboost_unit_test_framework-mt ../groebner/src/.libs/libbrial_groebner.so ../.libs/libbrial.so -lm4ri -lgd make[2]: Leaving directory '/usr/src/RPM/BUILD/brial-1.2.12/tests' make check-TESTS make[2]: Entering directory '/usr/src/RPM/BUILD/brial-1.2.12/tests' make[3]: Entering directory '/usr/src/RPM/BUILD/brial-1.2.12/tests' PASS: unittests ============================================================================ Testsuite summary for BRiAl 1.2.12 ============================================================================ # TOTAL: 1 # PASS: 1 # SKIP: 0 # XFAIL: 0 # FAIL: 0 # XPASS: 0 # ERROR: 0 ============================================================================ make[3]: Leaving directory '/usr/src/RPM/BUILD/brial-1.2.12/tests' make[2]: Leaving directory '/usr/src/RPM/BUILD/brial-1.2.12/tests' make[1]: Leaving directory '/usr/src/RPM/BUILD/brial-1.2.12/tests' make: Leaving directory '/usr/src/RPM/BUILD/brial-1.2.12' + exit 0 Processing files: libbrial3-1.2.12-alt1 Executing(%doc): /bin/sh -e /usr/src/tmp/rpm-tmp.67133 + umask 022 + /bin/mkdir -p /usr/src/RPM/BUILD + cd /usr/src/RPM/BUILD + cd brial-1.2.12 + DOCDIR=/usr/src/tmp/brial-buildroot/usr/share/doc/libbrial3-1.2.12 + export DOCDIR + rm -rf /usr/src/tmp/brial-buildroot/usr/share/doc/libbrial3-1.2.12 + /bin/mkdir -p /usr/src/tmp/brial-buildroot/usr/share/doc/libbrial3-1.2.12 + cp -prL README /usr/src/tmp/brial-buildroot/usr/share/doc/libbrial3-1.2.12 + chmod -R go-w /usr/src/tmp/brial-buildroot/usr/share/doc/libbrial3-1.2.12 + chmod -R a+rX /usr/src/tmp/brial-buildroot/usr/share/doc/libbrial3-1.2.12 + cp -prL LICENSE /usr/src/tmp/brial-buildroot/usr/share/doc/libbrial3-1.2.12 + chmod -R go-w /usr/src/tmp/brial-buildroot/usr/share/doc/libbrial3-1.2.12 + chmod -R a+rX /usr/src/tmp/brial-buildroot/usr/share/doc/libbrial3-1.2.12 + exit 0 Finding Provides (using /usr/lib/rpm/find-provides) Executing: /bin/sh -e /usr/src/tmp/rpm-tmp.V264XZ find-provides: running scripts (debuginfo,lib,pam,perl,pkgconfig,python,python3,shell) lib.prov: /usr/src/tmp/brial-buildroot/usr/lib64/libbrial.so.3: 600 symbols, 20 bpp lib.prov: /usr/src/tmp/brial-buildroot/usr/lib64/libbrial_groebner.so.3: 178 symbols, 18 bpp Finding Requires (using /usr/lib/rpm/find-requires) Executing: /bin/sh -e /usr/src/tmp/rpm-tmp.MnZUHC find-requires: running scripts (cpp,debuginfo,files,lib,pam,perl,pkgconfig,pkgconfiglib,python,python3,rpmlib,shebang,shell,static,symlinks,systemd-services) Provides: libbrial.so.3()(64bit) = set:ndo4CajwyKoh5umLmKpdZqxRwbw9r7H4Rg8ek3vrG3a26xwJrAMfoqRP5lxh1nChMtJZp9ffjqccpZitkq3E3IkaEb2YO1eOZuJMDUoQshZ2YO0qIt8hDlVv5QZ9DuO34mAhi4HjGAXILDNb830Ry6ADa56hsUOLAZ19TCcTAc3Y0zrEvhPODE4F6sCIray0uZvZue6P8Imq4PK6WCwQHMw8QZwtDnt90ykZEhu2kFQ4IDAIkFV80IJczsDpNRnkMk2hq3sx4qvU706z3AWHyxU4Ja3ZK11sVaLG4GygerYaXw0e5FgPZGsZefK3jsnCMXQ9KbZJwxfM3zrA1f6qfLQ9uJIZkdkaKkEDrWyQVYgeu6JeIbNaYZGD4o59Idc7vyFGtd7SaSiWm1ry3wIOkp8GnsHPCAZaHez0s4cF8xorjebjAl6cIUzJY3RkUKwsJczo9w4dJKBVXyLzZuXbf3pJOqzjZ7QoEQ0zeCC54ZvWykjep7ZH5S90Xz5ZCz4i0ZciYPS3bRQFAiB4wG7LL5hNiitumwWcPoUAv4wQ1e66Hall2Zves1Gu8A2OruhuZoeqIxTi2NcSBqFDbt2oWQ9SrSAhKIxQzazKyI1JzbSZgyA4K4SagnAiaF3GMItDeeWhM5WcqgYOKinkA7IX8TsZxEyFbCVmAWGdm0FrJ2NW7nIJIFIvboDSS2iGeZe8tEaxQmusVrmOP7Z1NsVVFl1mcH6U7G10UleR8O16FOXvvjgHYnZr2fEC9S6jwlfLw84QGwF5WsMZf2WRPBtaZjr6mbUUyQKssZeWAv8dGWBW0nO2BEAgFwNP6GZ4eUfXj1RJUgm7YVZvRuZr2lR36tjZmUY0zLIElkymmpNpv3JSTTYoDOD2af6o2DCgWgMPNjB2S9ISJTVKjpyHpfZaBCsU05MQ9U1ERNU8GsAjlQ3xe3MOKK4qYZgjzZaUP1YNDzO3fDtnwSRifos3yDYscPEMSo9A9Q2ISsMstox6pDaQN2thQoqZcxyFvQ2YNsUFbtMwRf14TRnazWu22zl3BlPFQHMgQdl9D0sAw5j6xDVQxX9ZtydxKZr0wgmKOnpXQeecN8Zr3a6GdQUOSYYT22nXdwIQ14AWL3faQvry71G8JGWQowa4L649E0IDMOHkPp1wcrqoK5lOMY8S7v0Zb0Xd53kybjwWQd9QGc26oZF8T0Ami93DQMFvF2Zmk1wrKZkAZoIi1BskRwLCEhMMgzfgi6djdk, libbrial_groebner.so.3()(64bit) = set:ldZyt045obaTw2PbAMJ1HmRY9eWUQ7c6tjcoa4Q1mbb384ca8s3D0lOxRNG2tJBDiD4XmcZya55dI6DzXpD39mDgFZp95JViAMfiS7jncfa90ZAozcIdEG83U5SUkAZbxrx33lnKZkbTGhta027uoubLFIgQxOuGPdPSl6kC2DcBcLp3WRaofPmTX9EQJ8k5BwxZDwgEsTP7ijrlGA6ENZk7bN3pNXk440yghPBh7oup3BP6xkEIxVZ8lQU25EDoKF4Dar7GrQzE27ZsgyWNQ0TycOGpsrrMHyKw2lOyGvtWJBlB3r5Z3UQtZJW4sgkciMcoU6xYWIoCzCjgN6zFpilYZKyuRNBdqPWA33lPZpF Requires: libc.so.6(GLIBC_2.14)(64bit), libc.so.6(GLIBC_2.2.5)(64bit), libc.so.6(GLIBC_2.3.4)(64bit), libc.so.6(GLIBC_2.32)(64bit), libc.so.6(GLIBC_2.4)(64bit), libgcc_s.so.1(GCC_3.0)(64bit), libgcc_s.so.1(GCC_3.3.1)(64bit), libgd.so.3()(64bit) >= set:lie1Oa51KENhSbU7SRr, libm.so.6(GLIBC_2.29)(64bit), libm4ri-0.0.20200125.so()(64bit) >= set:lhDKFy4VsuZvbLKkoFJ7QpRH8OZqrZk0, libstdc++.so.6(CXXABI_1.3)(64bit), libstdc++.so.6(CXXABI_1.3.9)(64bit), libstdc++.so.6(GLIBCXX_3.4)(64bit), libstdc++.so.6(GLIBCXX_3.4.11)(64bit), libstdc++.so.6(GLIBCXX_3.4.18)(64bit), libstdc++.so.6(GLIBCXX_3.4.21)(64bit), libstdc++.so.6(GLIBCXX_3.4.26)(64bit), libstdc++.so.6(GLIBCXX_3.4.29)(64bit), libstdc++.so.6(GLIBCXX_3.4.9)(64bit), rtld(GNU_HASH) Requires(rpmlib): rpmlib(SetVersions) Finding debuginfo files (using /usr/lib/rpm/find-debuginfo-files) Executing: /bin/sh -e /usr/src/tmp/rpm-tmp.pqxe4K Creating libbrial3-debuginfo package Processing files: libbrial-devel-1.2.12-alt1 Finding Provides (using /usr/lib/rpm/find-provides) Executing: /bin/sh -e /usr/src/tmp/rpm-tmp.68XV3K find-provides: running scripts (debuginfo,lib,pam,perl,pkgconfig,python,python3,shell) Finding Requires (using /usr/lib/rpm/find-requires) Executing: /bin/sh -e /usr/src/tmp/rpm-tmp.gbzZOL find-requires: running scripts (cpp,debuginfo,files,lib,pam,perl,pkgconfig,pkgconfiglib,python,python3,rpmlib,shebang,shell,static,symlinks,systemd-services) In file included from /usr/src/tmp/brial-buildroot/usr/include/polybori/BooleSet.h:20, from /usr/src/tmp/brial-buildroot/usr/include/polybori/polybori.h:19, from /usr/src/tmp/brial-buildroot/usr/include/polybori.h:19: /usr/src/tmp/brial-buildroot/usr/include/polybori/pbori_defs.h:22:10: fatal error: cstddef: No such file or directory 22 | #include | ^~~~~~~~~ compilation terminated. cpp.req: /usr/src/tmp/brial-buildroot/usr/include/polybori.h: cpp failed, trying c++ mode Requires: /usr/lib64/libbrial.so.3.0.7, /usr/lib64/libbrial_groebner.so.3.0.7, boost-devel-headers, libgd3-devel, libm4ri-devel Finding debuginfo files (using /usr/lib/rpm/find-debuginfo-files) Executing: /bin/sh -e /usr/src/tmp/rpm-tmp.LGTvIg Processing files: libbrial3-debuginfo-1.2.12-alt1 Finding Provides (using /usr/lib/rpm/find-provides) Executing: /bin/sh -e /usr/src/tmp/rpm-tmp.ui7wqc find-provides: running scripts (debuginfo) Finding Requires (using /usr/lib/rpm/find-requires) Executing: /bin/sh -e /usr/src/tmp/rpm-tmp.C37W98 find-requires: running scripts (debuginfo) Provides: debug64(libbrial.so.3), debug64(libbrial_groebner.so.3) Requires: libbrial3 = 1.2.12-alt1, debug64(libc.so.6), debug64(libgcc_s.so.1), debug64(libgd.so.3), debug64(libm.so.6), debug64(libm4ri-0.0.20200125.so), debug64(libstdc++.so.6) Adding to libbrial3-debuginfo a strict dependency on libbrial3 Adding to libbrial-devel a strict dependency on libbrial3 Removing 2 extra deps from libbrial-devel due to dependency on libbrial3 Wrote: /usr/src/RPM/RPMS/x86_64/libbrial3-1.2.12-alt1.x86_64.rpm (w2.lzdio) Wrote: /usr/src/RPM/RPMS/x86_64/libbrial-devel-1.2.12-alt1.x86_64.rpm (w2.lzdio) Wrote: /usr/src/RPM/RPMS/x86_64/libbrial3-debuginfo-1.2.12-alt1.x86_64.rpm (w2T8.xzdio) 414.49user 33.26system 4:40.16elapsed 159%CPU (0avgtext+0avgdata 428528maxresident)k 0inputs+0outputs (0major+9346757minor)pagefaults 0swaps 2.90user 1.52system 4:52.61elapsed 1%CPU (0avgtext+0avgdata 111380maxresident)k 2240inputs+0outputs (32492major+177986minor)pagefaults 0swaps