Mock Version: 1.4.16 Mock Version: 1.4.16 ENTER ['do_with_status'](['bash', '--login', '-c', '/usr/bin/rpmbuild -bs --target armv7hl --nodeps /builddir/build/SPECS/brial.spec'], chrootPath='/var/lib/mock/f30-build-16677757-1208002/root'env={'TERM': 'vt100', 'SHELL': '/bin/bash', 'HOME': '/builddir', 'HOSTNAME': 'mock', 'PATH': '/usr/bin:/bin:/usr/sbin:/sbin', 'PROMPT_COMMAND': 'printf "\\033]0;\\007"', 'PS1': ' \\s-\\v\\$ ', 'LANG': 'C.UTF-8'}shell=Falselogger=timeout=172800uid=1000gid=425user='mockbuild'nspawn_args=[]unshare_net=TrueprintOutput=False) Executing command: ['bash', '--login', '-c', '/usr/bin/rpmbuild -bs --target armv7hl --nodeps /builddir/build/SPECS/brial.spec'] with env {'TERM': 'vt100', 'SHELL': '/bin/bash', 'HOME': '/builddir', 'HOSTNAME': 'mock', 'PATH': '/usr/bin:/bin:/usr/sbin:/sbin', 'PROMPT_COMMAND': 'printf "\\033]0;\\007"', 'PS1': ' \\s-\\v\\$ ', 'LANG': 'C.UTF-8'} and shell False Building target platforms: armv7hl Building for target armv7hl Wrote: /builddir/build/SRPMS/brial-1.2.5-1.fc30.src.rpm Child return code was: 0 ENTER ['do_with_status'](['bash', '--login', '-c', '/usr/bin/rpmbuild -bb --target armv7hl --nodeps /builddir/build/SPECS/brial.spec'], chrootPath='/var/lib/mock/f30-build-16677757-1208002/root'env={'TERM': 'vt100', 'SHELL': '/bin/bash', 'HOME': '/builddir', 'HOSTNAME': 'mock', 'PATH': '/usr/bin:/bin:/usr/sbin:/sbin', 'PROMPT_COMMAND': 'printf "\\033]0;\\007"', 'PS1': ' \\s-\\v\\$ ', 'LANG': 'C.UTF-8'}shell=Falselogger=timeout=172800uid=1000gid=425user='mockbuild'nspawn_args=[]unshare_net=TrueprintOutput=False) Executing command: ['bash', '--login', '-c', '/usr/bin/rpmbuild -bb --target armv7hl --nodeps /builddir/build/SPECS/brial.spec'] with env {'TERM': 'vt100', 'SHELL': '/bin/bash', 'HOME': '/builddir', 'HOSTNAME': 'mock', 'PATH': '/usr/bin:/bin:/usr/sbin:/sbin', 'PROMPT_COMMAND': 'printf "\\033]0;\\007"', 'PS1': ' \\s-\\v\\$ ', 'LANG': 'C.UTF-8'} and shell False Building target platforms: armv7hl Building for target armv7hl Executing(%prep): /bin/sh -e /var/tmp/rpm-tmp.cInsra + umask 022 + cd /builddir/build/BUILD + cd /builddir/build/BUILD + rm -rf brial-1.2.5 + /usr/bin/bzip2 -dc /builddir/build/SOURCES/brial-1.2.5.tar.bz2 + /usr/bin/tar -xof - + STATUS=0 + '[' 0 -ne 0 ']' + cd brial-1.2.5 + /usr/bin/chmod -Rf a+rX,u+w,g-w,o-w . + exit 0 Executing(%build): /bin/sh -e /var/tmp/rpm-tmp.EaxvFn + umask 022 + cd /builddir/build/BUILD + cd brial-1.2.5 + export CPPFLAGS=-DPBORI_NDEBUG + CPPFLAGS=-DPBORI_NDEBUG + CFLAGS='-O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -march=armv7-a -mfpu=vfpv3-d16 -mtune=generic-armv7-a -mabi=aapcs-linux -mfloat-abi=hard' + export CFLAGS + CXXFLAGS='-O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -march=armv7-a -mfpu=vfpv3-d16 -mtune=generic-armv7-a -mabi=aapcs-linux -mfloat-abi=hard' + export CXXFLAGS + FFLAGS='-O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -march=armv7-a -mfpu=vfpv3-d16 -mtune=generic-armv7-a -mabi=aapcs-linux -mfloat-abi=hard -I/usr/lib/gfortran/modules' + export FFLAGS + FCFLAGS='-O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -march=armv7-a -mfpu=vfpv3-d16 -mtune=generic-armv7-a -mabi=aapcs-linux -mfloat-abi=hard -I/usr/lib/gfortran/modules' + export FCFLAGS + LDFLAGS='-Wl,-z,relro -Wl,--as-needed -Wl,-z,now -specs=/usr/lib/rpm/redhat/redhat-hardened-ld' + export LDFLAGS + '[' 1 = 1 ']' BUILDSTDERR: +++ dirname ./configure BUILDSTDERR: ++ find . -name config.guess -o -name config.sub + for i in $(find $(dirname ./configure) -name config.guess -o -name config.sub) BUILDSTDERR: ++ basename ./config.sub + '[' -f /usr/lib/rpm/redhat/config.sub ']' + /usr/bin/rm -f ./config.sub BUILDSTDERR: ++ basename ./config.sub + /usr/bin/cp -fv /usr/lib/rpm/redhat/config.sub ./config.sub '/usr/lib/rpm/redhat/config.sub' -> './config.sub' + for i in $(find $(dirname ./configure) -name config.guess -o -name config.sub) BUILDSTDERR: ++ basename ./config.guess + '[' -f /usr/lib/rpm/redhat/config.guess ']' + /usr/bin/rm -f ./config.guess BUILDSTDERR: ++ basename ./config.guess + /usr/bin/cp -fv /usr/lib/rpm/redhat/config.guess ./config.guess '/usr/lib/rpm/redhat/config.guess' -> './config.guess' + '[' 1 = 1 ']' + '[' x '!=' 'x-Wl,-z,now -specs=/usr/lib/rpm/redhat/redhat-hardened-ld' ']' BUILDSTDERR: ++ find . -name ltmain.sh + for i in $(find . -name ltmain.sh) + /usr/bin/sed -i.backup -e 's~compiler_flags=$~compiler_flags="-Wl,-z,now -specs=/usr/lib/rpm/redhat/redhat-hardened-ld"~' ./ltmain.sh + ./configure --build=armv7hl-redhat-linux-gnu --host=armv7hl-redhat-linux-gnu --program-prefix= --disable-dependency-tracking --prefix=/usr --exec-prefix=/usr --bindir=/usr/bin --sbindir=/usr/sbin --sysconfdir=/etc --datadir=/usr/share --includedir=/usr/include --libdir=/usr/lib --libexecdir=/usr/libexec --localstatedir=/var --sharedstatedir=/var/lib --mandir=/usr/share/man --infodir=/usr/share/info --enable-shared --disable-static checking for a BSD-compatible install... /usr/bin/install -c checking whether build environment is sane... yes checking for a thread-safe mkdir -p... /usr/bin/mkdir -p checking for gawk... gawk checking whether make sets $(MAKE)... yes checking whether make supports nested variables... yes checking whether UID '1000' is supported by ustar format... yes checking whether GID '425' is supported by ustar format... yes checking how to create a ustar tar archive... gnutar checking for style of include used by make... GNU checking for armv7hl-redhat-linux-gnu-gcc... no checking for gcc... gcc checking whether the C compiler works... yes checking for C compiler default output file name... a.out checking for suffix of executables... checking whether we are cross compiling... no checking for suffix of object files... o checking whether we are using the GNU C compiler... yes checking whether gcc accepts -g... yes checking for gcc option to accept ISO C89... none needed checking whether gcc understands -c and -o together... yes checking dependency style of gcc... none checking for armv7hl-redhat-linux-gnu-ar... no checking for armv7hl-redhat-linux-gnu-lib... no checking for armv7hl-redhat-linux-gnu-link... no checking for ar... ar checking the archiver (ar) interface... ar checking build system type... armv7hl-redhat-linux-gnu checking host system type... armv7hl-redhat-linux-gnu checking how to print strings... printf checking for a sed that does not truncate output... /usr/bin/sed checking for grep that handles long lines and -e... /usr/bin/grep checking for egrep... /usr/bin/grep -E checking for fgrep... /usr/bin/grep -F checking for ld used by gcc... /usr/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 armv7hl-redhat-linux-gnu file names to armv7hl-redhat-linux-gnu format... func_convert_file_noop checking how to convert armv7hl-redhat-linux-gnu file names to toolchain format... func_convert_file_noop checking for /usr/bin/ld option to reload object files... -r checking for armv7hl-redhat-linux-gnu-objdump... no checking for objdump... objdump checking how to recognize dependent libraries... pass_all checking for armv7hl-redhat-linux-gnu-dlltool... no checking for dlltool... no checking how to associate runtime and link libraries... printf %s\n checking for armv7hl-redhat-linux-gnu-ar... ar checking for archiver @FILE support... @ checking for armv7hl-redhat-linux-gnu-strip... no checking for strip... strip checking for armv7hl-redhat-linux-gnu-ranlib... no checking for ranlib... ranlib checking command to parse /usr/bin/nm -B output from gcc object... ok checking for sysroot... no checking for a working dd... /usr/bin/dd checking how to truncate binary pipes... /usr/bin/dd bs=4096 count=1 checking for armv7hl-redhat-linux-gnu-mt... no checking for mt... no checking if : is a manifest tool... no checking how to run the C preprocessor... gcc -E checking for ANSI C header files... yes checking for sys/types.h... yes checking for sys/stat.h... yes checking for stdlib.h... yes checking for string.h... yes checking for memory.h... yes checking for strings.h... yes checking for inttypes.h... yes checking for stdint.h... yes checking for unistd.h... yes checking for dlfcn.h... yes checking for objdir... .libs checking if gcc supports -fno-rtti -fno-exceptions... no checking for gcc option to produce PIC... -fPIC -DPIC checking if gcc PIC flag -fPIC -DPIC works... yes checking if gcc static flag -static works... no checking if gcc supports -c -o file.o... yes checking if gcc supports -c -o file.o... (cached) yes checking whether the gcc linker (/usr/bin/ld) 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 gcc option to accept ISO C99... none needed checking for armv7hl-redhat-linux-gnu-g++... no checking for armv7hl-redhat-linux-gnu-c++... no checking for armv7hl-redhat-linux-gnu-gpp... no checking for armv7hl-redhat-linux-gnu-aCC... no checking for armv7hl-redhat-linux-gnu-CC... no checking for armv7hl-redhat-linux-gnu-cxx... no checking for armv7hl-redhat-linux-gnu-cc++... no checking for armv7hl-redhat-linux-gnu-cl.exe... no checking for armv7hl-redhat-linux-gnu-FCC... no checking for armv7hl-redhat-linux-gnu-KCC... no checking for armv7hl-redhat-linux-gnu-RCC... no checking for armv7hl-redhat-linux-gnu-xlC_r... no checking for armv7hl-redhat-linux-gnu-xlC... no checking for g++... g++ checking whether we are using the GNU C++ compiler... yes checking whether g++ accepts -g... yes checking dependency style of g++... none checking how to run the C++ preprocessor... g++ -E checking for ld used by g++... /usr/bin/ld checking if the linker (/usr/bin/ld) is GNU ld... yes checking whether the g++ linker (/usr/bin/ld) supports shared libraries... yes checking for g++ option to produce PIC... -fPIC -DPIC checking if g++ PIC flag -fPIC -DPIC works... yes checking if g++ static flag -static works... no checking if g++ supports -c -o file.o... yes checking if g++ supports -c -o file.o... (cached) yes checking whether the g++ linker (/usr/bin/ld) supports shared libraries... yes checking dynamic linker characteristics... (cached) GNU/Linux ld.so checking how to hardcode library paths into programs... immediate checking whether g++ supports C++11 features by default... yes checking for long long... yes checking size of void *... 4 checking size of int... 4 checking size of long... 4 checking for boostlib >= 1.58.0... yes checking whether the Boost::Unit_Test_Framework library is available... yes checking for armv7hl-redhat-linux-gnu-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... -fopenmp checking for libpng... 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 libbrial/include/polybori/config.h config.status: executing depfiles commands config.status: executing libtool commands + sed -e 's|^hardcode_libdir_flag_spec=.*|hardcode_libdir_flag_spec=""|g' -e 's|^runpath_var=LD_RUN_PATH|runpath_var=DIE_RPATH_DIE|g' -e 's|CC="\(g..\)"|CC="\1 -Wl,--as-needed"|' -i libtool + make -j4 Making all in cudd make[1]: Entering directory '/builddir/build/BUILD/brial-1.2.5/cudd' /bin/sh ../libtool --tag=CC --mode=compile gcc -DHAVE_CONFIG_H -I. -I../libbrial/include/polybori -I../groebner/include -I../libbrial/include -I../libbrial/include -DPBORI_NDEBUG -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -march=armv7-a -mfpu=vfpv3-d16 -mtune=generic-armv7-a -mabi=aapcs-linux -mfloat-abi=hard -c -o cuddAPI.lo cuddAPI.c /bin/sh ../libtool --tag=CC --mode=compile gcc -DHAVE_CONFIG_H -I. -I../libbrial/include/polybori -I../groebner/include -I../libbrial/include -I../libbrial/include -DPBORI_NDEBUG -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -march=armv7-a -mfpu=vfpv3-d16 -mtune=generic-armv7-a -mabi=aapcs-linux -mfloat-abi=hard -c -o cuddCache.lo cuddCache.c /bin/sh ../libtool --tag=CC --mode=compile gcc -DHAVE_CONFIG_H -I. -I../libbrial/include/polybori -I../groebner/include -I../libbrial/include -I../libbrial/include -DPBORI_NDEBUG -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -march=armv7-a -mfpu=vfpv3-d16 -mtune=generic-armv7-a -mabi=aapcs-linux -mfloat-abi=hard -c -o cuddInit.lo cuddInit.c /bin/sh ../libtool --tag=CC --mode=compile gcc -DHAVE_CONFIG_H -I. -I../libbrial/include/polybori -I../groebner/include -I../libbrial/include -I../libbrial/include -DPBORI_NDEBUG -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -march=armv7-a -mfpu=vfpv3-d16 -mtune=generic-armv7-a -mabi=aapcs-linux -mfloat-abi=hard -c -o cuddLCache.lo cuddLCache.c libtool: compile: gcc -DHAVE_CONFIG_H -I. -I../libbrial/include/polybori -I../groebner/include -I../libbrial/include -I../libbrial/include -DPBORI_NDEBUG -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -march=armv7-a -mfpu=vfpv3-d16 -mtune=generic-armv7-a -mabi=aapcs-linux -mfloat-abi=hard -c cuddInit.c -fPIC -DPIC -o .libs/cuddInit.o libtool: compile: gcc -DHAVE_CONFIG_H -I. -I../libbrial/include/polybori -I../groebner/include -I../libbrial/include -I../libbrial/include -DPBORI_NDEBUG -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -march=armv7-a -mfpu=vfpv3-d16 -mtune=generic-armv7-a -mabi=aapcs-linux -mfloat-abi=hard -c cuddAPI.c -fPIC -DPIC -o .libs/cuddAPI.o libtool: compile: gcc -DHAVE_CONFIG_H -I. -I../libbrial/include/polybori -I../groebner/include -I../libbrial/include -I../libbrial/include -DPBORI_NDEBUG -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -march=armv7-a -mfpu=vfpv3-d16 -mtune=generic-armv7-a -mabi=aapcs-linux -mfloat-abi=hard -c cuddLCache.c -fPIC -DPIC -o .libs/cuddLCache.o libtool: compile: gcc -DHAVE_CONFIG_H -I. -I../libbrial/include/polybori -I../groebner/include -I../libbrial/include -I../libbrial/include -DPBORI_NDEBUG -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -march=armv7-a -mfpu=vfpv3-d16 -mtune=generic-armv7-a -mabi=aapcs-linux -mfloat-abi=hard -c cuddCache.c -fPIC -DPIC -o .libs/cuddCache.o /bin/sh ../libtool --tag=CC --mode=compile gcc -DHAVE_CONFIG_H -I. -I../libbrial/include/polybori -I../groebner/include -I../libbrial/include -I../libbrial/include -DPBORI_NDEBUG -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -march=armv7-a -mfpu=vfpv3-d16 -mtune=generic-armv7-a -mabi=aapcs-linux -mfloat-abi=hard -c -o cuddRef.lo cuddRef.c libtool: compile: gcc -DHAVE_CONFIG_H -I. -I../libbrial/include/polybori -I../groebner/include -I../libbrial/include -I../libbrial/include -DPBORI_NDEBUG -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -march=armv7-a -mfpu=vfpv3-d16 -mtune=generic-armv7-a -mabi=aapcs-linux -mfloat-abi=hard -c cuddRef.c -fPIC -DPIC -o .libs/cuddRef.o /bin/sh ../libtool --tag=CC --mode=compile gcc -DHAVE_CONFIG_H -I. -I../libbrial/include/polybori -I../groebner/include -I../libbrial/include -I../libbrial/include -DPBORI_NDEBUG -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -march=armv7-a -mfpu=vfpv3-d16 -mtune=generic-armv7-a -mabi=aapcs-linux -mfloat-abi=hard -c -o cuddTable.lo cuddTable.c libtool: compile: gcc -DHAVE_CONFIG_H -I. -I../libbrial/include/polybori -I../groebner/include -I../libbrial/include -I../libbrial/include -DPBORI_NDEBUG -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -march=armv7-a -mfpu=vfpv3-d16 -mtune=generic-armv7-a -mabi=aapcs-linux -mfloat-abi=hard -c cuddTable.c -fPIC -DPIC -o .libs/cuddTable.o /bin/sh ../libtool --tag=CC --mode=compile gcc -DHAVE_CONFIG_H -I. -I../libbrial/include/polybori -I../groebner/include -I../libbrial/include -I../libbrial/include -DPBORI_NDEBUG -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -march=armv7-a -mfpu=vfpv3-d16 -mtune=generic-armv7-a -mabi=aapcs-linux -mfloat-abi=hard -c -o cuddZddFuncs.lo cuddZddFuncs.c /bin/sh ../libtool --tag=CC --mode=compile gcc -DHAVE_CONFIG_H -I. -I../libbrial/include/polybori -I../groebner/include -I../libbrial/include -I../libbrial/include -DPBORI_NDEBUG -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -march=armv7-a -mfpu=vfpv3-d16 -mtune=generic-armv7-a -mabi=aapcs-linux -mfloat-abi=hard -c -o cuddZddSetop.lo cuddZddSetop.c libtool: compile: gcc -DHAVE_CONFIG_H -I. -I../libbrial/include/polybori -I../groebner/include -I../libbrial/include -I../libbrial/include -DPBORI_NDEBUG -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -march=armv7-a -mfpu=vfpv3-d16 -mtune=generic-armv7-a -mabi=aapcs-linux -mfloat-abi=hard -c cuddZddFuncs.c -fPIC -DPIC -o .libs/cuddZddFuncs.o libtool: compile: gcc -DHAVE_CONFIG_H -I. -I../libbrial/include/polybori -I../groebner/include -I../libbrial/include -I../libbrial/include -DPBORI_NDEBUG -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -march=armv7-a -mfpu=vfpv3-d16 -mtune=generic-armv7-a -mabi=aapcs-linux -mfloat-abi=hard -c cuddZddSetop.c -fPIC -DPIC -o .libs/cuddZddSetop.o /bin/sh ../libtool --tag=CC --mode=link gcc -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -march=armv7-a -mfpu=vfpv3-d16 -mtune=generic-armv7-a -mabi=aapcs-linux -mfloat-abi=hard -Wl,-z,relro -Wl,--as-needed -Wl,-z,now -specs=/usr/lib/rpm/redhat/redhat-hardened-ld -o libcudd.la cuddAPI.lo cuddCache.lo cuddInit.lo cuddLCache.lo cuddRef.lo cuddTable.lo cuddZddFuncs.lo cuddZddSetop.lo libtool: link: ar cru .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[1]: Leaving directory '/builddir/build/BUILD/brial-1.2.5/cudd' Making all in libbrial make[1]: Entering directory '/builddir/build/BUILD/brial-1.2.5/libbrial' Making all in src make[2]: Entering directory '/builddir/build/BUILD/brial-1.2.5/libbrial/src' /bin/sh ../../libtool --tag=CXX --mode=compile g++ -DHAVE_CONFIG_H -I. -I../../libbrial/include/polybori -I../../groebner/include -I../../libbrial/include -I../../libbrial/include -DPBORI_NDEBUG -ftemplate-depth-100 -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -march=armv7-a -mfpu=vfpv3-d16 -mtune=generic-armv7-a -mabi=aapcs-linux -mfloat-abi=hard -c -o BlockDegLexOrder.lo BlockDegLexOrder.cc /bin/sh ../../libtool --tag=CXX --mode=compile g++ -DHAVE_CONFIG_H -I. -I../../libbrial/include/polybori -I../../groebner/include -I../../libbrial/include -I../../libbrial/include -DPBORI_NDEBUG -ftemplate-depth-100 -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -march=armv7-a -mfpu=vfpv3-d16 -mtune=generic-armv7-a -mabi=aapcs-linux -mfloat-abi=hard -c -o BlockDegRevLexAscOrder.lo BlockDegRevLexAscOrder.cc /bin/sh ../../libtool --tag=CXX --mode=compile g++ -DHAVE_CONFIG_H -I. -I../../libbrial/include/polybori -I../../groebner/include -I../../libbrial/include -I../../libbrial/include -DPBORI_NDEBUG -ftemplate-depth-100 -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -march=armv7-a -mfpu=vfpv3-d16 -mtune=generic-armv7-a -mabi=aapcs-linux -mfloat-abi=hard -c -o BooleEnv.lo BooleEnv.cc /bin/sh ../../libtool --tag=CXX --mode=compile g++ -DHAVE_CONFIG_H -I. -I../../libbrial/include/polybori -I../../groebner/include -I../../libbrial/include -I../../libbrial/include -DPBORI_NDEBUG -ftemplate-depth-100 -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -march=armv7-a -mfpu=vfpv3-d16 -mtune=generic-armv7-a -mabi=aapcs-linux -mfloat-abi=hard -c -o BooleExponent.lo BooleExponent.cc libtool: compile: g++ -DHAVE_CONFIG_H -I. -I../../libbrial/include/polybori -I../../groebner/include -I../../libbrial/include -I../../libbrial/include -DPBORI_NDEBUG -ftemplate-depth-100 -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -march=armv7-a -mfpu=vfpv3-d16 -mtune=generic-armv7-a -mabi=aapcs-linux -mfloat-abi=hard -c BlockDegRevLexAscOrder.cc -fPIC -DPIC -o .libs/BlockDegRevLexAscOrder.o libtool: compile: g++ -DHAVE_CONFIG_H -I. -I../../libbrial/include/polybori -I../../groebner/include -I../../libbrial/include -I../../libbrial/include -DPBORI_NDEBUG -ftemplate-depth-100 -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -march=armv7-a -mfpu=vfpv3-d16 -mtune=generic-armv7-a -mabi=aapcs-linux -mfloat-abi=hard -c BooleEnv.cc -fPIC -DPIC -o .libs/BooleEnv.o libtool: compile: g++ -DHAVE_CONFIG_H -I. -I../../libbrial/include/polybori -I../../groebner/include -I../../libbrial/include -I../../libbrial/include -DPBORI_NDEBUG -ftemplate-depth-100 -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -march=armv7-a -mfpu=vfpv3-d16 -mtune=generic-armv7-a -mabi=aapcs-linux -mfloat-abi=hard -c BooleExponent.cc -fPIC -DPIC -o .libs/BooleExponent.o libtool: compile: g++ -DHAVE_CONFIG_H -I. -I../../libbrial/include/polybori -I../../groebner/include -I../../libbrial/include -I../../libbrial/include -DPBORI_NDEBUG -ftemplate-depth-100 -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -march=armv7-a -mfpu=vfpv3-d16 -mtune=generic-armv7-a -mabi=aapcs-linux -mfloat-abi=hard -c BlockDegLexOrder.cc -fPIC -DPIC -o .libs/BlockDegLexOrder.o /bin/sh ../../libtool --tag=CXX --mode=compile g++ -DHAVE_CONFIG_H -I. -I../../libbrial/include/polybori -I../../groebner/include -I../../libbrial/include -I../../libbrial/include -DPBORI_NDEBUG -ftemplate-depth-100 -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -march=armv7-a -mfpu=vfpv3-d16 -mtune=generic-armv7-a -mabi=aapcs-linux -mfloat-abi=hard -c -o BooleMonomial.lo BooleMonomial.cc libtool: compile: g++ -DHAVE_CONFIG_H -I. -I../../libbrial/include/polybori -I../../groebner/include -I../../libbrial/include -I../../libbrial/include -DPBORI_NDEBUG -ftemplate-depth-100 -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -march=armv7-a -mfpu=vfpv3-d16 -mtune=generic-armv7-a -mabi=aapcs-linux -mfloat-abi=hard -c BooleMonomial.cc -fPIC -DPIC -o .libs/BooleMonomial.o /bin/sh ../../libtool --tag=CXX --mode=compile g++ -DHAVE_CONFIG_H -I. -I../../libbrial/include/polybori -I../../groebner/include -I../../libbrial/include -I../../libbrial/include -DPBORI_NDEBUG -ftemplate-depth-100 -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -march=armv7-a -mfpu=vfpv3-d16 -mtune=generic-armv7-a -mabi=aapcs-linux -mfloat-abi=hard -c -o BoolePolynomial.lo BoolePolynomial.cc libtool: compile: g++ -DHAVE_CONFIG_H -I. -I../../libbrial/include/polybori -I../../groebner/include -I../../libbrial/include -I../../libbrial/include -DPBORI_NDEBUG -ftemplate-depth-100 -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -march=armv7-a -mfpu=vfpv3-d16 -mtune=generic-armv7-a -mabi=aapcs-linux -mfloat-abi=hard -c BoolePolynomial.cc -fPIC -DPIC -o .libs/BoolePolynomial.o /bin/sh ../../libtool --tag=CXX --mode=compile g++ -DHAVE_CONFIG_H -I. -I../../libbrial/include/polybori -I../../groebner/include -I../../libbrial/include -I../../libbrial/include -DPBORI_NDEBUG -ftemplate-depth-100 -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -march=armv7-a -mfpu=vfpv3-d16 -mtune=generic-armv7-a -mabi=aapcs-linux -mfloat-abi=hard -c -o BoolePolyRing.lo BoolePolyRing.cc libtool: compile: g++ -DHAVE_CONFIG_H -I. -I../../libbrial/include/polybori -I../../groebner/include -I../../libbrial/include -I../../libbrial/include -DPBORI_NDEBUG -ftemplate-depth-100 -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -march=armv7-a -mfpu=vfpv3-d16 -mtune=generic-armv7-a -mabi=aapcs-linux -mfloat-abi=hard -c BoolePolyRing.cc -fPIC -DPIC -o .libs/BoolePolyRing.o /bin/sh ../../libtool --tag=CXX --mode=compile g++ -DHAVE_CONFIG_H -I. -I../../libbrial/include/polybori -I../../groebner/include -I../../libbrial/include -I../../libbrial/include -DPBORI_NDEBUG -ftemplate-depth-100 -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -march=armv7-a -mfpu=vfpv3-d16 -mtune=generic-armv7-a -mabi=aapcs-linux -mfloat-abi=hard -c -o BooleSet.lo BooleSet.cc libtool: compile: g++ -DHAVE_CONFIG_H -I. -I../../libbrial/include/polybori -I../../groebner/include -I../../libbrial/include -I../../libbrial/include -DPBORI_NDEBUG -ftemplate-depth-100 -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -march=armv7-a -mfpu=vfpv3-d16 -mtune=generic-armv7-a -mabi=aapcs-linux -mfloat-abi=hard -c BooleSet.cc -fPIC -DPIC -o .libs/BooleSet.o /bin/sh ../../libtool --tag=CXX --mode=compile g++ -DHAVE_CONFIG_H -I. -I../../libbrial/include/polybori -I../../groebner/include -I../../libbrial/include -I../../libbrial/include -DPBORI_NDEBUG -ftemplate-depth-100 -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -march=armv7-a -mfpu=vfpv3-d16 -mtune=generic-armv7-a -mabi=aapcs-linux -mfloat-abi=hard -c -o BooleVariable.lo BooleVariable.cc libtool: compile: g++ -DHAVE_CONFIG_H -I. -I../../libbrial/include/polybori -I../../groebner/include -I../../libbrial/include -I../../libbrial/include -DPBORI_NDEBUG -ftemplate-depth-100 -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -march=armv7-a -mfpu=vfpv3-d16 -mtune=generic-armv7-a -mabi=aapcs-linux -mfloat-abi=hard -c BooleVariable.cc -fPIC -DPIC -o .libs/BooleVariable.o /bin/sh ../../libtool --tag=CXX --mode=compile g++ -DHAVE_CONFIG_H -I. -I../../libbrial/include/polybori -I../../groebner/include -I../../libbrial/include -I../../libbrial/include -DPBORI_NDEBUG -ftemplate-depth-100 -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -march=armv7-a -mfpu=vfpv3-d16 -mtune=generic-armv7-a -mabi=aapcs-linux -mfloat-abi=hard -c -o CCheckedIdx.lo CCheckedIdx.cc libtool: compile: g++ -DHAVE_CONFIG_H -I. -I../../libbrial/include/polybori -I../../groebner/include -I../../libbrial/include -I../../libbrial/include -DPBORI_NDEBUG -ftemplate-depth-100 -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -march=armv7-a -mfpu=vfpv3-d16 -mtune=generic-armv7-a -mabi=aapcs-linux -mfloat-abi=hard -c CCheckedIdx.cc -fPIC -DPIC -o .libs/CCheckedIdx.o /bin/sh ../../libtool --tag=CXX --mode=compile g++ -DHAVE_CONFIG_H -I. -I../../libbrial/include/polybori -I../../groebner/include -I../../libbrial/include -I../../libbrial/include -DPBORI_NDEBUG -ftemplate-depth-100 -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -march=armv7-a -mfpu=vfpv3-d16 -mtune=generic-armv7-a -mabi=aapcs-linux -mfloat-abi=hard -c -o CCuddFirstIter.lo CCuddFirstIter.cc libtool: compile: g++ -DHAVE_CONFIG_H -I. -I../../libbrial/include/polybori -I../../groebner/include -I../../libbrial/include -I../../libbrial/include -DPBORI_NDEBUG -ftemplate-depth-100 -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -march=armv7-a -mfpu=vfpv3-d16 -mtune=generic-armv7-a -mabi=aapcs-linux -mfloat-abi=hard -c CCuddFirstIter.cc -fPIC -DPIC -o .libs/CCuddFirstIter.o /bin/sh ../../libtool --tag=CXX --mode=compile g++ -DHAVE_CONFIG_H -I. -I../../libbrial/include/polybori -I../../groebner/include -I../../libbrial/include -I../../libbrial/include -DPBORI_NDEBUG -ftemplate-depth-100 -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -march=armv7-a -mfpu=vfpv3-d16 -mtune=generic-armv7-a -mabi=aapcs-linux -mfloat-abi=hard -c -o CCuddLastIter.lo CCuddLastIter.cc libtool: compile: g++ -DHAVE_CONFIG_H -I. -I../../libbrial/include/polybori -I../../groebner/include -I../../libbrial/include -I../../libbrial/include -DPBORI_NDEBUG -ftemplate-depth-100 -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -march=armv7-a -mfpu=vfpv3-d16 -mtune=generic-armv7-a -mabi=aapcs-linux -mfloat-abi=hard -c CCuddLastIter.cc -fPIC -DPIC -o .libs/CCuddLastIter.o /bin/sh ../../libtool --tag=CXX --mode=compile g++ -DHAVE_CONFIG_H -I. -I../../libbrial/include/polybori -I../../groebner/include -I../../libbrial/include -I../../libbrial/include -DPBORI_NDEBUG -ftemplate-depth-100 -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -march=armv7-a -mfpu=vfpv3-d16 -mtune=generic-armv7-a -mabi=aapcs-linux -mfloat-abi=hard -c -o CErrorInfo.lo CErrorInfo.cc libtool: compile: g++ -DHAVE_CONFIG_H -I. -I../../libbrial/include/polybori -I../../groebner/include -I../../libbrial/include -I../../libbrial/include -DPBORI_NDEBUG -ftemplate-depth-100 -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -march=armv7-a -mfpu=vfpv3-d16 -mtune=generic-armv7-a -mabi=aapcs-linux -mfloat-abi=hard -c CErrorInfo.cc -fPIC -DPIC -o .libs/CErrorInfo.o /bin/sh ../../libtool --tag=CXX --mode=compile g++ -DHAVE_CONFIG_H -I. -I../../libbrial/include/polybori -I../../groebner/include -I../../libbrial/include -I../../libbrial/include -DPBORI_NDEBUG -ftemplate-depth-100 -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -march=armv7-a -mfpu=vfpv3-d16 -mtune=generic-armv7-a -mabi=aapcs-linux -mfloat-abi=hard -c -o COrderingBase.lo COrderingBase.cc /bin/sh ../../libtool --tag=CXX --mode=compile g++ -DHAVE_CONFIG_H -I. -I../../libbrial/include/polybori -I../../groebner/include -I../../libbrial/include -I../../libbrial/include -DPBORI_NDEBUG -ftemplate-depth-100 -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -march=armv7-a -mfpu=vfpv3-d16 -mtune=generic-armv7-a -mabi=aapcs-linux -mfloat-abi=hard -c -o DegLexOrder.lo DegLexOrder.cc libtool: compile: g++ -DHAVE_CONFIG_H -I. -I../../libbrial/include/polybori -I../../groebner/include -I../../libbrial/include -I../../libbrial/include -DPBORI_NDEBUG -ftemplate-depth-100 -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -march=armv7-a -mfpu=vfpv3-d16 -mtune=generic-armv7-a -mabi=aapcs-linux -mfloat-abi=hard -c COrderingBase.cc -fPIC -DPIC -o .libs/COrderingBase.o libtool: compile: g++ -DHAVE_CONFIG_H -I. -I../../libbrial/include/polybori -I../../groebner/include -I../../libbrial/include -I../../libbrial/include -DPBORI_NDEBUG -ftemplate-depth-100 -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -march=armv7-a -mfpu=vfpv3-d16 -mtune=generic-armv7-a -mabi=aapcs-linux -mfloat-abi=hard -c DegLexOrder.cc -fPIC -DPIC -o .libs/DegLexOrder.o BUILDSTDERR: In file included from /usr/include/c++/9/set:60, BUILDSTDERR: from ../../libbrial/include/polybori/common/traits.h:19, BUILDSTDERR: from ../../libbrial/include/polybori/routines/pbori_func.h:22, BUILDSTDERR: from ../../libbrial/include/polybori/BooleSet.h:23, BUILDSTDERR: from BooleSet.cc:19: BUILDSTDERR: /usr/include/c++/9/bits/stl_tree.h: In member function 'std::_Rb_tree<_Key, _Val, _KeyOfValue, _Compare, _Alloc>::iterator std::_Rb_tree<_Key, _Val, _KeyOfValue, _Compare, _Alloc>::_M_emplace_hint_unique(std::_Rb_tree<_Key, _Val, _KeyOfValue, _Compare, _Alloc>::const_iterator, _Args&& ...) [with _Args = {const std::piecewise_construct_t&, std::tuple, std::tuple<>}; _Key = polybori::CCuddNavigator; _Val = std::pair; _KeyOfValue = std::_Select1st >; _Compare = std::less; _Alloc = std::allocator >]': BUILDSTDERR: /usr/include/c++/9/bits/stl_tree.h:2448:7: note: parameter passing for argument of type 'std::_Rb_tree, std::_Select1st >, std::less, std::allocator > >::const_iterator' {aka 'std::_Rb_tree_const_iterator >'} changed in GCC 7.1 BUILDSTDERR: 2448 | _Rb_tree<_Key, _Val, _KeyOfValue, _Compare, _Alloc>:: BUILDSTDERR: | ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ BUILDSTDERR: In file included from /usr/include/c++/9/map:61, BUILDSTDERR: from ../../libbrial/include/polybori/routines/pbori_routines_cuddext.h:22, BUILDSTDERR: from ../../libbrial/include/polybori/diagram/CCuddDDFacade.h:27, BUILDSTDERR: from ../../libbrial/include/polybori/BooleSet.h:25, BUILDSTDERR: from BooleSet.cc:19: BUILDSTDERR: /usr/include/c++/9/bits/stl_map.h: In function 'typename MapType::mapped_type polybori::dd_long_count_step(MapType&, NaviType) [with MapType = std::map, std::allocator > >; NaviType = polybori::CCuddNavigator]': BUILDSTDERR: /usr/include/c++/9/bits/stl_map.h:499:8: note: parameter passing for argument of type 'std::_Rb_tree, std::_Select1st >, std::less, std::allocator > >::const_iterator' {aka 'std::_Rb_tree_const_iterator >'} changed in GCC 7.1 BUILDSTDERR: 499 | __i = _M_t._M_emplace_hint_unique(__i, std::piecewise_construct, BUILDSTDERR: /usr/include/c++/9/bits/stl_map.h: In function 'SizeType& polybori::count_index(SizeType&, IdxType, NaviType, const SetType&) [with SizeType = double; IdxType = int; NaviType = polybori::CCuddNavigator; SetType = polybori::BooleSet]': BUILDSTDERR: /usr/include/c++/9/bits/stl_map.h:499:8: note: parameter passing for argument of type 'std::_Rb_tree, std::_Select1st >, std::less, std::allocator > >::const_iterator' {aka 'std::_Rb_tree_const_iterator >'} changed in GCC 7.1 BUILDSTDERR: 499 | __i = _M_t._M_emplace_hint_unique(__i, std::piecewise_construct, BUILDSTDERR: /usr/include/c++/9/bits/stl_map.h:499:8: note: parameter passing for argument of type 'std::_Rb_tree, std::_Select1st >, std::less, std::allocator > >::const_iterator' {aka 'std::_Rb_tree_const_iterator >'} changed in GCC 7.1 BUILDSTDERR: 499 | __i = _M_t._M_emplace_hint_unique(__i, std::piecewise_construct, BUILDSTDERR: /usr/include/c++/9/bits/stl_map.h:499:8: note: parameter passing for argument of type 'std::_Rb_tree, std::_Select1st >, std::less, std::allocator > >::const_iterator' {aka 'std::_Rb_tree_const_iterator >'} changed in GCC 7.1 BUILDSTDERR: 499 | __i = _M_t._M_emplace_hint_unique(__i, std::piecewise_construct, /bin/sh ../../libtool --tag=CXX --mode=compile g++ -DHAVE_CONFIG_H -I. -I../../libbrial/include/polybori -I../../groebner/include -I../../libbrial/include -I../../libbrial/include -DPBORI_NDEBUG -ftemplate-depth-100 -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -march=armv7-a -mfpu=vfpv3-d16 -mtune=generic-armv7-a -mabi=aapcs-linux -mfloat-abi=hard -c -o DegRevLexAscOrder.lo DegRevLexAscOrder.cc /bin/sh ../../libtool --tag=CXX --mode=compile g++ -DHAVE_CONFIG_H -I. -I../../libbrial/include/polybori -I../../groebner/include -I../../libbrial/include -I../../libbrial/include -DPBORI_NDEBUG -ftemplate-depth-100 -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -march=armv7-a -mfpu=vfpv3-d16 -mtune=generic-armv7-a -mabi=aapcs-linux -mfloat-abi=hard -c -o LexOrder.lo LexOrder.cc libtool: compile: g++ -DHAVE_CONFIG_H -I. -I../../libbrial/include/polybori -I../../groebner/include -I../../libbrial/include -I../../libbrial/include -DPBORI_NDEBUG -ftemplate-depth-100 -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -march=armv7-a -mfpu=vfpv3-d16 -mtune=generic-armv7-a -mabi=aapcs-linux -mfloat-abi=hard -c DegRevLexAscOrder.cc -fPIC -DPIC -o .libs/DegRevLexAscOrder.o libtool: compile: g++ -DHAVE_CONFIG_H -I. -I../../libbrial/include/polybori -I../../groebner/include -I../../libbrial/include -I../../libbrial/include -DPBORI_NDEBUG -ftemplate-depth-100 -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -march=armv7-a -mfpu=vfpv3-d16 -mtune=generic-armv7-a -mabi=aapcs-linux -mfloat-abi=hard -c LexOrder.cc -fPIC -DPIC -o .libs/LexOrder.o /bin/sh ../../libtool --tag=CXX --mode=compile g++ -DHAVE_CONFIG_H -I. -I../../libbrial/include/polybori -I../../groebner/include -I../../libbrial/include -I../../libbrial/include -DPBORI_NDEBUG -ftemplate-depth-100 -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -march=armv7-a -mfpu=vfpv3-d16 -mtune=generic-armv7-a -mabi=aapcs-linux -mfloat-abi=hard -c -o pbori_routines.lo pbori_routines.cc libtool: compile: g++ -DHAVE_CONFIG_H -I. -I../../libbrial/include/polybori -I../../groebner/include -I../../libbrial/include -I../../libbrial/include -DPBORI_NDEBUG -ftemplate-depth-100 -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -march=armv7-a -mfpu=vfpv3-d16 -mtune=generic-armv7-a -mabi=aapcs-linux -mfloat-abi=hard -c pbori_routines.cc -fPIC -DPIC -o .libs/pbori_routines.o /bin/sh ../../libtool --tag=CXX --mode=compile g++ -DHAVE_CONFIG_H -I. -I../../libbrial/include/polybori -I../../groebner/include -I../../libbrial/include -I../../libbrial/include -DPBORI_NDEBUG -ftemplate-depth-100 -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -march=armv7-a -mfpu=vfpv3-d16 -mtune=generic-armv7-a -mabi=aapcs-linux -mfloat-abi=hard -c -o PBoRiError.lo PBoRiError.cc libtool: compile: g++ -DHAVE_CONFIG_H -I. -I../../libbrial/include/polybori -I../../groebner/include -I../../libbrial/include -I../../libbrial/include -DPBORI_NDEBUG -ftemplate-depth-100 -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -march=armv7-a -mfpu=vfpv3-d16 -mtune=generic-armv7-a -mabi=aapcs-linux -mfloat-abi=hard -c PBoRiError.cc -fPIC -DPIC -o .libs/PBoRiError.o /bin/sh ../../libtool --tag=CXX --mode=link g++ -ftemplate-depth-100 -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -march=armv7-a -mfpu=vfpv3-d16 -mtune=generic-armv7-a -mabi=aapcs-linux -mfloat-abi=hard -Wl,-z,relro -Wl,--as-needed -Wl,-z,now -specs=/usr/lib/rpm/redhat/redhat-hardened-ld -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 cru .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[2]: Leaving directory '/builddir/build/BUILD/brial-1.2.5/libbrial/src' Making all in include make[2]: Entering directory '/builddir/build/BUILD/brial-1.2.5/libbrial/include' make[2]: Nothing to be done for 'all'. make[2]: Leaving directory '/builddir/build/BUILD/brial-1.2.5/libbrial/include' make[2]: Entering directory '/builddir/build/BUILD/brial-1.2.5/libbrial' make[2]: Nothing to be done for 'all-am'. make[2]: Leaving directory '/builddir/build/BUILD/brial-1.2.5/libbrial' make[1]: Leaving directory '/builddir/build/BUILD/brial-1.2.5/libbrial' Making all in . make[1]: Entering directory '/builddir/build/BUILD/brial-1.2.5' /bin/sh ./libtool --tag=CXX --mode=link g++ -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -march=armv7-a -mfpu=vfpv3-d16 -mtune=generic-armv7-a -mabi=aapcs-linux -mfloat-abi=hard -no-undefined -version-info 3:2:0 -Wl,-z,relro -Wl,--as-needed -Wl,-z,now -specs=/usr/lib/rpm/redhat/redhat-hardened-ld -o libbrial.la -rpath /usr/lib cudd/libcudd.la libbrial/src/libbrial_base.la libtool: link: g++ -Wl,--as-needed -fPIC -DPIC -shared -nostdlib /usr/lib/gcc/armv7hl-redhat-linux-gnueabi/9/../../../crti.o /usr/lib/gcc/armv7hl-redhat-linux-gnueabi/9/crtbeginS.o -Wl,--whole-archive cudd/.libs/libcudd.a libbrial/src/.libs/libbrial_base.a -Wl,--no-whole-archive -L/usr/lib/gcc/armv7hl-redhat-linux-gnueabi/9 -L/usr/lib/gcc/armv7hl-redhat-linux-gnueabi/9/../../.. -lstdc++ -lm -lc -lgcc_s /usr/lib/gcc/armv7hl-redhat-linux-gnueabi/9/crtendS.o /usr/lib/gcc/armv7hl-redhat-linux-gnueabi/9/../../../crtn.o -Wl,-z,now -specs=/usr/lib/rpm/redhat/redhat-hardened-ld -O2 -g -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -march=armv7-a -mfpu=vfpv3-d16 -mtune=generic-armv7-a -mabi=aapcs-linux -mfloat-abi=hard -Wl,-z -Wl,relro -Wl,--as-needed -Wl,-z -Wl,now -specs=/usr/lib/rpm/redhat/redhat-hardened-ld -Wl,-soname -Wl,libbrial.so.3 -o .libs/libbrial.so.3.0.2 libtool: link: (cd ".libs" && rm -f "libbrial.so.3" && ln -s "libbrial.so.3.0.2" "libbrial.so.3") libtool: link: (cd ".libs" && rm -f "libbrial.so" && ln -s "libbrial.so.3.0.2" "libbrial.so") libtool: link: ( cd ".libs" && rm -f "libbrial.la" && ln -s "../libbrial.la" "libbrial.la" ) make[1]: Leaving directory '/builddir/build/BUILD/brial-1.2.5' Making all in groebner make[1]: Entering directory '/builddir/build/BUILD/brial-1.2.5/groebner' Making all in src make[2]: Entering directory '/builddir/build/BUILD/brial-1.2.5/groebner/src' /bin/sh ../../libtool --tag=CXX --mode=compile g++ -DHAVE_CONFIG_H -I. -I../../libbrial/include/polybori -I../../groebner/include -I../../libbrial/include -I../../libbrial/include -DPBORI_NDEBUG -ftemplate-depth-100 -fopenmp -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -march=armv7-a -mfpu=vfpv3-d16 -mtune=generic-armv7-a -mabi=aapcs-linux -mfloat-abi=hard -c -o libbrial_groebner_la-dlex4data.lo `test -f 'dlex4data.cc' || echo './'`dlex4data.cc /bin/sh ../../libtool --tag=CXX --mode=compile g++ -DHAVE_CONFIG_H -I. -I../../libbrial/include/polybori -I../../groebner/include -I../../libbrial/include -I../../libbrial/include -DPBORI_NDEBUG -ftemplate-depth-100 -fopenmp -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -march=armv7-a -mfpu=vfpv3-d16 -mtune=generic-armv7-a -mabi=aapcs-linux -mfloat-abi=hard -c -o libbrial_groebner_la-dp_asc4data.lo `test -f 'dp_asc4data.cc' || echo './'`dp_asc4data.cc /bin/sh ../../libtool --tag=CXX --mode=compile g++ -DHAVE_CONFIG_H -I. -I../../libbrial/include/polybori -I../../groebner/include -I../../libbrial/include -I../../libbrial/include -DPBORI_NDEBUG -ftemplate-depth-100 -fopenmp -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -march=armv7-a -mfpu=vfpv3-d16 -mtune=generic-armv7-a -mabi=aapcs-linux -mfloat-abi=hard -c -o libbrial_groebner_la-FGLMStrategy.lo `test -f 'FGLMStrategy.cc' || echo './'`FGLMStrategy.cc /bin/sh ../../libtool --tag=CXX --mode=compile g++ -DHAVE_CONFIG_H -I. -I../../libbrial/include/polybori -I../../groebner/include -I../../libbrial/include -I../../libbrial/include -DPBORI_NDEBUG -ftemplate-depth-100 -fopenmp -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -march=armv7-a -mfpu=vfpv3-d16 -mtune=generic-armv7-a -mabi=aapcs-linux -mfloat-abi=hard -c -o libbrial_groebner_la-groebner.lo `test -f 'groebner.cc' || echo './'`groebner.cc libtool: compile: g++ -DHAVE_CONFIG_H -I. -I../../libbrial/include/polybori -I../../groebner/include -I../../libbrial/include -I../../libbrial/include -DPBORI_NDEBUG -ftemplate-depth-100 -fopenmp -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -march=armv7-a -mfpu=vfpv3-d16 -mtune=generic-armv7-a -mabi=aapcs-linux -mfloat-abi=hard -c dp_asc4data.cc -fPIC -DPIC -o .libs/libbrial_groebner_la-dp_asc4data.o libtool: compile: g++ -DHAVE_CONFIG_H -I. -I../../libbrial/include/polybori -I../../groebner/include -I../../libbrial/include -I../../libbrial/include -DPBORI_NDEBUG -ftemplate-depth-100 -fopenmp -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -march=armv7-a -mfpu=vfpv3-d16 -mtune=generic-armv7-a -mabi=aapcs-linux -mfloat-abi=hard -c FGLMStrategy.cc -fPIC -DPIC -o .libs/libbrial_groebner_la-FGLMStrategy.o libtool: compile: g++ -DHAVE_CONFIG_H -I. -I../../libbrial/include/polybori -I../../groebner/include -I../../libbrial/include -I../../libbrial/include -DPBORI_NDEBUG -ftemplate-depth-100 -fopenmp -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -march=armv7-a -mfpu=vfpv3-d16 -mtune=generic-armv7-a -mabi=aapcs-linux -mfloat-abi=hard -c groebner.cc -fPIC -DPIC -o .libs/libbrial_groebner_la-groebner.o libtool: compile: g++ -DHAVE_CONFIG_H -I. -I../../libbrial/include/polybori -I../../groebner/include -I../../libbrial/include -I../../libbrial/include -DPBORI_NDEBUG -ftemplate-depth-100 -fopenmp -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -march=armv7-a -mfpu=vfpv3-d16 -mtune=generic-armv7-a -mabi=aapcs-linux -mfloat-abi=hard -c dlex4data.cc -fPIC -DPIC -o .libs/libbrial_groebner_la-dlex4data.o /bin/sh ../../libtool --tag=CXX --mode=compile g++ -DHAVE_CONFIG_H -I. -I../../libbrial/include/polybori -I../../groebner/include -I../../libbrial/include -I../../libbrial/include -DPBORI_NDEBUG -ftemplate-depth-100 -fopenmp -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -march=armv7-a -mfpu=vfpv3-d16 -mtune=generic-armv7-a -mabi=aapcs-linux -mfloat-abi=hard -c -o libbrial_groebner_la-groebner_alg.lo `test -f 'groebner_alg.cc' || echo './'`groebner_alg.cc libtool: compile: g++ -DHAVE_CONFIG_H -I. -I../../libbrial/include/polybori -I../../groebner/include -I../../libbrial/include -I../../libbrial/include -DPBORI_NDEBUG -ftemplate-depth-100 -fopenmp -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -march=armv7-a -mfpu=vfpv3-d16 -mtune=generic-armv7-a -mabi=aapcs-linux -mfloat-abi=hard -c groebner_alg.cc -fPIC -DPIC -o .libs/libbrial_groebner_la-groebner_alg.o /bin/sh ../../libtool --tag=CXX --mode=compile g++ -DHAVE_CONFIG_H -I. -I../../libbrial/include/polybori -I../../groebner/include -I../../libbrial/include -I../../libbrial/include -DPBORI_NDEBUG -ftemplate-depth-100 -fopenmp -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -march=armv7-a -mfpu=vfpv3-d16 -mtune=generic-armv7-a -mabi=aapcs-linux -mfloat-abi=hard -c -o libbrial_groebner_la-GroebnerStrategy.lo `test -f 'GroebnerStrategy.cc' || echo './'`GroebnerStrategy.cc libtool: compile: g++ -DHAVE_CONFIG_H -I. -I../../libbrial/include/polybori -I../../groebner/include -I../../libbrial/include -I../../libbrial/include -DPBORI_NDEBUG -ftemplate-depth-100 -fopenmp -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -march=armv7-a -mfpu=vfpv3-d16 -mtune=generic-armv7-a -mabi=aapcs-linux -mfloat-abi=hard -c GroebnerStrategy.cc -fPIC -DPIC -o .libs/libbrial_groebner_la-GroebnerStrategy.o /bin/sh ../../libtool --tag=CXX --mode=compile g++ -DHAVE_CONFIG_H -I. -I../../libbrial/include/polybori -I../../groebner/include -I../../libbrial/include -I../../libbrial/include -DPBORI_NDEBUG -ftemplate-depth-100 -fopenmp -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -march=armv7-a -mfpu=vfpv3-d16 -mtune=generic-armv7-a -mabi=aapcs-linux -mfloat-abi=hard -c -o libbrial_groebner_la-interpolate.lo `test -f 'interpolate.cc' || echo './'`interpolate.cc libtool: compile: g++ -DHAVE_CONFIG_H -I. -I../../libbrial/include/polybori -I../../groebner/include -I../../libbrial/include -I../../libbrial/include -DPBORI_NDEBUG -ftemplate-depth-100 -fopenmp -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -march=armv7-a -mfpu=vfpv3-d16 -mtune=generic-armv7-a -mabi=aapcs-linux -mfloat-abi=hard -c interpolate.cc -fPIC -DPIC -o .libs/libbrial_groebner_la-interpolate.o BUILDSTDERR: In file included from GroebnerStrategy.cc:34: BUILDSTDERR: ../../groebner/include/polybori/groebner/red_tail.h: In function 'polybori::groebner::Polynomial polybori::groebner::red_tail_general(const polybori::groebner::ReductionStrategy&, polybori::groebner::Polynomial)': BUILDSTDERR: ../../groebner/include/polybori/groebner/red_tail.h:66:9: warning: variable 's' set but not used [-Wunused-but-set-variable] BUILDSTDERR: 66 | int s; BUILDSTDERR: | ^ BUILDSTDERR: ../../groebner/include/polybori/groebner/red_tail.h: In instantiation of 'polybori::groebner::Polynomial polybori::groebner::red_tail_generic(const polybori::groebner::ReductionStrategy&, polybori::groebner::Polynomial) [with Helper = polybori::groebner::LexHelper; polybori::groebner::Polynomial = polybori::BoolePolynomial]': BUILDSTDERR: ../../groebner/include/polybori/groebner/red_tail.h:188:47: required from here BUILDSTDERR: ../../groebner/include/polybori/groebner/red_tail.h:164:12: warning: variable 's' set but not used [-Wunused-but-set-variable] BUILDSTDERR: 164 | size_t s; BUILDSTDERR: | ^ BUILDSTDERR: ../../groebner/include/polybori/groebner/red_tail.h: In instantiation of 'polybori::groebner::Polynomial polybori::groebner::red_tail_generic(const polybori::groebner::ReductionStrategy&, polybori::groebner::Polynomial) [with Helper = polybori::groebner::DegOrderHelper; polybori::groebner::Polynomial = polybori::BoolePolynomial]': BUILDSTDERR: ../../groebner/include/polybori/groebner/red_tail.h:190:52: required from here BUILDSTDERR: ../../groebner/include/polybori/groebner/red_tail.h:164:12: warning: variable 's' set but not used [-Wunused-but-set-variable] BUILDSTDERR: ../../groebner/include/polybori/groebner/red_tail.h: In instantiation of 'polybori::groebner::Polynomial polybori::groebner::red_tail_generic(const polybori::groebner::ReductionStrategy&, polybori::groebner::Polynomial) [with Helper = polybori::groebner::BlockOrderHelper; polybori::groebner::Polynomial = polybori::BoolePolynomial]': BUILDSTDERR: ../../groebner/include/polybori/groebner/red_tail.h:192:54: required from here BUILDSTDERR: ../../groebner/include/polybori/groebner/red_tail.h:164:12: warning: variable 's' set but not used [-Wunused-but-set-variable] BUILDSTDERR: In file included from /usr/include/c++/9/vector:72, BUILDSTDERR: from ../../libbrial/include/polybori/common/traits.h:20, BUILDSTDERR: from ../../libbrial/include/polybori/routines/pbori_func.h:22, BUILDSTDERR: from ../../libbrial/include/polybori/ring/CCuddInterface.h:25, BUILDSTDERR: from ../../libbrial/include/polybori/ring/CCuddCore.h:22, BUILDSTDERR: from ../../libbrial/include/polybori/BoolePolyRing.h:24, BUILDSTDERR: from ../../groebner/include/polybori/groebner/FGLMStrategy.h:12, BUILDSTDERR: from FGLMStrategy.cc:9: BUILDSTDERR: /usr/include/c++/9/bits/vector.tcc: In member function 'void std::vector<_Tp, _Alloc>::_M_realloc_insert(std::vector<_Tp, _Alloc>::iterator, _Args&& ...) [with _Args = {const polybori::groebner::PolyEntry&}; _Tp = polybori::groebner::PolyEntry; _Alloc = std::allocator]': BUILDSTDERR: /usr/include/c++/9/bits/vector.tcc:426:7: note: parameter passing for argument of type 'std::vector::iterator' {aka '__gnu_cxx::__normal_iterator >'} changed in GCC 7.1 BUILDSTDERR: 426 | vector<_Tp, _Alloc>:: BUILDSTDERR: | ^~~~~~~~~~~~~~~~~~~ BUILDSTDERR: In file included from /usr/include/c++/9/vector:67, BUILDSTDERR: from ../../libbrial/include/polybori/common/traits.h:20, BUILDSTDERR: from ../../libbrial/include/polybori/routines/pbori_func.h:22, BUILDSTDERR: from ../../libbrial/include/polybori/ring/CCuddInterface.h:25, BUILDSTDERR: from ../../libbrial/include/polybori/ring/CCuddCore.h:22, BUILDSTDERR: from ../../libbrial/include/polybori/BoolePolyRing.h:24, BUILDSTDERR: from ../../groebner/include/polybori/groebner/FGLMStrategy.h:12, BUILDSTDERR: from FGLMStrategy.cc:9: BUILDSTDERR: /usr/include/c++/9/bits/stl_vector.h: In member function 'virtual void polybori::groebner::PolyEntryVector::append(const polybori::groebner::PolyEntry&)': BUILDSTDERR: /usr/include/c++/9/bits/stl_vector.h:1195:4: note: parameter passing for argument of type '__gnu_cxx::__normal_iterator >' changed in GCC 7.1 BUILDSTDERR: 1195 | _M_realloc_insert(end(), __x); BUILDSTDERR: | ^~~~~~~~~~~~~~~~~ BUILDSTDERR: /usr/include/c++/9/bits/stl_vector.h: In member function 'virtual void polybori::groebner::ReductionStrategy::append(const polybori::groebner::PolyEntry&)': BUILDSTDERR: /usr/include/c++/9/bits/stl_vector.h:1195:4: note: parameter passing for argument of type '__gnu_cxx::__normal_iterator >' changed in GCC 7.1 BUILDSTDERR: 1195 | _M_realloc_insert(end(), __x); BUILDSTDERR: | ^~~~~~~~~~~~~~~~~ BUILDSTDERR: /usr/include/c++/9/bits/stl_vector.h: In constructor 'polybori::groebner::FGLMStrategy::FGLMStrategy(const ring_with_ordering_type&, const ring_with_ordering_type&, const PolynomialVector&)': BUILDSTDERR: /usr/include/c++/9/bits/stl_vector.h:1195:4: note: parameter passing for argument of type '__gnu_cxx::__normal_iterator >' changed in GCC 7.1 BUILDSTDERR: 1195 | _M_realloc_insert(end(), __x); BUILDSTDERR: | ^~~~~~~~~~~~~~~~~ /bin/sh ../../libtool --tag=CXX --mode=compile g++ -DHAVE_CONFIG_H -I. -I../../libbrial/include/polybori -I../../groebner/include -I../../libbrial/include -I../../libbrial/include -DPBORI_NDEBUG -ftemplate-depth-100 -fopenmp -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -march=armv7-a -mfpu=vfpv3-d16 -mtune=generic-armv7-a -mabi=aapcs-linux -mfloat-abi=hard -c -o libbrial_groebner_la-LexBucket.lo `test -f 'LexBucket.cc' || echo './'`LexBucket.cc libtool: compile: g++ -DHAVE_CONFIG_H -I. -I../../libbrial/include/polybori -I../../groebner/include -I../../libbrial/include -I../../libbrial/include -DPBORI_NDEBUG -ftemplate-depth-100 -fopenmp -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -march=armv7-a -mfpu=vfpv3-d16 -mtune=generic-armv7-a -mabi=aapcs-linux -mfloat-abi=hard -c LexBucket.cc -fPIC -DPIC -o .libs/libbrial_groebner_la-LexBucket.o BUILDSTDERR: In file included from /usr/include/c++/9/bits/stl_algo.h:61, BUILDSTDERR: from /usr/include/c++/9/algorithm:62, BUILDSTDERR: from ../../libbrial/include/polybori/common/CExtrusivePtr.h:23, BUILDSTDERR: from ../../libbrial/include/polybori/diagram/CCuddDDFacade.h:28, BUILDSTDERR: from ../../libbrial/include/polybori/BooleSet.h:25, BUILDSTDERR: from ../../libbrial/include/polybori/polybori.h:19, BUILDSTDERR: from ../../groebner/include/polybori/groebner/groebner_defs.h:10, BUILDSTDERR: from ../../groebner/include/polybori/groebner/CountCriterion.h:20, BUILDSTDERR: from groebner_alg.cc:10: BUILDSTDERR: /usr/include/c++/9/bits/stl_heap.h: In function 'void std::__adjust_heap(_RandomAccessIterator, _Distance, _Distance, _Tp, _Compare) [with _RandomAccessIterator = __gnu_cxx::__normal_iterator >; _Distance = int; _Tp = polybori::groebner::PairE; _Compare = __gnu_cxx::__ops::_Iter_comp_iter]': BUILDSTDERR: /usr/include/c++/9/bits/stl_heap.h:214:5: note: parameter passing for argument of type '__gnu_cxx::__normal_iterator >' changed in GCC 7.1 BUILDSTDERR: 214 | __adjust_heap(_RandomAccessIterator __first, _Distance __holeIndex, BUILDSTDERR: | ^~~~~~~~~~~~~ BUILDSTDERR: /usr/include/c++/9/bits/stl_heap.h: In function 'void std::__make_heap(_RandomAccessIterator, _RandomAccessIterator, _Compare&) [with _RandomAccessIterator = __gnu_cxx::__normal_iterator >; _Compare = __gnu_cxx::__ops::_Iter_comp_iter]': BUILDSTDERR: /usr/include/c++/9/bits/stl_heap.h:326:5: note: parameter passing for argument of type '__gnu_cxx::__normal_iterator >' changed in GCC 7.1 BUILDSTDERR: 326 | __make_heap(_RandomAccessIterator __first, _RandomAccessIterator __last, BUILDSTDERR: | ^~~~~~~~~~~ BUILDSTDERR: /usr/include/c++/9/bits/stl_heap.h:326:5: note: parameter passing for argument of type '__gnu_cxx::__normal_iterator >' changed in GCC 7.1 /bin/sh ../../libtool --tag=CXX --mode=compile g++ -DHAVE_CONFIG_H -I. -I../../libbrial/include/polybori -I../../groebner/include -I../../libbrial/include -I../../libbrial/include -DPBORI_NDEBUG -ftemplate-depth-100 -fopenmp -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -march=armv7-a -mfpu=vfpv3-d16 -mtune=generic-armv7-a -mabi=aapcs-linux -mfloat-abi=hard -c -o libbrial_groebner_la-LiteralFactorization.lo `test -f 'LiteralFactorization.cc' || echo './'`LiteralFactorization.cc BUILDSTDERR: /usr/include/c++/9/bits/stl_heap.h: In constructor 'polybori::groebner::GroebnerStrategy::GroebnerStrategy(const polybori::BoolePolyRing&)': BUILDSTDERR: /usr/include/c++/9/bits/stl_heap.h:397:23: note: parameter passing for argument of type '__gnu_cxx::__normal_iterator >' changed in GCC 7.1 BUILDSTDERR: 397 | std::__make_heap(__first, __last, __cmp); BUILDSTDERR: | ~~~~~~~~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~ libtool: compile: g++ -DHAVE_CONFIG_H -I. -I../../libbrial/include/polybori -I../../groebner/include -I../../libbrial/include -I../../libbrial/include -DPBORI_NDEBUG -ftemplate-depth-100 -fopenmp -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -march=armv7-a -mfpu=vfpv3-d16 -mtune=generic-armv7-a -mabi=aapcs-linux -mfloat-abi=hard -c LiteralFactorization.cc -fPIC -DPIC -o .libs/libbrial_groebner_la-LiteralFactorization.o BUILDSTDERR: In file included from /usr/include/c++/9/vector:72, BUILDSTDERR: from ../../libbrial/include/polybori/common/traits.h:20, BUILDSTDERR: from ../../libbrial/include/polybori/routines/pbori_func.h:22, BUILDSTDERR: from ../../libbrial/include/polybori/BooleSet.h:23, BUILDSTDERR: from ../../libbrial/include/polybori/polybori.h:19, BUILDSTDERR: from ../../groebner/include/polybori/groebner/groebner_defs.h:10, BUILDSTDERR: from ../../groebner/include/polybori/groebner/CountCriterion.h:20, BUILDSTDERR: from groebner_alg.cc:10: BUILDSTDERR: /usr/include/c++/9/bits/vector.tcc: In member function 'void std::vector<_Tp, _Alloc>::_M_realloc_insert(std::vector<_Tp, _Alloc>::iterator, _Args&& ...) [with _Args = {const polybori::groebner::PolyEntry&}; _Tp = polybori::groebner::PolyEntry; _Alloc = std::allocator]': BUILDSTDERR: /usr/include/c++/9/bits/vector.tcc:426:7: note: parameter passing for argument of type 'std::vector::iterator' {aka '__gnu_cxx::__normal_iterator >'} changed in GCC 7.1 BUILDSTDERR: 426 | vector<_Tp, _Alloc>:: BUILDSTDERR: | ^~~~~~~~~~~~~~~~~~~ BUILDSTDERR: In file included from /usr/include/c++/9/vector:67, BUILDSTDERR: from ../../libbrial/include/polybori/common/traits.h:20, BUILDSTDERR: from ../../libbrial/include/polybori/routines/pbori_func.h:22, BUILDSTDERR: from ../../libbrial/include/polybori/BooleSet.h:23, BUILDSTDERR: from ../../libbrial/include/polybori/polybori.h:19, BUILDSTDERR: from ../../groebner/include/polybori/groebner/groebner_defs.h:10, BUILDSTDERR: from ../../groebner/include/polybori/groebner/CountCriterion.h:20, BUILDSTDERR: from groebner_alg.cc:10: BUILDSTDERR: /usr/include/c++/9/bits/stl_vector.h: In member function 'virtual void polybori::groebner::PolyEntryVector::append(const polybori::groebner::PolyEntry&)': BUILDSTDERR: /usr/include/c++/9/bits/stl_vector.h:1195:4: note: parameter passing for argument of type '__gnu_cxx::__normal_iterator >' changed in GCC 7.1 BUILDSTDERR: 1195 | _M_realloc_insert(end(), __x); BUILDSTDERR: | ^~~~~~~~~~~~~~~~~ BUILDSTDERR: /usr/include/c++/9/bits/stl_vector.h: In member function 'virtual void polybori::groebner::ReductionStrategy::append(const polybori::groebner::PolyEntry&)': BUILDSTDERR: /usr/include/c++/9/bits/stl_vector.h:1195:4: note: parameter passing for argument of type '__gnu_cxx::__normal_iterator >' changed in GCC 7.1 BUILDSTDERR: 1195 | _M_realloc_insert(end(), __x); BUILDSTDERR: | ^~~~~~~~~~~~~~~~~ /bin/sh ../../libtool --tag=CXX --mode=compile g++ -DHAVE_CONFIG_H -I. -I../../libbrial/include/polybori -I../../groebner/include -I../../libbrial/include -I../../libbrial/include -DPBORI_NDEBUG -ftemplate-depth-100 -fopenmp -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -march=armv7-a -mfpu=vfpv3-d16 -mtune=generic-armv7-a -mabi=aapcs-linux -mfloat-abi=hard -c -o libbrial_groebner_la-LiteralFactorizationIterator.lo `test -f 'LiteralFactorizationIterator.cc' || echo './'`LiteralFactorizationIterator.cc libtool: compile: g++ -DHAVE_CONFIG_H -I. -I../../libbrial/include/polybori -I../../groebner/include -I../../libbrial/include -I../../libbrial/include -DPBORI_NDEBUG -ftemplate-depth-100 -fopenmp -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -march=armv7-a -mfpu=vfpv3-d16 -mtune=generic-armv7-a -mabi=aapcs-linux -mfloat-abi=hard -c LiteralFactorizationIterator.cc -fPIC -DPIC -o .libs/libbrial_groebner_la-LiteralFactorizationIterator.o BUILDSTDERR: In file included from /usr/include/c++/9/vector:72, BUILDSTDERR: from ../../libbrial/include/polybori/common/traits.h:20, BUILDSTDERR: from ../../libbrial/include/polybori/routines/pbori_func.h:22, BUILDSTDERR: from ../../libbrial/include/polybori/BooleSet.h:23, BUILDSTDERR: from ../../libbrial/include/polybori/polybori.h:19, BUILDSTDERR: from ../../groebner/include/polybori/groebner/groebner_defs.h:10, BUILDSTDERR: from ../../groebner/include/polybori/groebner/HasTRepOrExtendedProductCriterion.h:20, BUILDSTDERR: from GroebnerStrategy.cc:19: BUILDSTDERR: /usr/include/c++/9/bits/vector.tcc: In member function 'void std::vector<_Tp, _Alloc>::_M_realloc_insert(std::vector<_Tp, _Alloc>::iterator, _Args&& ...) [with _Args = {const polybori::groebner::PairE&}; _Tp = polybori::groebner::PairE; _Alloc = std::allocator]': BUILDSTDERR: /usr/include/c++/9/bits/vector.tcc:426:7: note: parameter passing for argument of type 'std::vector::iterator' {aka '__gnu_cxx::__normal_iterator >'} changed in GCC 7.1 BUILDSTDERR: 426 | vector<_Tp, _Alloc>:: BUILDSTDERR: | ^~~~~~~~~~~~~~~~~~~ BUILDSTDERR: In file included from /usr/include/c++/9/bits/stl_algo.h:61, BUILDSTDERR: from /usr/include/c++/9/algorithm:62, BUILDSTDERR: from ../../libbrial/include/polybori/common/CExtrusivePtr.h:23, BUILDSTDERR: from ../../libbrial/include/polybori/diagram/CCuddDDFacade.h:28, BUILDSTDERR: from ../../libbrial/include/polybori/BooleSet.h:25, BUILDSTDERR: from ../../libbrial/include/polybori/polybori.h:19, BUILDSTDERR: from ../../groebner/include/polybori/groebner/groebner_defs.h:10, BUILDSTDERR: from ../../groebner/include/polybori/groebner/HasTRepOrExtendedProductCriterion.h:20, BUILDSTDERR: from GroebnerStrategy.cc:19: BUILDSTDERR: /usr/include/c++/9/bits/stl_heap.h: In function 'void std::__push_heap(_RandomAccessIterator, _Distance, _Distance, _Tp, _Compare&) [with _RandomAccessIterator = __gnu_cxx::__normal_iterator >; _Distance = int; _Tp = polybori::groebner::PairE; _Compare = __gnu_cxx::__ops::_Iter_comp_val]': BUILDSTDERR: /usr/include/c++/9/bits/stl_heap.h:128:5: note: parameter passing for argument of type '__gnu_cxx::__normal_iterator >' changed in GCC 7.1 BUILDSTDERR: 128 | __push_heap(_RandomAccessIterator __first, BUILDSTDERR: | ^~~~~~~~~~~ BUILDSTDERR: In file included from /usr/include/c++/9/vector:67, BUILDSTDERR: from ../../libbrial/include/polybori/common/traits.h:20, BUILDSTDERR: from ../../libbrial/include/polybori/routines/pbori_func.h:22, BUILDSTDERR: from ../../libbrial/include/polybori/BooleSet.h:23, BUILDSTDERR: from ../../libbrial/include/polybori/polybori.h:19, BUILDSTDERR: from ../../groebner/include/polybori/groebner/groebner_defs.h:10, BUILDSTDERR: from ../../groebner/include/polybori/groebner/HasTRepOrExtendedProductCriterion.h:20, BUILDSTDERR: from GroebnerStrategy.cc:19: BUILDSTDERR: /usr/include/c++/9/bits/stl_vector.h: In member function 'void polybori::groebner::PairManagerWithStrategy::introducePair(const Pair&) [with StrategyType = polybori::groebner::GroebnerStrategy]': BUILDSTDERR: /usr/include/c++/9/bits/stl_vector.h:1195:4: note: parameter passing for argument of type '__gnu_cxx::__normal_iterator >' changed in GCC 7.1 BUILDSTDERR: 1195 | _M_realloc_insert(end(), __x); BUILDSTDERR: | ^~~~~~~~~~~~~~~~~ BUILDSTDERR: /usr/include/c++/9/bits/stl_vector.h: In member function 'void polybori::groebner::GroebnerStrategy::addVariablePairs(polybori::groebner::PolyEntryReference)': BUILDSTDERR: /usr/include/c++/9/bits/stl_vector.h:1195:4: note: parameter passing for argument of type '__gnu_cxx::__normal_iterator >' changed in GCC 7.1 BUILDSTDERR: 1195 | _M_realloc_insert(end(), __x); BUILDSTDERR: | ^~~~~~~~~~~~~~~~~ BUILDSTDERR: /usr/include/c++/9/bits/stl_vector.h: In member function 'void polybori::groebner::GroebnerStrategy::addGeneratorDelayed(const polybori::BoolePolynomial&)': BUILDSTDERR: /usr/include/c++/9/bits/stl_vector.h:1195:4: note: parameter passing for argument of type '__gnu_cxx::__normal_iterator >' changed in GCC 7.1 BUILDSTDERR: 1195 | _M_realloc_insert(end(), __x); BUILDSTDERR: | ^~~~~~~~~~~~~~~~~ BUILDSTDERR: In file included from /usr/include/c++/9/algorithm:62, BUILDSTDERR: from ../../libbrial/include/polybori/common/CExtrusivePtr.h:23, BUILDSTDERR: from ../../libbrial/include/polybori/diagram/CCuddDDFacade.h:28, BUILDSTDERR: from ../../libbrial/include/polybori/BooleSet.h:25, BUILDSTDERR: from ../../libbrial/include/polybori/polybori.h:19, BUILDSTDERR: from ../../groebner/include/polybori/groebner/groebner_defs.h:10, BUILDSTDERR: from ../../groebner/include/polybori/groebner/HasTRepOrExtendedProductCriterion.h:20, BUILDSTDERR: from GroebnerStrategy.cc:19: BUILDSTDERR: /usr/include/c++/9/bits/stl_algo.h: In function '_RandomAccessIterator std::__find_if(_RandomAccessIterator, _RandomAccessIterator, _Predicate, std::random_access_iterator_tag) [with _RandomAccessIterator = __gnu_cxx::__normal_iterator >; _Predicate = __gnu_cxx::__ops::_Iter_pred]': BUILDSTDERR: /usr/include/c++/9/bits/stl_algo.h:112:5: note: parameter passing for argument of type '__gnu_cxx::__normal_iterator >' changed in GCC 7.1 BUILDSTDERR: 112 | __find_if(_RandomAccessIterator __first, _RandomAccessIterator __last, BUILDSTDERR: | ^~~~~~~~~ BUILDSTDERR: /usr/include/c++/9/bits/stl_algo.h:112:5: note: parameter passing for argument of type '__gnu_cxx::__normal_iterator >' changed in GCC 7.1 BUILDSTDERR: /usr/include/c++/9/bits/stl_algo.h: In member function 'bool polybori::groebner::GroebnerStrategy::variableHasValue(polybori::groebner::idx_type)': BUILDSTDERR: /usr/include/c++/9/bits/stl_algo.h:161:23: note: parameter passing for argument of type '__gnu_cxx::__normal_iterator >' changed in GCC 7.1 BUILDSTDERR: 161 | return __find_if(__first, __last, __pred, BUILDSTDERR: | ~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~ BUILDSTDERR: 162 | std::__iterator_category(__first)); BUILDSTDERR: | ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ BUILDSTDERR: In file included from /usr/include/c++/9/bits/stl_algo.h:61, BUILDSTDERR: from /usr/include/c++/9/algorithm:62, BUILDSTDERR: from ../../libbrial/include/polybori/common/CExtrusivePtr.h:23, BUILDSTDERR: from ../../libbrial/include/polybori/diagram/CCuddDDFacade.h:28, BUILDSTDERR: from ../../libbrial/include/polybori/BooleSet.h:25, BUILDSTDERR: from ../../libbrial/include/polybori/polybori.h:19, BUILDSTDERR: from ../../groebner/include/polybori/groebner/groebner_defs.h:10, BUILDSTDERR: from ../../groebner/include/polybori/groebner/HasTRepOrExtendedProductCriterion.h:20, BUILDSTDERR: from GroebnerStrategy.cc:19: BUILDSTDERR: /usr/include/c++/9/bits/stl_heap.h: In function 'void std::__adjust_heap(_RandomAccessIterator, _Distance, _Distance, _Tp, _Compare) [with _RandomAccessIterator = __gnu_cxx::__normal_iterator >; _Distance = int; _Tp = polybori::groebner::PairE; _Compare = __gnu_cxx::__ops::_Iter_comp_iter]': BUILDSTDERR: /usr/include/c++/9/bits/stl_heap.h:214:5: note: parameter passing for argument of type '__gnu_cxx::__normal_iterator >' changed in GCC 7.1 BUILDSTDERR: 214 | __adjust_heap(_RandomAccessIterator __first, _Distance __holeIndex, BUILDSTDERR: | ^~~~~~~~~~~~~ /bin/sh ../../libtool --tag=CXX --mode=compile g++ -DHAVE_CONFIG_H -I. -I../../libbrial/include/polybori -I../../groebner/include -I../../libbrial/include -I../../libbrial/include -DPBORI_NDEBUG -ftemplate-depth-100 -fopenmp -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -march=armv7-a -mfpu=vfpv3-d16 -mtune=generic-armv7-a -mabi=aapcs-linux -mfloat-abi=hard -c -o libbrial_groebner_la-lp4data.lo `test -f 'lp4data.cc' || echo './'`lp4data.cc libtool: compile: g++ -DHAVE_CONFIG_H -I. -I../../libbrial/include/polybori -I../../groebner/include -I../../libbrial/include -I../../libbrial/include -DPBORI_NDEBUG -ftemplate-depth-100 -fopenmp -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -march=armv7-a -mfpu=vfpv3-d16 -mtune=generic-armv7-a -mabi=aapcs-linux -mfloat-abi=hard -c lp4data.cc -fPIC -DPIC -o .libs/libbrial_groebner_la-lp4data.o /bin/sh ../../libtool --tag=CXX --mode=compile g++ -DHAVE_CONFIG_H -I. -I../../libbrial/include/polybori -I../../groebner/include -I../../libbrial/include -I../../libbrial/include -DPBORI_NDEBUG -ftemplate-depth-100 -fopenmp -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -march=armv7-a -mfpu=vfpv3-d16 -mtune=generic-armv7-a -mabi=aapcs-linux -mfloat-abi=hard -c -o libbrial_groebner_la-MatrixMonomialOrderTables.lo `test -f 'MatrixMonomialOrderTables.cc' || echo './'`MatrixMonomialOrderTables.cc libtool: compile: g++ -DHAVE_CONFIG_H -I. -I../../libbrial/include/polybori -I../../groebner/include -I../../libbrial/include -I../../libbrial/include -DPBORI_NDEBUG -ftemplate-depth-100 -fopenmp -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -march=armv7-a -mfpu=vfpv3-d16 -mtune=generic-armv7-a -mabi=aapcs-linux -mfloat-abi=hard -c MatrixMonomialOrderTables.cc -fPIC -DPIC -o .libs/libbrial_groebner_la-MatrixMonomialOrderTables.o /bin/sh ../../libtool --tag=CXX --mode=compile g++ -DHAVE_CONFIG_H -I. -I../../libbrial/include/polybori -I../../groebner/include -I../../libbrial/include -I../../libbrial/include -DPBORI_NDEBUG -ftemplate-depth-100 -fopenmp -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -march=armv7-a -mfpu=vfpv3-d16 -mtune=generic-armv7-a -mabi=aapcs-linux -mfloat-abi=hard -c -o libbrial_groebner_la-nf.lo `test -f 'nf.cc' || echo './'`nf.cc libtool: compile: g++ -DHAVE_CONFIG_H -I. -I../../libbrial/include/polybori -I../../groebner/include -I../../libbrial/include -I../../libbrial/include -DPBORI_NDEBUG -ftemplate-depth-100 -fopenmp -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -march=armv7-a -mfpu=vfpv3-d16 -mtune=generic-armv7-a -mabi=aapcs-linux -mfloat-abi=hard -c nf.cc -fPIC -DPIC -o .libs/libbrial_groebner_la-nf.o BUILDSTDERR: In file included from /usr/include/c++/9/vector:72, BUILDSTDERR: from ../../libbrial/include/polybori/common/traits.h:20, BUILDSTDERR: from ../../libbrial/include/polybori/routines/pbori_func.h:22, BUILDSTDERR: from ../../libbrial/include/polybori/BooleSet.h:23, BUILDSTDERR: from ../../libbrial/include/polybori/polybori.h:19, BUILDSTDERR: from ../../groebner/include/polybori/groebner/groebner_defs.h:10, BUILDSTDERR: from ../../groebner/include/polybori/groebner/HasTRepOrExtendedProductCriterion.h:20, BUILDSTDERR: from GroebnerStrategy.cc:19: BUILDSTDERR: /usr/include/c++/9/bits/vector.tcc: In member function 'void std::vector<_Tp, _Alloc>::_M_realloc_insert(std::vector<_Tp, _Alloc>::iterator, _Args&& ...) [with _Args = {const polybori::groebner::PolyEntry&}; _Tp = polybori::groebner::PolyEntry; _Alloc = std::allocator]': BUILDSTDERR: /usr/include/c++/9/bits/vector.tcc:426:7: note: parameter passing for argument of type 'std::vector::iterator' {aka '__gnu_cxx::__normal_iterator >'} changed in GCC 7.1 BUILDSTDERR: 426 | vector<_Tp, _Alloc>:: BUILDSTDERR: | ^~~~~~~~~~~~~~~~~~~ BUILDSTDERR: In file included from /usr/include/c++/9/vector:67, BUILDSTDERR: from ../../libbrial/include/polybori/common/traits.h:20, BUILDSTDERR: from ../../libbrial/include/polybori/routines/pbori_func.h:22, BUILDSTDERR: from ../../libbrial/include/polybori/BooleSet.h:23, BUILDSTDERR: from ../../libbrial/include/polybori/polybori.h:19, BUILDSTDERR: from ../../groebner/include/polybori/groebner/groebner_defs.h:10, BUILDSTDERR: from ../../groebner/include/polybori/groebner/HasTRepOrExtendedProductCriterion.h:20, BUILDSTDERR: from GroebnerStrategy.cc:19: BUILDSTDERR: /usr/include/c++/9/bits/stl_vector.h: In member function 'virtual void polybori::groebner::PolyEntryVector::append(const polybori::groebner::PolyEntry&)': BUILDSTDERR: /usr/include/c++/9/bits/stl_vector.h:1195:4: note: parameter passing for argument of type '__gnu_cxx::__normal_iterator >' changed in GCC 7.1 BUILDSTDERR: 1195 | _M_realloc_insert(end(), __x); BUILDSTDERR: | ^~~~~~~~~~~~~~~~~ BUILDSTDERR: /usr/include/c++/9/bits/stl_vector.h: In member function 'virtual void polybori::groebner::ReductionStrategy::append(const polybori::groebner::PolyEntry&)': BUILDSTDERR: /usr/include/c++/9/bits/stl_vector.h:1195:4: note: parameter passing for argument of type '__gnu_cxx::__normal_iterator >' changed in GCC 7.1 BUILDSTDERR: 1195 | _M_realloc_insert(end(), __x); BUILDSTDERR: | ^~~~~~~~~~~~~~~~~ /bin/sh ../../libtool --tag=CXX --mode=compile g++ -DHAVE_CONFIG_H -I. -I../../libbrial/include/polybori -I../../groebner/include -I../../libbrial/include -I../../libbrial/include -DPBORI_NDEBUG -ftemplate-depth-100 -fopenmp -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -march=armv7-a -mfpu=vfpv3-d16 -mtune=generic-armv7-a -mabi=aapcs-linux -mfloat-abi=hard -c -o libbrial_groebner_la-PairManager.lo `test -f 'PairManager.cc' || echo './'`PairManager.cc libtool: compile: g++ -DHAVE_CONFIG_H -I. -I../../libbrial/include/polybori -I../../groebner/include -I../../libbrial/include -I../../libbrial/include -DPBORI_NDEBUG -ftemplate-depth-100 -fopenmp -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -march=armv7-a -mfpu=vfpv3-d16 -mtune=generic-armv7-a -mabi=aapcs-linux -mfloat-abi=hard -c PairManager.cc -fPIC -DPIC -o .libs/libbrial_groebner_la-PairManager.o BUILDSTDERR: In file included from nf.cc:26: BUILDSTDERR: ../../groebner/include/polybori/groebner/red_tail.h: In function 'polybori::groebner::Polynomial polybori::groebner::red_tail_general(const polybori::groebner::ReductionStrategy&, polybori::groebner::Polynomial)': BUILDSTDERR: ../../groebner/include/polybori/groebner/red_tail.h:66:9: warning: variable 's' set but not used [-Wunused-but-set-variable] BUILDSTDERR: 66 | int s; BUILDSTDERR: | ^ BUILDSTDERR: ../../groebner/include/polybori/groebner/red_tail.h: In instantiation of 'polybori::groebner::Polynomial polybori::groebner::red_tail_generic(const polybori::groebner::ReductionStrategy&, polybori::groebner::Polynomial) [with Helper = polybori::groebner::LexHelper; polybori::groebner::Polynomial = polybori::BoolePolynomial]': BUILDSTDERR: ../../groebner/include/polybori/groebner/red_tail.h:188:47: required from here BUILDSTDERR: ../../groebner/include/polybori/groebner/red_tail.h:164:12: warning: variable 's' set but not used [-Wunused-but-set-variable] BUILDSTDERR: 164 | size_t s; BUILDSTDERR: | ^ BUILDSTDERR: ../../groebner/include/polybori/groebner/red_tail.h: In instantiation of 'polybori::groebner::Polynomial polybori::groebner::red_tail_generic(const polybori::groebner::ReductionStrategy&, polybori::groebner::Polynomial) [with Helper = polybori::groebner::DegOrderHelper; polybori::groebner::Polynomial = polybori::BoolePolynomial]': BUILDSTDERR: ../../groebner/include/polybori/groebner/red_tail.h:190:52: required from here BUILDSTDERR: ../../groebner/include/polybori/groebner/red_tail.h:164:12: warning: variable 's' set but not used [-Wunused-but-set-variable] BUILDSTDERR: ../../groebner/include/polybori/groebner/red_tail.h: In instantiation of 'polybori::groebner::Polynomial polybori::groebner::red_tail_generic(const polybori::groebner::ReductionStrategy&, polybori::groebner::Polynomial) [with Helper = polybori::groebner::BlockOrderHelper; polybori::groebner::Polynomial = polybori::BoolePolynomial]': BUILDSTDERR: ../../groebner/include/polybori/groebner/red_tail.h:192:54: required from here BUILDSTDERR: ../../groebner/include/polybori/groebner/red_tail.h:164:12: warning: variable 's' set but not used [-Wunused-but-set-variable] BUILDSTDERR: /usr/include/c++/9/bits/stl_vector.h: In member function 'int polybori::groebner::GroebnerStrategy::addGeneratorStep(const polybori::groebner::PolyEntry&)': BUILDSTDERR: /usr/include/c++/9/bits/stl_vector.h:1195:4: note: parameter passing for argument of type '__gnu_cxx::__normal_iterator >' changed in GCC 7.1 BUILDSTDERR: 1195 | _M_realloc_insert(end(), __x); BUILDSTDERR: | ^~~~~~~~~~~~~~~~~ /bin/sh ../../libtool --tag=CXX --mode=compile g++ -DHAVE_CONFIG_H -I. -I../../libbrial/include/polybori -I../../groebner/include -I../../libbrial/include -I../../libbrial/include -DPBORI_NDEBUG -ftemplate-depth-100 -fopenmp -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -march=armv7-a -mfpu=vfpv3-d16 -mtune=generic-armv7-a -mabi=aapcs-linux -mfloat-abi=hard -c -o libbrial_groebner_la-pairs.lo `test -f 'pairs.cc' || echo './'`pairs.cc libtool: compile: g++ -DHAVE_CONFIG_H -I. -I../../libbrial/include/polybori -I../../groebner/include -I../../libbrial/include -I../../libbrial/include -DPBORI_NDEBUG -ftemplate-depth-100 -fopenmp -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -march=armv7-a -mfpu=vfpv3-d16 -mtune=generic-armv7-a -mabi=aapcs-linux -mfloat-abi=hard -c pairs.cc -fPIC -DPIC -o .libs/libbrial_groebner_la-pairs.o /bin/sh ../../libtool --tag=CXX --mode=compile g++ -DHAVE_CONFIG_H -I. -I../../libbrial/include/polybori -I../../groebner/include -I../../libbrial/include -I../../libbrial/include -DPBORI_NDEBUG -ftemplate-depth-100 -fopenmp -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -march=armv7-a -mfpu=vfpv3-d16 -mtune=generic-armv7-a -mabi=aapcs-linux -mfloat-abi=hard -c -o libbrial_groebner_la-PolyEntry.lo `test -f 'PolyEntry.cc' || echo './'`PolyEntry.cc libtool: compile: g++ -DHAVE_CONFIG_H -I. -I../../libbrial/include/polybori -I../../groebner/include -I../../libbrial/include -I../../libbrial/include -DPBORI_NDEBUG -ftemplate-depth-100 -fopenmp -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -march=armv7-a -mfpu=vfpv3-d16 -mtune=generic-armv7-a -mabi=aapcs-linux -mfloat-abi=hard -c PolyEntry.cc -fPIC -DPIC -o .libs/libbrial_groebner_la-PolyEntry.o /bin/sh ../../libtool --tag=CXX --mode=compile g++ -DHAVE_CONFIG_H -I. -I../../libbrial/include/polybori -I../../groebner/include -I../../libbrial/include -I../../libbrial/include -DPBORI_NDEBUG -ftemplate-depth-100 -fopenmp -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -march=armv7-a -mfpu=vfpv3-d16 -mtune=generic-armv7-a -mabi=aapcs-linux -mfloat-abi=hard -c -o libbrial_groebner_la-polynomial_properties.lo `test -f 'polynomial_properties.cc' || echo './'`polynomial_properties.cc libtool: compile: g++ -DHAVE_CONFIG_H -I. -I../../libbrial/include/polybori -I../../groebner/include -I../../libbrial/include -I../../libbrial/include -DPBORI_NDEBUG -ftemplate-depth-100 -fopenmp -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -march=armv7-a -mfpu=vfpv3-d16 -mtune=generic-armv7-a -mabi=aapcs-linux -mfloat-abi=hard -c polynomial_properties.cc -fPIC -DPIC -o .libs/libbrial_groebner_la-polynomial_properties.o /bin/sh ../../libtool --tag=CXX --mode=compile g++ -DHAVE_CONFIG_H -I. -I../../libbrial/include/polybori -I../../groebner/include -I../../libbrial/include -I../../libbrial/include -DPBORI_NDEBUG -ftemplate-depth-100 -fopenmp -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -march=armv7-a -mfpu=vfpv3-d16 -mtune=generic-armv7-a -mabi=aapcs-linux -mfloat-abi=hard -c -o libbrial_groebner_la-randomset.lo `test -f 'randomset.cc' || echo './'`randomset.cc libtool: compile: g++ -DHAVE_CONFIG_H -I. -I../../libbrial/include/polybori -I../../groebner/include -I../../libbrial/include -I../../libbrial/include -DPBORI_NDEBUG -ftemplate-depth-100 -fopenmp -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -march=armv7-a -mfpu=vfpv3-d16 -mtune=generic-armv7-a -mabi=aapcs-linux -mfloat-abi=hard -c randomset.cc -fPIC -DPIC -o .libs/libbrial_groebner_la-randomset.o /bin/sh ../../libtool --tag=CXX --mode=compile g++ -DHAVE_CONFIG_H -I. -I../../libbrial/include/polybori -I../../groebner/include -I../../libbrial/include -I../../libbrial/include -DPBORI_NDEBUG -ftemplate-depth-100 -fopenmp -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -march=armv7-a -mfpu=vfpv3-d16 -mtune=generic-armv7-a -mabi=aapcs-linux -mfloat-abi=hard -c -o libbrial_groebner_la-ReductionStrategy.lo `test -f 'ReductionStrategy.cc' || echo './'`ReductionStrategy.cc libtool: compile: g++ -DHAVE_CONFIG_H -I. -I../../libbrial/include/polybori -I../../groebner/include -I../../libbrial/include -I../../libbrial/include -DPBORI_NDEBUG -ftemplate-depth-100 -fopenmp -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -march=armv7-a -mfpu=vfpv3-d16 -mtune=generic-armv7-a -mabi=aapcs-linux -mfloat-abi=hard -c ReductionStrategy.cc -fPIC -DPIC -o .libs/libbrial_groebner_la-ReductionStrategy.o BUILDSTDERR: In file included from ReductionStrategy.cc:22: BUILDSTDERR: ../../groebner/include/polybori/groebner/red_tail.h: In function 'polybori::groebner::Polynomial polybori::groebner::red_tail_general(const polybori::groebner::ReductionStrategy&, polybori::groebner::Polynomial)': BUILDSTDERR: ../../groebner/include/polybori/groebner/red_tail.h:66:9: warning: variable 's' set but not used [-Wunused-but-set-variable] BUILDSTDERR: 66 | int s; BUILDSTDERR: | ^ BUILDSTDERR: ../../groebner/include/polybori/groebner/red_tail.h: In instantiation of 'polybori::groebner::Polynomial polybori::groebner::red_tail_generic(const polybori::groebner::ReductionStrategy&, polybori::groebner::Polynomial) [with Helper = polybori::groebner::LexHelper; polybori::groebner::Polynomial = polybori::BoolePolynomial]': BUILDSTDERR: ../../groebner/include/polybori/groebner/red_tail.h:188:47: required from here BUILDSTDERR: ../../groebner/include/polybori/groebner/red_tail.h:164:12: warning: variable 's' set but not used [-Wunused-but-set-variable] BUILDSTDERR: 164 | size_t s; BUILDSTDERR: | ^ BUILDSTDERR: ../../groebner/include/polybori/groebner/red_tail.h: In instantiation of 'polybori::groebner::Polynomial polybori::groebner::red_tail_generic(const polybori::groebner::ReductionStrategy&, polybori::groebner::Polynomial) [with Helper = polybori::groebner::DegOrderHelper; polybori::groebner::Polynomial = polybori::BoolePolynomial]': BUILDSTDERR: ../../groebner/include/polybori/groebner/red_tail.h:190:52: required from here BUILDSTDERR: ../../groebner/include/polybori/groebner/red_tail.h:164:12: warning: variable 's' set but not used [-Wunused-but-set-variable] BUILDSTDERR: ../../groebner/include/polybori/groebner/red_tail.h: In instantiation of 'polybori::groebner::Polynomial polybori::groebner::red_tail_generic(const polybori::groebner::ReductionStrategy&, polybori::groebner::Polynomial) [with Helper = polybori::groebner::BlockOrderHelper; polybori::groebner::Polynomial = polybori::BoolePolynomial]': BUILDSTDERR: ../../groebner/include/polybori/groebner/red_tail.h:192:54: required from here BUILDSTDERR: ../../groebner/include/polybori/groebner/red_tail.h:164:12: warning: variable 's' set but not used [-Wunused-but-set-variable] /bin/sh ../../libtool --tag=CXX --mode=link g++ -ftemplate-depth-100 -fopenmp -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -march=armv7-a -mfpu=vfpv3-d16 -mtune=generic-armv7-a -mabi=aapcs-linux -mfloat-abi=hard -no-undefined -version-info 3:2:0 -Wl,-z,relro -Wl,--as-needed -Wl,-z,now -specs=/usr/lib/rpm/redhat/redhat-hardened-ld -o libbrial_groebner.la -rpath /usr/lib 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 -lpng16 -lz -lm4ri libtool: link: g++ -Wl,--as-needed -fPIC -DPIC -shared -nostdlib /usr/lib/gcc/armv7hl-redhat-linux-gnueabi/9/../../../crti.o /usr/lib/gcc/armv7hl-redhat-linux-gnueabi/9/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 ../../.libs/libbrial.so -lpng16 -lz -lm4ri -L/usr/lib/gcc/armv7hl-redhat-linux-gnueabi/9 -L/usr/lib/gcc/armv7hl-redhat-linux-gnueabi/9/../../.. -lstdc++ -lm -lc -lgcc_s /usr/lib/gcc/armv7hl-redhat-linux-gnueabi/9/crtendS.o /usr/lib/gcc/armv7hl-redhat-linux-gnueabi/9/../../../crtn.o -Wl,-z,now -specs=/usr/lib/rpm/redhat/redhat-hardened-ld -fopenmp -O2 -g -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -march=armv7-a -mfpu=vfpv3-d16 -mtune=generic-armv7-a -mabi=aapcs-linux -mfloat-abi=hard -Wl,-z -Wl,relro -Wl,--as-needed -Wl,-z -Wl,now -specs=/usr/lib/rpm/redhat/redhat-hardened-ld -fopenmp -Wl,-soname -Wl,libbrial_groebner.so.3 -o .libs/libbrial_groebner.so.3.0.2 libtool: link: (cd ".libs" && rm -f "libbrial_groebner.so.3" && ln -s "libbrial_groebner.so.3.0.2" "libbrial_groebner.so.3") libtool: link: (cd ".libs" && rm -f "libbrial_groebner.so" && ln -s "libbrial_groebner.so.3.0.2" "libbrial_groebner.so") libtool: link: ( cd ".libs" && rm -f "libbrial_groebner.la" && ln -s "../libbrial_groebner.la" "libbrial_groebner.la" ) make[2]: Leaving directory '/builddir/build/BUILD/brial-1.2.5/groebner/src' Making all in include make[2]: Entering directory '/builddir/build/BUILD/brial-1.2.5/groebner/include' make[2]: Nothing to be done for 'all'. make[2]: Leaving directory '/builddir/build/BUILD/brial-1.2.5/groebner/include' make[2]: Entering directory '/builddir/build/BUILD/brial-1.2.5/groebner' make[2]: Nothing to be done for 'all-am'. make[2]: Leaving directory '/builddir/build/BUILD/brial-1.2.5/groebner' make[1]: Leaving directory '/builddir/build/BUILD/brial-1.2.5/groebner' Making all in tests make[1]: Entering directory '/builddir/build/BUILD/brial-1.2.5/tests' make[1]: Nothing to be done for 'all'. make[1]: Leaving directory '/builddir/build/BUILD/brial-1.2.5/tests' + pushd sage-brial ~/build/BUILD/brial-1.2.5/sage-brial ~/build/BUILD/brial-1.2.5 + CFLAGS='-O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -march=armv7-a -mfpu=vfpv3-d16 -mtune=generic-armv7-a -mabi=aapcs-linux -mfloat-abi=hard' + LDFLAGS='-Wl,-z,relro -Wl,--as-needed -Wl,-z,now -specs=/usr/lib/rpm/redhat/redhat-hardened-ld' + /usr/bin/python3 setup.py build '--executable=/usr/bin/python3 -s' running build running build_py creating build creating build/lib creating build/lib/brial copying brial/intersect.py -> build/lib/brial copying brial/interpolate.py -> build/lib/brial copying brial/easy_polynomials.py -> build/lib/brial copying brial/statistics.py -> build/lib/brial copying brial/simplebb.py -> build/lib/brial copying brial/ll.py -> build/lib/brial copying brial/__init__.py -> build/lib/brial copying brial/fglm.py -> build/lib/brial copying brial/blocks.py -> build/lib/brial copying brial/context.py -> build/lib/brial copying brial/memusage.py -> build/lib/brial copying brial/addition.py -> build/lib/brial copying brial/parsegat.py -> build/lib/brial copying brial/gbrefs.py -> build/lib/brial copying brial/gbcore.py -> build/lib/brial copying brial/frontend.py -> build/lib/brial copying brial/parallel.py -> build/lib/brial copying brial/specialsets.py -> build/lib/brial copying brial/cnf.py -> build/lib/brial copying brial/ncf.py -> build/lib/brial copying brial/cluster.py -> build/lib/brial copying brial/plot.py -> build/lib/brial copying brial/PyPolyBoRi.py -> build/lib/brial copying brial/heuristics.py -> build/lib/brial copying brial/check_claims.py -> build/lib/brial copying brial/nf.py -> build/lib/brial copying brial/randompoly.py -> build/lib/brial copying brial/partial.py -> build/lib/brial copying brial/coding.py -> build/lib/brial copying brial/intpolys.py -> build/lib/brial copying brial/general_boolean_polynomial.py -> build/lib/brial copying brial/interred.py -> build/lib/brial copying brial/rank.py -> build/lib/brial + popd ~/build/BUILD/brial-1.2.5 + exit 0 Executing(%install): /bin/sh -e /var/tmp/rpm-tmp.IEWNZJ + umask 022 + cd /builddir/build/BUILD + '[' /builddir/build/BUILDROOT/brial-1.2.5-1.fc30.arm '!=' / ']' + rm -rf /builddir/build/BUILDROOT/brial-1.2.5-1.fc30.arm BUILDSTDERR: ++ dirname /builddir/build/BUILDROOT/brial-1.2.5-1.fc30.arm + mkdir -p /builddir/build/BUILDROOT + mkdir /builddir/build/BUILDROOT/brial-1.2.5-1.fc30.arm + cd brial-1.2.5 + make install DESTDIR=/builddir/build/BUILDROOT/brial-1.2.5-1.fc30.arm Making install in cudd make[1]: Entering directory '/builddir/build/BUILD/brial-1.2.5/cudd' make[2]: Entering directory '/builddir/build/BUILD/brial-1.2.5/cudd' make[2]: Nothing to be done for 'install-exec-am'. /usr/bin/mkdir -p '/builddir/build/BUILDROOT/brial-1.2.5-1.fc30.arm/usr/include/polybori/cudd' /usr/bin/install -c -m 644 cudd.h cuddInt.h '/builddir/build/BUILDROOT/brial-1.2.5-1.fc30.arm/usr/include/polybori/cudd' make[2]: Leaving directory '/builddir/build/BUILD/brial-1.2.5/cudd' make[1]: Leaving directory '/builddir/build/BUILD/brial-1.2.5/cudd' Making install in libbrial make[1]: Entering directory '/builddir/build/BUILD/brial-1.2.5/libbrial' Making install in src make[2]: Entering directory '/builddir/build/BUILD/brial-1.2.5/libbrial/src' make[3]: Entering directory '/builddir/build/BUILD/brial-1.2.5/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 '/builddir/build/BUILD/brial-1.2.5/libbrial/src' make[2]: Leaving directory '/builddir/build/BUILD/brial-1.2.5/libbrial/src' Making install in include make[2]: Entering directory '/builddir/build/BUILD/brial-1.2.5/libbrial/include' make[3]: Entering directory '/builddir/build/BUILD/brial-1.2.5/libbrial/include' make[3]: Nothing to be done for 'install-exec-am'. /usr/bin/mkdir -p '/builddir/build/BUILDROOT/brial-1.2.5-1.fc30.arm/usr/include' /usr/bin/mkdir -p '/builddir/build/BUILDROOT/brial-1.2.5-1.fc30.arm/usr/include/polybori/routines' /usr/bin/install -c -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 '/builddir/build/BUILDROOT/brial-1.2.5-1.fc30.arm/usr/include/polybori/routines' /usr/bin/mkdir -p '/builddir/build/BUILDROOT/brial-1.2.5-1.fc30.arm/usr/include/polybori/ring' /usr/bin/install -c -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 '/builddir/build/BUILDROOT/brial-1.2.5-1.fc30.arm/usr/include/polybori/ring' /usr/bin/mkdir -p '/builddir/build/BUILDROOT/brial-1.2.5-1.fc30.arm/usr/include/polybori/literals' /usr/bin/install -c -m 644 polybori/literals/CLiteralCodes.h polybori/literals/CStringLiteral.h '/builddir/build/BUILDROOT/brial-1.2.5-1.fc30.arm/usr/include/polybori/literals' /usr/bin/mkdir -p '/builddir/build/BUILDROOT/brial-1.2.5-1.fc30.arm/usr/include/polybori/orderings' /usr/bin/install -c -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 '/builddir/build/BUILDROOT/brial-1.2.5-1.fc30.arm/usr/include/polybori/orderings' /usr/bin/mkdir -p '/builddir/build/BUILDROOT/brial-1.2.5-1.fc30.arm/usr/include/polybori/iterators' /usr/bin/install -c -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 '/builddir/build/BUILDROOT/brial-1.2.5-1.fc30.arm/usr/include/polybori/iterators' /usr/bin/mkdir -p '/builddir/build/BUILDROOT/brial-1.2.5-1.fc30.arm/usr/include/polybori/diagram' /usr/bin/install -c -m 644 polybori/diagram/CApplyNodeFacade.h polybori/diagram/CCuddDDFacade.h polybori/diagram/CDDOperations.h polybori/diagram/CNodeCounter.h '/builddir/build/BUILDROOT/brial-1.2.5-1.fc30.arm/usr/include/polybori/diagram' /usr/bin/mkdir -p '/builddir/build/BUILDROOT/brial-1.2.5-1.fc30.arm/usr/include/polybori/cudd' /usr/bin/install -c -m 644 polybori/cudd/prefix.h polybori/cudd/prefix_internal.h '/builddir/build/BUILDROOT/brial-1.2.5-1.fc30.arm/usr/include/polybori/cudd' /usr/bin/mkdir -p '/builddir/build/BUILDROOT/brial-1.2.5-1.fc30.arm/usr/include/polybori/factories' /usr/bin/install -c -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 '/builddir/build/BUILDROOT/brial-1.2.5-1.fc30.arm/usr/include/polybori/factories' /usr/bin/install -c -m 644 polybori.h '/builddir/build/BUILDROOT/brial-1.2.5-1.fc30.arm/usr/include/.' /usr/bin/mkdir -p '/builddir/build/BUILDROOT/brial-1.2.5-1.fc30.arm/usr/include/polybori/cache' /usr/bin/install -c -m 644 polybori/cache/CacheManager.h polybori/cache/CCacheManagement.h polybori/cache/CDegreeCache.h '/builddir/build/BUILDROOT/brial-1.2.5-1.fc30.arm/usr/include/polybori/cache' /usr/bin/mkdir -p '/builddir/build/BUILDROOT/brial-1.2.5-1.fc30.arm/usr/include/polybori/common' /usr/bin/install -c -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 '/builddir/build/BUILDROOT/brial-1.2.5-1.fc30.arm/usr/include/polybori/common' /usr/bin/mkdir -p '/builddir/build/BUILDROOT/brial-1.2.5-1.fc30.arm/usr/include/polybori/except' /usr/bin/install -c -m 644 polybori/except/CErrorInfo.h polybori/except/PBoRiError.h polybori/except/PBoRiGenericError.h '/builddir/build/BUILDROOT/brial-1.2.5-1.fc30.arm/usr/include/polybori/except' /usr/bin/mkdir -p '/builddir/build/BUILDROOT/brial-1.2.5-1.fc30.arm/usr/include/polybori' /usr/bin/install -c -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 '/builddir/build/BUILDROOT/brial-1.2.5-1.fc30.arm/usr/include/polybori' make[3]: Leaving directory '/builddir/build/BUILD/brial-1.2.5/libbrial/include' make[2]: Leaving directory '/builddir/build/BUILD/brial-1.2.5/libbrial/include' make[2]: Entering directory '/builddir/build/BUILD/brial-1.2.5/libbrial' make[3]: Entering directory '/builddir/build/BUILD/brial-1.2.5/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 '/builddir/build/BUILD/brial-1.2.5/libbrial' make[2]: Leaving directory '/builddir/build/BUILD/brial-1.2.5/libbrial' make[1]: Leaving directory '/builddir/build/BUILD/brial-1.2.5/libbrial' Making install in . make[1]: Entering directory '/builddir/build/BUILD/brial-1.2.5' make[2]: Entering directory '/builddir/build/BUILD/brial-1.2.5' /usr/bin/mkdir -p '/builddir/build/BUILDROOT/brial-1.2.5-1.fc30.arm/usr/lib' /bin/sh ./libtool --mode=install /usr/bin/install -c libbrial.la '/builddir/build/BUILDROOT/brial-1.2.5-1.fc30.arm/usr/lib' libtool: install: /usr/bin/install -c .libs/libbrial.so.3.0.2 /builddir/build/BUILDROOT/brial-1.2.5-1.fc30.arm/usr/lib/libbrial.so.3.0.2 libtool: install: (cd /builddir/build/BUILDROOT/brial-1.2.5-1.fc30.arm/usr/lib && { ln -s -f libbrial.so.3.0.2 libbrial.so.3 || { rm -f libbrial.so.3 && ln -s libbrial.so.3.0.2 libbrial.so.3; }; }) libtool: install: (cd /builddir/build/BUILDROOT/brial-1.2.5-1.fc30.arm/usr/lib && { ln -s -f libbrial.so.3.0.2 libbrial.so || { rm -f libbrial.so && ln -s libbrial.so.3.0.2 libbrial.so; }; }) libtool: install: /usr/bin/install -c .libs/libbrial.lai /builddir/build/BUILDROOT/brial-1.2.5-1.fc30.arm/usr/lib/libbrial.la BUILDSTDERR: libtool: warning: remember to run 'libtool --finish /usr/lib' make[2]: Nothing to be done for 'install-data-am'. make[2]: Leaving directory '/builddir/build/BUILD/brial-1.2.5' make[1]: Leaving directory '/builddir/build/BUILD/brial-1.2.5' Making install in groebner make[1]: Entering directory '/builddir/build/BUILD/brial-1.2.5/groebner' Making install in src make[2]: Entering directory '/builddir/build/BUILD/brial-1.2.5/groebner/src' make[3]: Entering directory '/builddir/build/BUILD/brial-1.2.5/groebner/src' /usr/bin/mkdir -p '/builddir/build/BUILDROOT/brial-1.2.5-1.fc30.arm/usr/lib' /bin/sh ../../libtool --mode=install /usr/bin/install -c libbrial_groebner.la '/builddir/build/BUILDROOT/brial-1.2.5-1.fc30.arm/usr/lib' BUILDSTDERR: libtool: warning: relinking 'libbrial_groebner.la' libtool: install: (cd /builddir/build/BUILD/brial-1.2.5/groebner/src; /bin/sh "/builddir/build/BUILD/brial-1.2.5/libtool" --tag CXX --mode=relink g++ -ftemplate-depth-100 -fopenmp -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -march=armv7-a -mfpu=vfpv3-d16 -mtune=generic-armv7-a -mabi=aapcs-linux -mfloat-abi=hard -no-undefined -version-info 3:2:0 -Wl,-z,relro -Wl,--as-needed -Wl,-z,now -specs=/usr/lib/rpm/redhat/redhat-hardened-ld -o libbrial_groebner.la -rpath /usr/lib 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 -lpng16 -lz -lm4ri -inst-prefix-dir /builddir/build/BUILDROOT/brial-1.2.5-1.fc30.arm) libtool: relink: g++ -Wl,--as-needed -fPIC -DPIC -shared -nostdlib /usr/lib/gcc/armv7hl-redhat-linux-gnueabi/9/../../../crti.o /usr/lib/gcc/armv7hl-redhat-linux-gnueabi/9/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/builddir/build/BUILDROOT/brial-1.2.5-1.fc30.arm/usr/lib -L/usr/lib -lbrial -lpng16 -lz -lm4ri -L/usr/lib/gcc/armv7hl-redhat-linux-gnueabi/9 -L/usr/lib/gcc/armv7hl-redhat-linux-gnueabi/9/../../.. -lstdc++ -lm -lc -lgcc_s /usr/lib/gcc/armv7hl-redhat-linux-gnueabi/9/crtendS.o /usr/lib/gcc/armv7hl-redhat-linux-gnueabi/9/../../../crtn.o -Wl,-z,now -specs=/usr/lib/rpm/redhat/redhat-hardened-ld -fopenmp -O2 -g -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -march=armv7-a -mfpu=vfpv3-d16 -mtune=generic-armv7-a -mabi=aapcs-linux -mfloat-abi=hard -Wl,-z -Wl,relro -Wl,--as-needed -Wl,-z -Wl,now -specs=/usr/lib/rpm/redhat/redhat-hardened-ld -fopenmp -Wl,-soname -Wl,libbrial_groebner.so.3 -o .libs/libbrial_groebner.so.3.0.2 libtool: install: /usr/bin/install -c .libs/libbrial_groebner.so.3.0.2T /builddir/build/BUILDROOT/brial-1.2.5-1.fc30.arm/usr/lib/libbrial_groebner.so.3.0.2 libtool: install: (cd /builddir/build/BUILDROOT/brial-1.2.5-1.fc30.arm/usr/lib && { ln -s -f libbrial_groebner.so.3.0.2 libbrial_groebner.so.3 || { rm -f libbrial_groebner.so.3 && ln -s libbrial_groebner.so.3.0.2 libbrial_groebner.so.3; }; }) libtool: install: (cd /builddir/build/BUILDROOT/brial-1.2.5-1.fc30.arm/usr/lib && { ln -s -f libbrial_groebner.so.3.0.2 libbrial_groebner.so || { rm -f libbrial_groebner.so && ln -s libbrial_groebner.so.3.0.2 libbrial_groebner.so; }; }) libtool: install: /usr/bin/install -c .libs/libbrial_groebner.lai /builddir/build/BUILDROOT/brial-1.2.5-1.fc30.arm/usr/lib/libbrial_groebner.la BUILDSTDERR: libtool: warning: remember to run 'libtool --finish /usr/lib' make[3]: Nothing to be done for 'install-data-am'. make[3]: Leaving directory '/builddir/build/BUILD/brial-1.2.5/groebner/src' make[2]: Leaving directory '/builddir/build/BUILD/brial-1.2.5/groebner/src' Making install in include make[2]: Entering directory '/builddir/build/BUILD/brial-1.2.5/groebner/include' make[3]: Entering directory '/builddir/build/BUILD/brial-1.2.5/groebner/include' make[3]: Nothing to be done for 'install-exec-am'. /usr/bin/mkdir -p '/builddir/build/BUILDROOT/brial-1.2.5-1.fc30.arm/usr/include' /usr/bin/mkdir -p '/builddir/build/BUILDROOT/brial-1.2.5-1.fc30.arm/usr/include/polybori/groebner' /usr/bin/install -c -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 '/builddir/build/BUILDROOT/brial-1.2.5-1.fc30.arm/usr/include/polybori/groebner' /usr/bin/mkdir -p '/builddir/build/BUILDROOT/brial-1.2.5-1.fc30.arm/usr/include/polybori/groebner' /usr/bin/install -c -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 '/builddir/build/BUILDROOT/brial-1.2.5-1.fc30.arm/usr/include/polybori/groebner' /usr/bin/mkdir -p '/builddir/build/BUILDROOT/brial-1.2.5-1.fc30.arm/usr/include/polybori/groebner' /usr/bin/install -c -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 '/builddir/build/BUILDROOT/brial-1.2.5-1.fc30.arm/usr/include/polybori/groebner' make[3]: Leaving directory '/builddir/build/BUILD/brial-1.2.5/groebner/include' make[2]: Leaving directory '/builddir/build/BUILD/brial-1.2.5/groebner/include' make[2]: Entering directory '/builddir/build/BUILD/brial-1.2.5/groebner' make[3]: Entering directory '/builddir/build/BUILD/brial-1.2.5/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 '/builddir/build/BUILD/brial-1.2.5/groebner' make[2]: Leaving directory '/builddir/build/BUILD/brial-1.2.5/groebner' make[1]: Leaving directory '/builddir/build/BUILD/brial-1.2.5/groebner' Making install in tests make[1]: Entering directory '/builddir/build/BUILD/brial-1.2.5/tests' make[2]: Entering directory '/builddir/build/BUILD/brial-1.2.5/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 '/builddir/build/BUILD/brial-1.2.5/tests' make[1]: Leaving directory '/builddir/build/BUILD/brial-1.2.5/tests' + rm /builddir/build/BUILDROOT/brial-1.2.5-1.fc30.arm/usr/lib/libbrial.la /builddir/build/BUILDROOT/brial-1.2.5-1.fc30.arm/usr/lib/libbrial_groebner.la + pushd sage-brial ~/build/BUILD/brial-1.2.5/sage-brial ~/build/BUILD/brial-1.2.5 + CFLAGS='-O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -march=armv7-a -mfpu=vfpv3-d16 -mtune=generic-armv7-a -mabi=aapcs-linux -mfloat-abi=hard' + LDFLAGS='-Wl,-z,relro -Wl,--as-needed -Wl,-z,now -specs=/usr/lib/rpm/redhat/redhat-hardened-ld' + /usr/bin/python3 setup.py install -O1 --skip-build --root /builddir/build/BUILDROOT/brial-1.2.5-1.fc30.arm running install running install_lib creating /builddir/build/BUILDROOT/brial-1.2.5-1.fc30.arm/usr/lib/python3.7 creating /builddir/build/BUILDROOT/brial-1.2.5-1.fc30.arm/usr/lib/python3.7/site-packages creating /builddir/build/BUILDROOT/brial-1.2.5-1.fc30.arm/usr/lib/python3.7/site-packages/brial copying build/lib/brial/intersect.py -> /builddir/build/BUILDROOT/brial-1.2.5-1.fc30.arm/usr/lib/python3.7/site-packages/brial copying build/lib/brial/interpolate.py -> /builddir/build/BUILDROOT/brial-1.2.5-1.fc30.arm/usr/lib/python3.7/site-packages/brial copying build/lib/brial/easy_polynomials.py -> /builddir/build/BUILDROOT/brial-1.2.5-1.fc30.arm/usr/lib/python3.7/site-packages/brial copying build/lib/brial/statistics.py -> /builddir/build/BUILDROOT/brial-1.2.5-1.fc30.arm/usr/lib/python3.7/site-packages/brial copying build/lib/brial/simplebb.py -> /builddir/build/BUILDROOT/brial-1.2.5-1.fc30.arm/usr/lib/python3.7/site-packages/brial copying build/lib/brial/ll.py -> /builddir/build/BUILDROOT/brial-1.2.5-1.fc30.arm/usr/lib/python3.7/site-packages/brial copying build/lib/brial/__init__.py -> /builddir/build/BUILDROOT/brial-1.2.5-1.fc30.arm/usr/lib/python3.7/site-packages/brial copying build/lib/brial/fglm.py -> /builddir/build/BUILDROOT/brial-1.2.5-1.fc30.arm/usr/lib/python3.7/site-packages/brial copying build/lib/brial/blocks.py -> /builddir/build/BUILDROOT/brial-1.2.5-1.fc30.arm/usr/lib/python3.7/site-packages/brial copying build/lib/brial/context.py -> /builddir/build/BUILDROOT/brial-1.2.5-1.fc30.arm/usr/lib/python3.7/site-packages/brial copying build/lib/brial/memusage.py -> /builddir/build/BUILDROOT/brial-1.2.5-1.fc30.arm/usr/lib/python3.7/site-packages/brial copying build/lib/brial/addition.py -> /builddir/build/BUILDROOT/brial-1.2.5-1.fc30.arm/usr/lib/python3.7/site-packages/brial copying build/lib/brial/parsegat.py -> /builddir/build/BUILDROOT/brial-1.2.5-1.fc30.arm/usr/lib/python3.7/site-packages/brial copying build/lib/brial/gbrefs.py -> /builddir/build/BUILDROOT/brial-1.2.5-1.fc30.arm/usr/lib/python3.7/site-packages/brial copying build/lib/brial/gbcore.py -> /builddir/build/BUILDROOT/brial-1.2.5-1.fc30.arm/usr/lib/python3.7/site-packages/brial copying build/lib/brial/frontend.py -> /builddir/build/BUILDROOT/brial-1.2.5-1.fc30.arm/usr/lib/python3.7/site-packages/brial copying build/lib/brial/parallel.py -> /builddir/build/BUILDROOT/brial-1.2.5-1.fc30.arm/usr/lib/python3.7/site-packages/brial copying build/lib/brial/specialsets.py -> /builddir/build/BUILDROOT/brial-1.2.5-1.fc30.arm/usr/lib/python3.7/site-packages/brial copying build/lib/brial/cnf.py -> /builddir/build/BUILDROOT/brial-1.2.5-1.fc30.arm/usr/lib/python3.7/site-packages/brial copying build/lib/brial/ncf.py -> /builddir/build/BUILDROOT/brial-1.2.5-1.fc30.arm/usr/lib/python3.7/site-packages/brial copying build/lib/brial/cluster.py -> /builddir/build/BUILDROOT/brial-1.2.5-1.fc30.arm/usr/lib/python3.7/site-packages/brial copying build/lib/brial/plot.py -> /builddir/build/BUILDROOT/brial-1.2.5-1.fc30.arm/usr/lib/python3.7/site-packages/brial copying build/lib/brial/PyPolyBoRi.py -> /builddir/build/BUILDROOT/brial-1.2.5-1.fc30.arm/usr/lib/python3.7/site-packages/brial copying build/lib/brial/heuristics.py -> /builddir/build/BUILDROOT/brial-1.2.5-1.fc30.arm/usr/lib/python3.7/site-packages/brial copying build/lib/brial/check_claims.py -> /builddir/build/BUILDROOT/brial-1.2.5-1.fc30.arm/usr/lib/python3.7/site-packages/brial copying build/lib/brial/nf.py -> /builddir/build/BUILDROOT/brial-1.2.5-1.fc30.arm/usr/lib/python3.7/site-packages/brial copying build/lib/brial/randompoly.py -> /builddir/build/BUILDROOT/brial-1.2.5-1.fc30.arm/usr/lib/python3.7/site-packages/brial copying build/lib/brial/partial.py -> /builddir/build/BUILDROOT/brial-1.2.5-1.fc30.arm/usr/lib/python3.7/site-packages/brial copying build/lib/brial/coding.py -> /builddir/build/BUILDROOT/brial-1.2.5-1.fc30.arm/usr/lib/python3.7/site-packages/brial copying build/lib/brial/intpolys.py -> /builddir/build/BUILDROOT/brial-1.2.5-1.fc30.arm/usr/lib/python3.7/site-packages/brial copying build/lib/brial/general_boolean_polynomial.py -> /builddir/build/BUILDROOT/brial-1.2.5-1.fc30.arm/usr/lib/python3.7/site-packages/brial copying build/lib/brial/interred.py -> /builddir/build/BUILDROOT/brial-1.2.5-1.fc30.arm/usr/lib/python3.7/site-packages/brial copying build/lib/brial/rank.py -> /builddir/build/BUILDROOT/brial-1.2.5-1.fc30.arm/usr/lib/python3.7/site-packages/brial byte-compiling /builddir/build/BUILDROOT/brial-1.2.5-1.fc30.arm/usr/lib/python3.7/site-packages/brial/intersect.py to intersect.cpython-37.pyc byte-compiling /builddir/build/BUILDROOT/brial-1.2.5-1.fc30.arm/usr/lib/python3.7/site-packages/brial/interpolate.py to interpolate.cpython-37.pyc byte-compiling /builddir/build/BUILDROOT/brial-1.2.5-1.fc30.arm/usr/lib/python3.7/site-packages/brial/easy_polynomials.py to easy_polynomials.cpython-37.pyc byte-compiling /builddir/build/BUILDROOT/brial-1.2.5-1.fc30.arm/usr/lib/python3.7/site-packages/brial/statistics.py to statistics.cpython-37.pyc byte-compiling /builddir/build/BUILDROOT/brial-1.2.5-1.fc30.arm/usr/lib/python3.7/site-packages/brial/simplebb.py to simplebb.cpython-37.pyc byte-compiling /builddir/build/BUILDROOT/brial-1.2.5-1.fc30.arm/usr/lib/python3.7/site-packages/brial/ll.py to ll.cpython-37.pyc byte-compiling /builddir/build/BUILDROOT/brial-1.2.5-1.fc30.arm/usr/lib/python3.7/site-packages/brial/__init__.py to __init__.cpython-37.pyc byte-compiling /builddir/build/BUILDROOT/brial-1.2.5-1.fc30.arm/usr/lib/python3.7/site-packages/brial/fglm.py to fglm.cpython-37.pyc byte-compiling /builddir/build/BUILDROOT/brial-1.2.5-1.fc30.arm/usr/lib/python3.7/site-packages/brial/blocks.py to blocks.cpython-37.pyc byte-compiling /builddir/build/BUILDROOT/brial-1.2.5-1.fc30.arm/usr/lib/python3.7/site-packages/brial/context.py to context.cpython-37.pyc byte-compiling /builddir/build/BUILDROOT/brial-1.2.5-1.fc30.arm/usr/lib/python3.7/site-packages/brial/memusage.py to memusage.cpython-37.pyc byte-compiling /builddir/build/BUILDROOT/brial-1.2.5-1.fc30.arm/usr/lib/python3.7/site-packages/brial/addition.py to addition.cpython-37.pyc byte-compiling /builddir/build/BUILDROOT/brial-1.2.5-1.fc30.arm/usr/lib/python3.7/site-packages/brial/parsegat.py to parsegat.cpython-37.pyc byte-compiling /builddir/build/BUILDROOT/brial-1.2.5-1.fc30.arm/usr/lib/python3.7/site-packages/brial/gbrefs.py to gbrefs.cpython-37.pyc byte-compiling /builddir/build/BUILDROOT/brial-1.2.5-1.fc30.arm/usr/lib/python3.7/site-packages/brial/gbcore.py to gbcore.cpython-37.pyc byte-compiling /builddir/build/BUILDROOT/brial-1.2.5-1.fc30.arm/usr/lib/python3.7/site-packages/brial/frontend.py to frontend.cpython-37.pyc byte-compiling /builddir/build/BUILDROOT/brial-1.2.5-1.fc30.arm/usr/lib/python3.7/site-packages/brial/parallel.py to parallel.cpython-37.pyc byte-compiling /builddir/build/BUILDROOT/brial-1.2.5-1.fc30.arm/usr/lib/python3.7/site-packages/brial/specialsets.py to specialsets.cpython-37.pyc byte-compiling /builddir/build/BUILDROOT/brial-1.2.5-1.fc30.arm/usr/lib/python3.7/site-packages/brial/cnf.py to cnf.cpython-37.pyc byte-compiling /builddir/build/BUILDROOT/brial-1.2.5-1.fc30.arm/usr/lib/python3.7/site-packages/brial/ncf.py to ncf.cpython-37.pyc byte-compiling /builddir/build/BUILDROOT/brial-1.2.5-1.fc30.arm/usr/lib/python3.7/site-packages/brial/cluster.py to cluster.cpython-37.pyc byte-compiling /builddir/build/BUILDROOT/brial-1.2.5-1.fc30.arm/usr/lib/python3.7/site-packages/brial/plot.py to plot.cpython-37.pyc byte-compiling /builddir/build/BUILDROOT/brial-1.2.5-1.fc30.arm/usr/lib/python3.7/site-packages/brial/PyPolyBoRi.py to PyPolyBoRi.cpython-37.pyc byte-compiling /builddir/build/BUILDROOT/brial-1.2.5-1.fc30.arm/usr/lib/python3.7/site-packages/brial/heuristics.py to heuristics.cpython-37.pyc byte-compiling /builddir/build/BUILDROOT/brial-1.2.5-1.fc30.arm/usr/lib/python3.7/site-packages/brial/check_claims.py to check_claims.cpython-37.pyc byte-compiling /builddir/build/BUILDROOT/brial-1.2.5-1.fc30.arm/usr/lib/python3.7/site-packages/brial/nf.py to nf.cpython-37.pyc byte-compiling /builddir/build/BUILDROOT/brial-1.2.5-1.fc30.arm/usr/lib/python3.7/site-packages/brial/randompoly.py to randompoly.cpython-37.pyc byte-compiling /builddir/build/BUILDROOT/brial-1.2.5-1.fc30.arm/usr/lib/python3.7/site-packages/brial/partial.py to partial.cpython-37.pyc byte-compiling /builddir/build/BUILDROOT/brial-1.2.5-1.fc30.arm/usr/lib/python3.7/site-packages/brial/coding.py to coding.cpython-37.pyc byte-compiling /builddir/build/BUILDROOT/brial-1.2.5-1.fc30.arm/usr/lib/python3.7/site-packages/brial/intpolys.py to intpolys.cpython-37.pyc byte-compiling /builddir/build/BUILDROOT/brial-1.2.5-1.fc30.arm/usr/lib/python3.7/site-packages/brial/general_boolean_polynomial.py to general_boolean_polynomial.cpython-37.pyc byte-compiling /builddir/build/BUILDROOT/brial-1.2.5-1.fc30.arm/usr/lib/python3.7/site-packages/brial/interred.py to interred.cpython-37.pyc byte-compiling /builddir/build/BUILDROOT/brial-1.2.5-1.fc30.arm/usr/lib/python3.7/site-packages/brial/rank.py to rank.cpython-37.pyc writing byte-compilation script '/tmp/tmp4kczj69q.py' /usr/bin/python3 /tmp/tmp4kczj69q.py removing /tmp/tmp4kczj69q.py running install_egg_info Writing /builddir/build/BUILDROOT/brial-1.2.5-1.fc30.arm/usr/lib/python3.7/site-packages/brial-1.0.2-py3.7.egg-info + popd ~/build/BUILD/brial-1.2.5 + /usr/lib/rpm/find-debuginfo.sh -j4 --strict-build-id -m -i --build-id-seed 1.2.5-1.fc30 --unique-debug-suffix -1.2.5-1.fc30.arm --unique-debug-src-base brial-1.2.5-1.fc30.arm --run-dwz --dwz-low-mem-die-limit 10000000 --dwz-max-die-limit 50000000 -S debugsourcefiles.list /builddir/build/BUILD/brial-1.2.5 explicitly decompress any DWARF compressed ELF sections in /builddir/build/BUILDROOT/brial-1.2.5-1.fc30.arm/usr/lib/libbrial_groebner.so.3.0.2 explicitly decompress any DWARF compressed ELF sections in /builddir/build/BUILDROOT/brial-1.2.5-1.fc30.arm/usr/lib/libbrial.so.3.0.2 extracting debug info from /builddir/build/BUILDROOT/brial-1.2.5-1.fc30.arm/usr/lib/libbrial.so.3.0.2 extracting debug info from /builddir/build/BUILDROOT/brial-1.2.5-1.fc30.arm/usr/lib/libbrial_groebner.so.3.0.2 /usr/lib/rpm/sepdebugcrcfix: Updated 2 CRC32s, 0 CRC32s did match. BUILDSTDERR: 16210 blocks + /usr/lib/rpm/check-buildroot + /usr/lib/rpm/redhat/brp-ldconfig + /usr/lib/rpm/brp-compress + /usr/lib/rpm/brp-strip-static-archive /usr/bin/strip + /usr/lib/rpm/brp-python-bytecompile /usr/bin/python 1 0 Bytecompiling .py files below /builddir/build/BUILDROOT/brial-1.2.5-1.fc30.arm/usr/lib/python3.7 using /usr/bin/python3.7 + /usr/lib/rpm/brp-python-hardlink + /usr/lib/rpm/redhat/brp-mangle-shebangs Executing(%check): /bin/sh -e /var/tmp/rpm-tmp.jh8rVZ + umask 022 + cd /builddir/build/BUILD + cd brial-1.2.5 + export LD_LIBRARY_PATH=/builddir/build/BUILD/brial-1.2.5/.libs:/builddir/build/BUILD/brial-1.2.5/groebner/src/.libs + LD_LIBRARY_PATH=/builddir/build/BUILD/brial-1.2.5/.libs:/builddir/build/BUILD/brial-1.2.5/groebner/src/.libs + make check Making check in cudd make[1]: Entering directory '/builddir/build/BUILD/brial-1.2.5/cudd' make[1]: Nothing to be done for 'check'. make[1]: Leaving directory '/builddir/build/BUILD/brial-1.2.5/cudd' Making check in libbrial make[1]: Entering directory '/builddir/build/BUILD/brial-1.2.5/libbrial' Making check in src make[2]: Entering directory '/builddir/build/BUILD/brial-1.2.5/libbrial/src' make[2]: Nothing to be done for 'check'. make[2]: Leaving directory '/builddir/build/BUILD/brial-1.2.5/libbrial/src' Making check in include make[2]: Entering directory '/builddir/build/BUILD/brial-1.2.5/libbrial/include' make[2]: Nothing to be done for 'check'. make[2]: Leaving directory '/builddir/build/BUILD/brial-1.2.5/libbrial/include' make[2]: Entering directory '/builddir/build/BUILD/brial-1.2.5/libbrial' make[2]: Nothing to be done for 'check-am'. make[2]: Leaving directory '/builddir/build/BUILD/brial-1.2.5/libbrial' make[1]: Leaving directory '/builddir/build/BUILD/brial-1.2.5/libbrial' Making check in . make[1]: Entering directory '/builddir/build/BUILD/brial-1.2.5' make[1]: Nothing to be done for 'check-am'. make[1]: Leaving directory '/builddir/build/BUILD/brial-1.2.5' Making check in groebner make[1]: Entering directory '/builddir/build/BUILD/brial-1.2.5/groebner' Making check in src make[2]: Entering directory '/builddir/build/BUILD/brial-1.2.5/groebner/src' make[2]: Nothing to be done for 'check'. make[2]: Leaving directory '/builddir/build/BUILD/brial-1.2.5/groebner/src' Making check in include make[2]: Entering directory '/builddir/build/BUILD/brial-1.2.5/groebner/include' make[2]: Nothing to be done for 'check'. make[2]: Leaving directory '/builddir/build/BUILD/brial-1.2.5/groebner/include' make[2]: Entering directory '/builddir/build/BUILD/brial-1.2.5/groebner' make[2]: Nothing to be done for 'check-am'. make[2]: Leaving directory '/builddir/build/BUILD/brial-1.2.5/groebner' make[1]: Leaving directory '/builddir/build/BUILD/brial-1.2.5/groebner' Making check in tests make[1]: Entering directory '/builddir/build/BUILD/brial-1.2.5/tests' make unittests make[2]: Entering directory '/builddir/build/BUILD/brial-1.2.5/tests' g++ -DHAVE_CONFIG_H -I. -I../libbrial/include/polybori -I../groebner/include -I../libbrial/include -I../libbrial/include -DBOOST_TEST_DYN_LINK -DPBORI_NDEBUG -ftemplate-depth-100 -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -march=armv7-a -mfpu=vfpv3-d16 -mtune=generic-armv7-a -mabi=aapcs-linux -mfloat-abi=hard -c -o BlockDegLexOrderTest.o BlockDegLexOrderTest.cc g++ -DHAVE_CONFIG_H -I. -I../libbrial/include/polybori -I../groebner/include -I../libbrial/include -I../libbrial/include -DBOOST_TEST_DYN_LINK -DPBORI_NDEBUG -ftemplate-depth-100 -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -march=armv7-a -mfpu=vfpv3-d16 -mtune=generic-armv7-a -mabi=aapcs-linux -mfloat-abi=hard -c -o BlockDegRevLexAscOrderTest.o BlockDegRevLexAscOrderTest.cc g++ -DHAVE_CONFIG_H -I. -I../libbrial/include/polybori -I../groebner/include -I../libbrial/include -I../libbrial/include -DBOOST_TEST_DYN_LINK -DPBORI_NDEBUG -ftemplate-depth-100 -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -march=armv7-a -mfpu=vfpv3-d16 -mtune=generic-armv7-a -mabi=aapcs-linux -mfloat-abi=hard -c -o BooleConstantTest.o BooleConstantTest.cc g++ -DHAVE_CONFIG_H -I. -I../libbrial/include/polybori -I../groebner/include -I../libbrial/include -I../libbrial/include -DBOOST_TEST_DYN_LINK -DPBORI_NDEBUG -ftemplate-depth-100 -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -march=armv7-a -mfpu=vfpv3-d16 -mtune=generic-armv7-a -mabi=aapcs-linux -mfloat-abi=hard -c -o BooleEnvTest.o BooleEnvTest.cc g++ -DHAVE_CONFIG_H -I. -I../libbrial/include/polybori -I../groebner/include -I../libbrial/include -I../libbrial/include -DBOOST_TEST_DYN_LINK -DPBORI_NDEBUG -ftemplate-depth-100 -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -march=armv7-a -mfpu=vfpv3-d16 -mtune=generic-armv7-a -mabi=aapcs-linux -mfloat-abi=hard -c -o BooleExponentTest.o BooleExponentTest.cc g++ -DHAVE_CONFIG_H -I. -I../libbrial/include/polybori -I../groebner/include -I../libbrial/include -I../libbrial/include -DBOOST_TEST_DYN_LINK -DPBORI_NDEBUG -ftemplate-depth-100 -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -march=armv7-a -mfpu=vfpv3-d16 -mtune=generic-armv7-a -mabi=aapcs-linux -mfloat-abi=hard -c -o BooleMonomialTest.o BooleMonomialTest.cc g++ -DHAVE_CONFIG_H -I. -I../libbrial/include/polybori -I../groebner/include -I../libbrial/include -I../libbrial/include -DBOOST_TEST_DYN_LINK -DPBORI_NDEBUG -ftemplate-depth-100 -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -march=armv7-a -mfpu=vfpv3-d16 -mtune=generic-armv7-a -mabi=aapcs-linux -mfloat-abi=hard -c -o BoolePolynomialTest.o BoolePolynomialTest.cc g++ -DHAVE_CONFIG_H -I. -I../libbrial/include/polybori -I../groebner/include -I../libbrial/include -I../libbrial/include -DBOOST_TEST_DYN_LINK -DPBORI_NDEBUG -ftemplate-depth-100 -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -march=armv7-a -mfpu=vfpv3-d16 -mtune=generic-armv7-a -mabi=aapcs-linux -mfloat-abi=hard -c -o BoolePolyRingTest.o BoolePolyRingTest.cc g++ -DHAVE_CONFIG_H -I. -I../libbrial/include/polybori -I../groebner/include -I../libbrial/include -I../libbrial/include -DBOOST_TEST_DYN_LINK -DPBORI_NDEBUG -ftemplate-depth-100 -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -march=armv7-a -mfpu=vfpv3-d16 -mtune=generic-armv7-a -mabi=aapcs-linux -mfloat-abi=hard -c -o BooleSetTest.o BooleSetTest.cc BUILDSTDERR: In file included from /usr/include/c++/9/map:60, BUILDSTDERR: from /usr/include/boost/test/tree/test_unit.hpp:35, BUILDSTDERR: from /usr/include/boost/test/tree/auto_registration.hpp:21, BUILDSTDERR: from /usr/include/boost/test/unit_test_suite.hpp:17, BUILDSTDERR: from /usr/include/boost/test/unit_test.hpp:19, BUILDSTDERR: from BooleSetTest.cc:16: BUILDSTDERR: /usr/include/c++/9/bits/stl_tree.h: In member function 'std::_Rb_tree<_Key, _Val, _KeyOfValue, _Compare, _Alloc>::iterator std::_Rb_tree<_Key, _Val, _KeyOfValue, _Compare, _Alloc>::_M_emplace_hint_unique(std::_Rb_tree<_Key, _Val, _KeyOfValue, _Compare, _Alloc>::const_iterator, _Args&& ...) [with _Args = {const std::piecewise_construct_t&, std::tuple, std::tuple<>}; _Key = polybori::CCuddNavigator; _Val = std::pair; _KeyOfValue = std::_Select1st >; _Compare = std::less; _Alloc = std::allocator >]': BUILDSTDERR: /usr/include/c++/9/bits/stl_tree.h:2448:7: note: parameter passing for argument of type 'std::_Rb_tree, std::_Select1st >, std::less, std::allocator > >::const_iterator' {aka 'std::_Rb_tree_const_iterator >'} changed in GCC 7.1 BUILDSTDERR: 2448 | _Rb_tree<_Key, _Val, _KeyOfValue, _Compare, _Alloc>:: BUILDSTDERR: | ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ BUILDSTDERR: In file included from /usr/include/c++/9/map:61, BUILDSTDERR: from /usr/include/boost/test/tree/test_unit.hpp:35, BUILDSTDERR: from /usr/include/boost/test/tree/auto_registration.hpp:21, BUILDSTDERR: from /usr/include/boost/test/unit_test_suite.hpp:17, BUILDSTDERR: from /usr/include/boost/test/unit_test.hpp:19, BUILDSTDERR: from BooleSetTest.cc:16: BUILDSTDERR: /usr/include/c++/9/bits/stl_map.h: In function 'typename MapType::mapped_type polybori::dd_long_count_step(MapType&, NaviType) [with MapType = std::map, std::allocator > >; NaviType = polybori::CCuddNavigator]': BUILDSTDERR: /usr/include/c++/9/bits/stl_map.h:499:8: note: parameter passing for argument of type 'std::_Rb_tree, std::_Select1st >, std::less, std::allocator > >::const_iterator' {aka 'std::_Rb_tree_const_iterator >'} changed in GCC 7.1 BUILDSTDERR: 499 | __i = _M_t._M_emplace_hint_unique(__i, std::piecewise_construct, BUILDSTDERR: /usr/include/c++/9/bits/stl_map.h: In member function 'void BooleSetTestSuite::test_size_values::test_method()': BUILDSTDERR: /usr/include/c++/9/bits/stl_map.h:499:8: note: parameter passing for argument of type 'std::_Rb_tree, std::_Select1st >, std::less, std::allocator > >::const_iterator' {aka 'std::_Rb_tree_const_iterator >'} changed in GCC 7.1 BUILDSTDERR: 499 | __i = _M_t._M_emplace_hint_unique(__i, std::piecewise_construct, BUILDSTDERR: /usr/include/c++/9/bits/stl_map.h:499:8: note: parameter passing for argument of type 'std::_Rb_tree, std::_Select1st >, std::less, std::allocator > >::const_iterator' {aka 'std::_Rb_tree_const_iterator >'} changed in GCC 7.1 BUILDSTDERR: 499 | __i = _M_t._M_emplace_hint_unique(__i, std::piecewise_construct, BUILDSTDERR: /usr/include/c++/9/bits/stl_map.h:499:8: note: parameter passing for argument of type 'std::_Rb_tree, std::_Select1st >, std::less, std::allocator > >::const_iterator' {aka 'std::_Rb_tree_const_iterator >'} changed in GCC 7.1 BUILDSTDERR: 499 | __i = _M_t._M_emplace_hint_unique(__i, std::piecewise_construct, BUILDSTDERR: /usr/include/c++/9/bits/stl_map.h:499:8: note: parameter passing for argument of type 'std::_Rb_tree, std::_Select1st >, std::less, std::allocator > >::const_iterator' {aka 'std::_Rb_tree_const_iterator >'} changed in GCC 7.1 BUILDSTDERR: 499 | __i = _M_t._M_emplace_hint_unique(__i, std::piecewise_construct, BUILDSTDERR: /usr/include/c++/9/bits/stl_map.h:499:8: note: parameter passing for argument of type 'std::_Rb_tree, std::_Select1st >, std::less, std::allocator > >::const_iterator' {aka 'std::_Rb_tree_const_iterator >'} changed in GCC 7.1 BUILDSTDERR: 499 | __i = _M_t._M_emplace_hint_unique(__i, std::piecewise_construct, BUILDSTDERR: /usr/include/c++/9/bits/stl_map.h:499:8: note: parameter passing for argument of type 'std::_Rb_tree, std::_Select1st >, std::less, std::allocator > >::const_iterator' {aka 'std::_Rb_tree_const_iterator >'} changed in GCC 7.1 BUILDSTDERR: 499 | __i = _M_t._M_emplace_hint_unique(__i, std::piecewise_construct, BUILDSTDERR: /usr/include/c++/9/bits/stl_map.h:499:8: note: parameter passing for argument of type 'std::_Rb_tree, std::_Select1st >, std::less, std::allocator > >::const_iterator' {aka 'std::_Rb_tree_const_iterator >'} changed in GCC 7.1 BUILDSTDERR: 499 | __i = _M_t._M_emplace_hint_unique(__i, std::piecewise_construct, BUILDSTDERR: /usr/include/c++/9/bits/stl_map.h:499:8: note: parameter passing for argument of type 'std::_Rb_tree, std::_Select1st >, std::less, std::allocator > >::const_iterator' {aka 'std::_Rb_tree_const_iterator >'} changed in GCC 7.1 BUILDSTDERR: 499 | __i = _M_t._M_emplace_hint_unique(__i, std::piecewise_construct, BUILDSTDERR: /usr/include/c++/9/bits/stl_map.h:499:8: note: parameter passing for argument of type 'std::_Rb_tree, std::_Select1st >, std::less, std::allocator > >::const_iterator' {aka 'std::_Rb_tree_const_iterator >'} changed in GCC 7.1 BUILDSTDERR: 499 | __i = _M_t._M_emplace_hint_unique(__i, std::piecewise_construct, g++ -DHAVE_CONFIG_H -I. -I../libbrial/include/polybori -I../groebner/include -I../libbrial/include -I../libbrial/include -DBOOST_TEST_DYN_LINK -DPBORI_NDEBUG -ftemplate-depth-100 -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -march=armv7-a -mfpu=vfpv3-d16 -mtune=generic-armv7-a -mabi=aapcs-linux -mfloat-abi=hard -c -o BooleVariableTest.o BooleVariableTest.cc g++ -DHAVE_CONFIG_H -I. -I../libbrial/include/polybori -I../groebner/include -I../libbrial/include -I../libbrial/include -DBOOST_TEST_DYN_LINK -DPBORI_NDEBUG -ftemplate-depth-100 -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -march=armv7-a -mfpu=vfpv3-d16 -mtune=generic-armv7-a -mabi=aapcs-linux -mfloat-abi=hard -c -o CCuddDDFacadeTest.o CCuddDDFacadeTest.cc BUILDSTDERR: In file included from /usr/include/c++/9/map:60, BUILDSTDERR: from /usr/include/boost/test/tree/test_unit.hpp:35, BUILDSTDERR: from /usr/include/boost/test/tree/auto_registration.hpp:21, BUILDSTDERR: from /usr/include/boost/test/unit_test_suite.hpp:17, BUILDSTDERR: from /usr/include/boost/test/unit_test.hpp:19, BUILDSTDERR: from CCuddDDFacadeTest.cc:16: BUILDSTDERR: /usr/include/c++/9/bits/stl_tree.h: In member function 'std::_Rb_tree<_Key, _Val, _KeyOfValue, _Compare, _Alloc>::iterator std::_Rb_tree<_Key, _Val, _KeyOfValue, _Compare, _Alloc>::_M_emplace_hint_unique(std::_Rb_tree<_Key, _Val, _KeyOfValue, _Compare, _Alloc>::const_iterator, _Args&& ...) [with _Args = {const std::piecewise_construct_t&, std::tuple, std::tuple<>}; _Key = polybori::CCuddNavigator; _Val = std::pair; _KeyOfValue = std::_Select1st >; _Compare = std::less; _Alloc = std::allocator >]': BUILDSTDERR: /usr/include/c++/9/bits/stl_tree.h:2448:7: note: parameter passing for argument of type 'std::_Rb_tree, std::_Select1st >, std::less, std::allocator > >::const_iterator' {aka 'std::_Rb_tree_const_iterator >'} changed in GCC 7.1 BUILDSTDERR: 2448 | _Rb_tree<_Key, _Val, _KeyOfValue, _Compare, _Alloc>:: BUILDSTDERR: | ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ BUILDSTDERR: In file included from /usr/include/c++/9/map:61, BUILDSTDERR: from /usr/include/boost/test/tree/test_unit.hpp:35, BUILDSTDERR: from /usr/include/boost/test/tree/auto_registration.hpp:21, BUILDSTDERR: from /usr/include/boost/test/unit_test_suite.hpp:17, BUILDSTDERR: from /usr/include/boost/test/unit_test.hpp:19, BUILDSTDERR: from CCuddDDFacadeTest.cc:16: BUILDSTDERR: /usr/include/c++/9/bits/stl_map.h: In function 'typename MapType::mapped_type polybori::dd_long_count_step(MapType&, NaviType) [with MapType = std::map, std::allocator > >; NaviType = polybori::CCuddNavigator]': BUILDSTDERR: /usr/include/c++/9/bits/stl_map.h:499:8: note: parameter passing for argument of type 'std::_Rb_tree, std::_Select1st >, std::less, std::allocator > >::const_iterator' {aka 'std::_Rb_tree_const_iterator >'} changed in GCC 7.1 BUILDSTDERR: 499 | __i = _M_t._M_emplace_hint_unique(__i, std::piecewise_construct, BUILDSTDERR: /usr/include/c++/9/bits/stl_map.h: In member function 'void CCuddDDFacadeTestSuite::test_size::test_method()': BUILDSTDERR: /usr/include/c++/9/bits/stl_map.h:499:8: note: parameter passing for argument of type 'std::_Rb_tree, std::_Select1st >, std::less, std::allocator > >::const_iterator' {aka 'std::_Rb_tree_const_iterator >'} changed in GCC 7.1 BUILDSTDERR: 499 | __i = _M_t._M_emplace_hint_unique(__i, std::piecewise_construct, BUILDSTDERR: /usr/include/c++/9/bits/stl_map.h:499:8: note: parameter passing for argument of type 'std::_Rb_tree, std::_Select1st >, std::less, std::allocator > >::const_iterator' {aka 'std::_Rb_tree_const_iterator >'} changed in GCC 7.1 BUILDSTDERR: 499 | __i = _M_t._M_emplace_hint_unique(__i, std::piecewise_construct, g++ -DHAVE_CONFIG_H -I. -I../libbrial/include/polybori -I../groebner/include -I../libbrial/include -I../libbrial/include -DBOOST_TEST_DYN_LINK -DPBORI_NDEBUG -ftemplate-depth-100 -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -march=armv7-a -mfpu=vfpv3-d16 -mtune=generic-armv7-a -mabi=aapcs-linux -mfloat-abi=hard -c -o CFactoryBaseTest.o CFactoryBaseTest.cc g++ -DHAVE_CONFIG_H -I. -I../libbrial/include/polybori -I../groebner/include -I../libbrial/include -I../libbrial/include -DBOOST_TEST_DYN_LINK -DPBORI_NDEBUG -ftemplate-depth-100 -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -march=armv7-a -mfpu=vfpv3-d16 -mtune=generic-armv7-a -mabi=aapcs-linux -mfloat-abi=hard -c -o CStringLiteralTest.o CStringLiteralTest.cc g++ -DHAVE_CONFIG_H -I. -I../libbrial/include/polybori -I../groebner/include -I../libbrial/include -I../libbrial/include -DBOOST_TEST_DYN_LINK -DPBORI_NDEBUG -ftemplate-depth-100 -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -march=armv7-a -mfpu=vfpv3-d16 -mtune=generic-armv7-a -mabi=aapcs-linux -mfloat-abi=hard -c -o DegLexOrderTest.o DegLexOrderTest.cc g++ -DHAVE_CONFIG_H -I. -I../libbrial/include/polybori -I../groebner/include -I../libbrial/include -I../libbrial/include -DBOOST_TEST_DYN_LINK -DPBORI_NDEBUG -ftemplate-depth-100 -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -march=armv7-a -mfpu=vfpv3-d16 -mtune=generic-armv7-a -mabi=aapcs-linux -mfloat-abi=hard -c -o DegRevLexAscOrderTest.o DegRevLexAscOrderTest.cc g++ -DHAVE_CONFIG_H -I. -I../libbrial/include/polybori -I../groebner/include -I../libbrial/include -I../libbrial/include -DBOOST_TEST_DYN_LINK -DPBORI_NDEBUG -ftemplate-depth-100 -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -march=armv7-a -mfpu=vfpv3-d16 -mtune=generic-armv7-a -mabi=aapcs-linux -mfloat-abi=hard -c -o FGLMStrategyTest.o FGLMStrategyTest.cc BUILDSTDERR: In file included from /usr/include/c++/9/vector:72, BUILDSTDERR: from /usr/include/boost/test/tree/decorator.hpp:35, BUILDSTDERR: from /usr/include/boost/test/tools/fpc_tolerance.hpp:19, BUILDSTDERR: from /usr/include/boost/test/tools/fpc_op.hpp:19, BUILDSTDERR: from /usr/include/boost/test/test_tools.hpp:54, BUILDSTDERR: from /usr/include/boost/test/unit_test.hpp:18, BUILDSTDERR: from FGLMStrategyTest.cc:17: BUILDSTDERR: /usr/include/c++/9/bits/vector.tcc: In member function 'void std::vector<_Tp, _Alloc>::_M_realloc_insert(std::vector<_Tp, _Alloc>::iterator, _Args&& ...) [with _Args = {const polybori::groebner::PolyEntry&}; _Tp = polybori::groebner::PolyEntry; _Alloc = std::allocator]': BUILDSTDERR: /usr/include/c++/9/bits/vector.tcc:426:7: note: parameter passing for argument of type 'std::vector::iterator' {aka '__gnu_cxx::__normal_iterator >'} changed in GCC 7.1 BUILDSTDERR: 426 | vector<_Tp, _Alloc>:: BUILDSTDERR: | ^~~~~~~~~~~~~~~~~~~ BUILDSTDERR: In file included from /usr/include/c++/9/vector:67, BUILDSTDERR: from /usr/include/boost/test/tree/decorator.hpp:35, BUILDSTDERR: from /usr/include/boost/test/tools/fpc_tolerance.hpp:19, BUILDSTDERR: from /usr/include/boost/test/tools/fpc_op.hpp:19, BUILDSTDERR: from /usr/include/boost/test/test_tools.hpp:54, BUILDSTDERR: from /usr/include/boost/test/unit_test.hpp:18, BUILDSTDERR: from FGLMStrategyTest.cc:17: BUILDSTDERR: /usr/include/c++/9/bits/stl_vector.h: In member function 'virtual void polybori::groebner::PolyEntryVector::append(const polybori::groebner::PolyEntry&)': BUILDSTDERR: /usr/include/c++/9/bits/stl_vector.h:1195:4: note: parameter passing for argument of type '__gnu_cxx::__normal_iterator >' changed in GCC 7.1 BUILDSTDERR: 1195 | _M_realloc_insert(end(), __x); BUILDSTDERR: | ^~~~~~~~~~~~~~~~~ BUILDSTDERR: /usr/include/c++/9/bits/stl_vector.h: In member function 'virtual void polybori::groebner::ReductionStrategy::append(const polybori::groebner::PolyEntry&)': BUILDSTDERR: /usr/include/c++/9/bits/stl_vector.h:1195:4: note: parameter passing for argument of type '__gnu_cxx::__normal_iterator >' changed in GCC 7.1 BUILDSTDERR: 1195 | _M_realloc_insert(end(), __x); BUILDSTDERR: | ^~~~~~~~~~~~~~~~~ g++ -DHAVE_CONFIG_H -I. -I../libbrial/include/polybori -I../groebner/include -I../libbrial/include -I../libbrial/include -DBOOST_TEST_DYN_LINK -DPBORI_NDEBUG -ftemplate-depth-100 -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -march=armv7-a -mfpu=vfpv3-d16 -mtune=generic-armv7-a -mabi=aapcs-linux -mfloat-abi=hard -c -o GroebnerStrategyTest.o GroebnerStrategyTest.cc BUILDSTDERR: In file included from /usr/include/c++/9/bits/stl_algo.h:61, BUILDSTDERR: from /usr/include/c++/9/algorithm:62, BUILDSTDERR: from /usr/include/boost/smart_ptr/shared_ptr.hpp:39, BUILDSTDERR: from /usr/include/boost/shared_ptr.hpp:17, BUILDSTDERR: from /usr/include/boost/test/tools/assertion_result.hpp:21, BUILDSTDERR: from /usr/include/boost/test/tools/old/impl.hpp:20, BUILDSTDERR: from /usr/include/boost/test/test_tools.hpp:46, BUILDSTDERR: from /usr/include/boost/test/unit_test.hpp:18, BUILDSTDERR: from GroebnerStrategyTest.cc:17: BUILDSTDERR: /usr/include/c++/9/bits/stl_heap.h: In function 'void std::__adjust_heap(_RandomAccessIterator, _Distance, _Distance, _Tp, _Compare) [with _RandomAccessIterator = __gnu_cxx::__normal_iterator >; _Distance = int; _Tp = polybori::groebner::PairE; _Compare = __gnu_cxx::__ops::_Iter_comp_iter]': BUILDSTDERR: /usr/include/c++/9/bits/stl_heap.h:214:5: note: parameter passing for argument of type '__gnu_cxx::__normal_iterator >' changed in GCC 7.1 BUILDSTDERR: 214 | __adjust_heap(_RandomAccessIterator __first, _Distance __holeIndex, BUILDSTDERR: | ^~~~~~~~~~~~~ BUILDSTDERR: /usr/include/c++/9/bits/stl_heap.h: In function 'void std::__make_heap(_RandomAccessIterator, _RandomAccessIterator, _Compare&) [with _RandomAccessIterator = __gnu_cxx::__normal_iterator >; _Compare = __gnu_cxx::__ops::_Iter_comp_iter]': BUILDSTDERR: /usr/include/c++/9/bits/stl_heap.h:326:5: note: parameter passing for argument of type '__gnu_cxx::__normal_iterator >' changed in GCC 7.1 BUILDSTDERR: 326 | __make_heap(_RandomAccessIterator __first, _RandomAccessIterator __last, BUILDSTDERR: | ^~~~~~~~~~~ BUILDSTDERR: /usr/include/c++/9/bits/stl_heap.h:326:5: note: parameter passing for argument of type '__gnu_cxx::__normal_iterator >' changed in GCC 7.1 BUILDSTDERR: /usr/include/c++/9/bits/stl_heap.h: In constructor 'polybori::groebner::GroebnerStrategy::GroebnerStrategy(const polybori::BoolePolyRing&)': BUILDSTDERR: /usr/include/c++/9/bits/stl_heap.h:397:23: note: parameter passing for argument of type '__gnu_cxx::__normal_iterator >' changed in GCC 7.1 BUILDSTDERR: 397 | std::__make_heap(__first, __last, __cmp); BUILDSTDERR: | ~~~~~~~~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~ BUILDSTDERR: In file included from /usr/include/c++/9/vector:72, BUILDSTDERR: from /usr/include/boost/test/tree/decorator.hpp:35, BUILDSTDERR: from /usr/include/boost/test/tools/fpc_tolerance.hpp:19, BUILDSTDERR: from /usr/include/boost/test/tools/fpc_op.hpp:19, BUILDSTDERR: from /usr/include/boost/test/test_tools.hpp:54, BUILDSTDERR: from /usr/include/boost/test/unit_test.hpp:18, BUILDSTDERR: from GroebnerStrategyTest.cc:17: BUILDSTDERR: /usr/include/c++/9/bits/vector.tcc: In member function 'void std::vector<_Tp, _Alloc>::_M_realloc_insert(std::vector<_Tp, _Alloc>::iterator, _Args&& ...) [with _Args = {const polybori::groebner::PolyEntry&}; _Tp = polybori::groebner::PolyEntry; _Alloc = std::allocator]': BUILDSTDERR: /usr/include/c++/9/bits/vector.tcc:426:7: note: parameter passing for argument of type 'std::vector::iterator' {aka '__gnu_cxx::__normal_iterator >'} changed in GCC 7.1 BUILDSTDERR: 426 | vector<_Tp, _Alloc>:: BUILDSTDERR: | ^~~~~~~~~~~~~~~~~~~ BUILDSTDERR: In file included from /usr/include/c++/9/vector:67, BUILDSTDERR: from /usr/include/boost/test/tree/decorator.hpp:35, BUILDSTDERR: from /usr/include/boost/test/tools/fpc_tolerance.hpp:19, BUILDSTDERR: from /usr/include/boost/test/tools/fpc_op.hpp:19, BUILDSTDERR: from /usr/include/boost/test/test_tools.hpp:54, BUILDSTDERR: from /usr/include/boost/test/unit_test.hpp:18, BUILDSTDERR: from GroebnerStrategyTest.cc:17: BUILDSTDERR: /usr/include/c++/9/bits/stl_vector.h: In member function 'virtual void polybori::groebner::PolyEntryVector::append(const polybori::groebner::PolyEntry&)': BUILDSTDERR: /usr/include/c++/9/bits/stl_vector.h:1195:4: note: parameter passing for argument of type '__gnu_cxx::__normal_iterator >' changed in GCC 7.1 BUILDSTDERR: 1195 | _M_realloc_insert(end(), __x); BUILDSTDERR: | ^~~~~~~~~~~~~~~~~ BUILDSTDERR: /usr/include/c++/9/bits/stl_vector.h: In member function 'virtual void polybori::groebner::ReductionStrategy::append(const polybori::groebner::PolyEntry&)': BUILDSTDERR: /usr/include/c++/9/bits/stl_vector.h:1195:4: note: parameter passing for argument of type '__gnu_cxx::__normal_iterator >' changed in GCC 7.1 BUILDSTDERR: 1195 | _M_realloc_insert(end(), __x); BUILDSTDERR: | ^~~~~~~~~~~~~~~~~ g++ -DHAVE_CONFIG_H -I. -I../libbrial/include/polybori -I../groebner/include -I../libbrial/include -I../libbrial/include -DBOOST_TEST_DYN_LINK -DPBORI_NDEBUG -ftemplate-depth-100 -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -march=armv7-a -mfpu=vfpv3-d16 -mtune=generic-armv7-a -mabi=aapcs-linux -mfloat-abi=hard -c -o LexOrderTest.o LexOrderTest.cc g++ -DHAVE_CONFIG_H -I. -I../libbrial/include/polybori -I../groebner/include -I../libbrial/include -I../libbrial/include -DBOOST_TEST_DYN_LINK -DPBORI_NDEBUG -ftemplate-depth-100 -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -march=armv7-a -mfpu=vfpv3-d16 -mtune=generic-armv7-a -mabi=aapcs-linux -mfloat-abi=hard -c -o MonomialFactoryTest.o MonomialFactoryTest.cc g++ -DHAVE_CONFIG_H -I. -I../libbrial/include/polybori -I../groebner/include -I../libbrial/include -I../libbrial/include -DBOOST_TEST_DYN_LINK -DPBORI_NDEBUG -ftemplate-depth-100 -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -march=armv7-a -mfpu=vfpv3-d16 -mtune=generic-armv7-a -mabi=aapcs-linux -mfloat-abi=hard -c -o PBoRiErrorTest.o PBoRiErrorTest.cc BUILDSTDERR: PBoRiErrorTest.cc: In member function 'void PBoRiErrorTestSuite::test_text::test_method()': BUILDSTDERR: PBoRiErrorTest.cc:39:23: warning: catching polymorphic type 'class polybori::PBoRiError' by value [-Wcatch-value=] BUILDSTDERR: 39 | catch (PBoRiError e) { BUILDSTDERR: | ^ BUILDSTDERR: PBoRiErrorTest.cc:45:21: warning: catching polymorphic type 'class polybori::PBoRiError' by value [-Wcatch-value=] BUILDSTDERR: 45 | catch (PBoRiError e) { BUILDSTDERR: | ^ BUILDSTDERR: PBoRiErrorTest.cc: In member function 'void PBoRiErrorTestSuite::test_what::test_method()': BUILDSTDERR: PBoRiErrorTest.cc:56:23: warning: catching polymorphic type 'class polybori::PBoRiError' by value [-Wcatch-value=] BUILDSTDERR: 56 | catch (PBoRiError e) { BUILDSTDERR: | ^ BUILDSTDERR: PBoRiErrorTest.cc:62:21: warning: catching polymorphic type 'class polybori::PBoRiError' by value [-Wcatch-value=] BUILDSTDERR: 62 | catch (PBoRiError e) { BUILDSTDERR: | ^ BUILDSTDERR: PBoRiErrorTest.cc: In member function 'void PBoRiErrorTestSuite::test_code::test_method()': BUILDSTDERR: PBoRiErrorTest.cc:73:23: warning: catching polymorphic type 'class polybori::PBoRiError' by value [-Wcatch-value=] BUILDSTDERR: 73 | catch (PBoRiError e) { BUILDSTDERR: | ^ BUILDSTDERR: PBoRiErrorTest.cc:79:21: warning: catching polymorphic type 'class polybori::PBoRiError' by value [-Wcatch-value=] BUILDSTDERR: 79 | catch (PBoRiError e) { BUILDSTDERR: | ^ g++ -DHAVE_CONFIG_H -I. -I../libbrial/include/polybori -I../groebner/include -I../libbrial/include -I../libbrial/include -DBOOST_TEST_DYN_LINK -DPBORI_NDEBUG -ftemplate-depth-100 -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -march=armv7-a -mfpu=vfpv3-d16 -mtune=generic-armv7-a -mabi=aapcs-linux -mfloat-abi=hard -c -o PolynomialFactoryTest.o PolynomialFactoryTest.cc g++ -DHAVE_CONFIG_H -I. -I../libbrial/include/polybori -I../groebner/include -I../libbrial/include -I../libbrial/include -DBOOST_TEST_DYN_LINK -DPBORI_NDEBUG -ftemplate-depth-100 -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -march=armv7-a -mfpu=vfpv3-d16 -mtune=generic-armv7-a -mabi=aapcs-linux -mfloat-abi=hard -c -o PseudoLongProductTest.o PseudoLongProductTest.cc g++ -DHAVE_CONFIG_H -I. -I../libbrial/include/polybori -I../groebner/include -I../libbrial/include -I../libbrial/include -DBOOST_TEST_DYN_LINK -DPBORI_NDEBUG -ftemplate-depth-100 -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -march=armv7-a -mfpu=vfpv3-d16 -mtune=generic-armv7-a -mabi=aapcs-linux -mfloat-abi=hard -c -o SetFactoryTest.o SetFactoryTest.cc g++ -DHAVE_CONFIG_H -I. -I../libbrial/include/polybori -I../groebner/include -I../libbrial/include -I../libbrial/include -DBOOST_TEST_DYN_LINK -DPBORI_NDEBUG -ftemplate-depth-100 -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -march=armv7-a -mfpu=vfpv3-d16 -mtune=generic-armv7-a -mabi=aapcs-linux -mfloat-abi=hard -c -o spolyTest.o spolyTest.cc g++ -DHAVE_CONFIG_H -I. -I../libbrial/include/polybori -I../groebner/include -I../libbrial/include -I../libbrial/include -DBOOST_TEST_DYN_LINK -DPBORI_NDEBUG -ftemplate-depth-100 -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -march=armv7-a -mfpu=vfpv3-d16 -mtune=generic-armv7-a -mabi=aapcs-linux -mfloat-abi=hard -c -o term_accumulateTest.o term_accumulateTest.cc g++ -DHAVE_CONFIG_H -I. -I../libbrial/include/polybori -I../groebner/include -I../libbrial/include -I../libbrial/include -DBOOST_TEST_DYN_LINK -DPBORI_NDEBUG -ftemplate-depth-100 -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -march=armv7-a -mfpu=vfpv3-d16 -mtune=generic-armv7-a -mabi=aapcs-linux -mfloat-abi=hard -c -o VariableFactoryTest.o VariableFactoryTest.cc g++ -DHAVE_CONFIG_H -I. -I../libbrial/include/polybori -I../groebner/include -I../libbrial/include -I../libbrial/include -DBOOST_TEST_DYN_LINK -DPBORI_NDEBUG -ftemplate-depth-100 -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -march=armv7-a -mfpu=vfpv3-d16 -mtune=generic-armv7-a -mabi=aapcs-linux -mfloat-abi=hard -c -o weak_pointersTest.o weak_pointersTest.cc g++ -DHAVE_CONFIG_H -I. -I../libbrial/include/polybori -I../groebner/include -I../libbrial/include -I../libbrial/include -DBOOST_TEST_DYN_LINK -DPBORI_NDEBUG -ftemplate-depth-100 -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -march=armv7-a -mfpu=vfpv3-d16 -mtune=generic-armv7-a -mabi=aapcs-linux -mfloat-abi=hard -c -o unittests.o unittests.cc /bin/sh ../libtool --tag=CXX --mode=link g++ -ftemplate-depth-100 -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -march=armv7-a -mfpu=vfpv3-d16 -mtune=generic-armv7-a -mabi=aapcs-linux -mfloat-abi=hard -lboost_unit_test_framework -Wl,-z,relro -Wl,--as-needed -Wl,-z,now -specs=/usr/lib/rpm/redhat/redhat-hardened-ld -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 -lpng16 -lz -lm4ri libtool: link: g++ -ftemplate-depth-100 -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -march=armv7-a -mfpu=vfpv3-d16 -mtune=generic-armv7-a -mabi=aapcs-linux -mfloat-abi=hard -Wl,-z -Wl,relro -Wl,--as-needed -Wl,-z -Wl,now -specs=/usr/lib/rpm/redhat/redhat-hardened-ld -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 ../groebner/src/.libs/libbrial_groebner.so /builddir/build/BUILD/brial-1.2.5/.libs/libbrial.so ../.libs/libbrial.so -lpng16 -lz -lm4ri -fopenmp make[2]: Leaving directory '/builddir/build/BUILD/brial-1.2.5/tests' make check-TESTS make[2]: Entering directory '/builddir/build/BUILD/brial-1.2.5/tests' make[3]: Entering directory '/builddir/build/BUILD/brial-1.2.5/tests' PASS: unittests ============================================================================ Testsuite summary for BRiAl 1.2.5 ============================================================================ # TOTAL: 1 # PASS: 1 # SKIP: 0 # XFAIL: 0 # FAIL: 0 # XPASS: 0 # ERROR: 0 ============================================================================ make[3]: Leaving directory '/builddir/build/BUILD/brial-1.2.5/tests' make[2]: Leaving directory '/builddir/build/BUILD/brial-1.2.5/tests' make[1]: Leaving directory '/builddir/build/BUILD/brial-1.2.5/tests' + exit 0 Processing files: brial-1.2.5-1.fc30.armv7hl Executing(%doc): /bin/sh -e /var/tmp/rpm-tmp.Hrq6EV + umask 022 + cd /builddir/build/BUILD + cd brial-1.2.5 + DOCDIR=/builddir/build/BUILDROOT/brial-1.2.5-1.fc30.arm/usr/share/doc/brial + export LC_ALL=C + LC_ALL=C + export DOCDIR + /usr/bin/mkdir -p /builddir/build/BUILDROOT/brial-1.2.5-1.fc30.arm/usr/share/doc/brial + cp -pr README /builddir/build/BUILDROOT/brial-1.2.5-1.fc30.arm/usr/share/doc/brial + exit 0 Executing(%license): /bin/sh -e /var/tmp/rpm-tmp.hkQ64P + umask 022 + cd /builddir/build/BUILD + cd brial-1.2.5 + LICENSEDIR=/builddir/build/BUILDROOT/brial-1.2.5-1.fc30.arm/usr/share/licenses/brial + export LC_ALL=C + LC_ALL=C + export LICENSEDIR + /usr/bin/mkdir -p /builddir/build/BUILDROOT/brial-1.2.5-1.fc30.arm/usr/share/licenses/brial + cp -pr LICENSE /builddir/build/BUILDROOT/brial-1.2.5-1.fc30.arm/usr/share/licenses/brial + exit 0 Provides: brial = 1.2.5-1.fc30 brial(armv7hl-32) = 1.2.5-1.fc30 bundled(cudd) = 2.5.0 libbrial.so.3 libbrial_groebner.so.3 Requires(rpmlib): rpmlib(CompressedFileNames) <= 3.0.4-1 rpmlib(FileDigests) <= 4.6.0-1 rpmlib(PayloadFilesHavePrefix) <= 4.0-1 Requires: ld-linux-armhf.so.3 ld-linux-armhf.so.3(GLIBC_2.4) libbrial.so.3 libc.so.6 libc.so.6(GLIBC_2.4) libgcc_s.so.1 libgcc_s.so.1(GCC_3.5) libm.so.6 libm.so.6(GLIBC_2.29) libm4ri-0.0.20140914.so libstdc++.so.6 libstdc++.so.6(CXXABI_1.3) libstdc++.so.6(CXXABI_1.3.9) libstdc++.so.6(CXXABI_ARM_1.3.3) libstdc++.so.6(GLIBCXX_3.4) libstdc++.so.6(GLIBCXX_3.4.11) libstdc++.so.6(GLIBCXX_3.4.18) libstdc++.so.6(GLIBCXX_3.4.21) libstdc++.so.6(GLIBCXX_3.4.26) libstdc++.so.6(GLIBCXX_3.4.9) rtld(GNU_HASH) Processing files: brial-devel-1.2.5-1.fc30.armv7hl Provides: brial-devel = 1.2.5-1.fc30 brial-devel(armv7hl-32) = 1.2.5-1.fc30 Requires(rpmlib): rpmlib(CompressedFileNames) <= 3.0.4-1 rpmlib(FileDigests) <= 4.6.0-1 rpmlib(PayloadFilesHavePrefix) <= 4.0-1 Requires: libbrial.so.3 libbrial_groebner.so.3 Processing files: python3-brial-1.2.5-1.fc30.armv7hl Executing(%doc): /bin/sh -e /var/tmp/rpm-tmp.UUHwwx + umask 022 + cd /builddir/build/BUILD + cd brial-1.2.5 + DOCDIR=/builddir/build/BUILDROOT/brial-1.2.5-1.fc30.arm/usr/share/doc/python3-brial + export LC_ALL=C + LC_ALL=C + export DOCDIR + /usr/bin/mkdir -p /builddir/build/BUILDROOT/brial-1.2.5-1.fc30.arm/usr/share/doc/python3-brial + cp -pr sage-brial/README.md /builddir/build/BUILDROOT/brial-1.2.5-1.fc30.arm/usr/share/doc/python3-brial + exit 0 Provides: python3-brial = 1.2.5-1.fc30 python3-brial(armv7hl-32) = 1.2.5-1.fc30 python3.7dist(brial) = 1.0.2 python3dist(brial) = 1.0.2 Requires(rpmlib): rpmlib(CompressedFileNames) <= 3.0.4-1 rpmlib(FileDigests) <= 4.6.0-1 rpmlib(PartialHardlinkSets) <= 4.0.4-1 rpmlib(PayloadFilesHavePrefix) <= 4.0-1 Requires: python(abi) = 3.7 Processing files: brial-debugsource-1.2.5-1.fc30.armv7hl Provides: brial-debugsource = 1.2.5-1.fc30 brial-debugsource(armv7hl-32) = 1.2.5-1.fc30 Requires(rpmlib): rpmlib(CompressedFileNames) <= 3.0.4-1 rpmlib(FileDigests) <= 4.6.0-1 rpmlib(PayloadFilesHavePrefix) <= 4.0-1 Processing files: brial-debuginfo-1.2.5-1.fc30.armv7hl Provides: brial-debuginfo = 1.2.5-1.fc30 brial-debuginfo(armv7hl-32) = 1.2.5-1.fc30 debuginfo(build-id) = b38c3e4e38975dae05c5fa07e9c909aa3e024cf4 debuginfo(build-id) = f9fbc1ff59f6099f5b77f7d3223e1693a569ff3e Requires(rpmlib): rpmlib(CompressedFileNames) <= 3.0.4-1 rpmlib(FileDigests) <= 4.6.0-1 rpmlib(PayloadFilesHavePrefix) <= 4.0-1 Recommends: brial-debugsource(armv7hl-32) = 1.2.5-1.fc30 Checking for unpackaged file(s): /usr/lib/rpm/check-files /builddir/build/BUILDROOT/brial-1.2.5-1.fc30.arm Wrote: /builddir/build/RPMS/brial-1.2.5-1.fc30.armv7hl.rpm Wrote: /builddir/build/RPMS/brial-devel-1.2.5-1.fc30.armv7hl.rpm Wrote: /builddir/build/RPMS/python3-brial-1.2.5-1.fc30.armv7hl.rpm Wrote: /builddir/build/RPMS/brial-debugsource-1.2.5-1.fc30.armv7hl.rpm Wrote: /builddir/build/RPMS/brial-debuginfo-1.2.5-1.fc30.armv7hl.rpm Executing(%clean): /bin/sh -e /var/tmp/rpm-tmp.4r9fbo + umask 022 + cd /builddir/build/BUILD + cd brial-1.2.5 + /usr/bin/rm -rf /builddir/build/BUILDROOT/brial-1.2.5-1.fc30.arm + exit 0 Child return code was: 0