Hi Sage Dev Team, Making sage from source fails on my machine.
Sage version: sage-7.1 Machine details: Arch linux installed on a Macbook Pro (mid 2012) OS: arch linux Linux kernel: 4.5.4-1-ARCH Architecture: x86_64 Processor: Intel core i5-3210M Failure Description: Makefile:16: recipe for target 'all' failed brail-0.8.4.3 fails to install. I have attached the brail installation logs. I successfully installed sagemath form the same tarball on a lenovo laptop with debain Jessie, and a 2006 toshiba laptop with arch linux. I tried installing brail from the official repos however the problem still persists. Please advice me on how to proceed. Regards Xero -- You received this message because you are subscribed to the Google Groups "sage-devel" group. To unsubscribe from this group and stop receiving emails from it, send an email to sage-devel+unsubscr...@googlegroups.com. To post to this group, send email to sage-devel@googlegroups.com. Visit this group at https://groups.google.com/group/sage-devel. For more options, visit https://groups.google.com/d/optout.
Found local metadata for brial-0.8.4.3 Using cached file /home/seyi/sage_source_tested/sage-7.1/upstream/brial-0.8.4.3.tar.bz2 brial-0.8.4.3 ==================================================== Setting up build directory for brial-0.8.4.3 Finished set up **************************************************** Host system: Linux montxero 4.5.4-1-ARCH #1 SMP PREEMPT Wed May 11 22:21:28 CEST 2016 x86_64 GNU/Linux **************************************************** C compiler: gcc C compiler version: Using built-in specs. COLLECT_GCC=gcc COLLECT_LTO_WRAPPER=/usr/lib/gcc/x86_64-pc-linux-gnu/6.1.1/lto-wrapper Target: x86_64-pc-linux-gnu Configured with: /build/gcc/src/gcc/configure --prefix=/usr --libdir=/usr/lib --libexecdir=/usr/lib --mandir=/usr/share/man --infodir=/usr/share/info --with-bugurl=https://bugs.archlinux.org/ --enable-languages=c,c++,ada,fortran,go,lto,objc,obj-c++ --enable-shared --enable-threads=posix --enable-libmpx --with-system-zlib --with-isl --enable-__cxa_atexit --disable-libunwind-exceptions --enable-clocale=gnu --disable-libstdcxx-pch --disable-libssp --enable-gnu-unique-object --enable-linker-build-id --enable-lto --enable-plugin --enable-install-libiberty --with-linker-hash-style=gnu --enable-gnu-indirect-function --disable-multilib --disable-werror --enable-checking=release Thread model: posix gcc version 6.1.1 20160501 (GCC) **************************************************** Cleaning out old PolyBoRi and BRiAl installations patching file Makefile.am patching file Makefile.in patching file groebner/src/Makefile.am patching file groebner/src/Makefile.in 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 '1000' is supported by ustar format... yes checking how to create a ustar tar archive... gnutar checking for gcc... gcc checking whether the C compiler works... yes checking for C compiler default output file name... a.out checking for suffix of executables... checking whether we are cross compiling... no checking for suffix of object files... o checking whether we are using the GNU C compiler... yes checking whether gcc accepts -g... yes checking for gcc option to accept ISO C89... none needed checking whether gcc understands -c and -o together... yes checking for style of include used by make... GNU checking dependency style of gcc... gcc3 checking whether we are using the GNU C++ compiler... yes checking whether g++ accepts -g... yes checking dependency style of g++... gcc3 checking the archiver (ar) interface... ar checking build system type... x86_64-unknown-linux-gnu checking host system type... x86_64-unknown-linux-gnu checking how to print strings... printf checking for a sed that does not truncate output... /usr/bin/sed checking for grep that handles long lines and -e... /usr/bin/grep checking for egrep... /usr/bin/grep -E checking for fgrep... /usr/bin/grep -F checking for ld used by gcc... ld checking if the linker (ld) is GNU ld... yes checking for BSD- or MS-compatible name lister (nm)... /usr/bin/nm -B checking the name lister (/usr/bin/nm -B) interface... BSD nm checking whether ln -s works... yes checking the maximum length of command line arguments... 1572864 checking how to convert x86_64-unknown-linux-gnu file names to x86_64-unknown-linux-gnu format... func_convert_file_noop checking how to convert x86_64-unknown-linux-gnu file names to toolchain format... func_convert_file_noop checking for ld option to reload object files... -r checking for objdump... objdump checking how to recognize dependent libraries... pass_all checking for dlltool... no checking how to associate runtime and link libraries... printf %s\n checking for archiver @FILE support... @ checking for strip... strip checking for ranlib... 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 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... yes checking if gcc supports -c -o file.o... yes checking if gcc supports -c -o file.o... (cached) yes checking whether the gcc linker (ld -m elf_x86_64) supports shared libraries... yes checking whether -lc should be explicitly linked in... no checking dynamic linker characteristics... GNU/Linux ld.so checking how to hardcode library paths into programs... immediate checking whether stripping libraries is possible... yes checking if libtool supports shared libraries... yes checking whether to build shared libraries... yes checking whether to build static libraries... no checking how to run the C++ preprocessor... g++ -E checking for ld used by g++... ld -m elf_x86_64 checking if the linker (ld -m elf_x86_64) is GNU ld... yes checking whether the g++ linker (ld -m elf_x86_64) supports shared libraries... yes checking for g++ option to produce PIC... -fPIC -DPIC checking if g++ PIC flag -fPIC -DPIC works... yes checking if g++ static flag -static works... yes checking if g++ supports -c -o file.o... yes checking if g++ supports -c -o file.o... (cached) yes checking whether the g++ linker (ld -m elf_x86_64) supports shared libraries... yes checking dynamic linker characteristics... (cached) GNU/Linux ld.so checking how to hardcode library paths into programs... immediate checking for a Python interpreter with version >= 2.7... python checking for python... /home/seyi/sage_source_tested/sage-7.1/local/bin/python checking for python version... 2.7 checking for python platform... linux2 checking for python script directory... ${prefix}/lib/python2.7/site-packages checking for python extension module directory... ${exec_prefix}/lib/python2.7/site-packages checking for long long... yes checking size of void *... 8 checking size of int... 4 checking size of long... 8 checking unordered_map usability... yes checking unordered_map presence... yes checking for unordered_map... yes checking for pkg-config... /home/seyi/sage_source_tested/sage-7.1/local/bin/pkg-config checking pkg-config is at least version 0.9.0... yes checking for M4RI... yes checking for M4RI CFLAGS... -mmmx -msse -msse2 -msse3 checking for PNG... yes checking that generated files are newer than configure... done configure: creating ./config.status config.status: creating Makefile config.status: creating Cudd/cudd/Makefile config.status: creating groebner/Makefile config.status: creating groebner/include/Makefile config.status: creating groebner/src/Makefile config.status: creating libpolybori/Makefile config.status: creating libpolybori/include/Makefile config.status: creating libpolybori/src/Makefile config.status: creating pyroot/Makefile config.status: creating libpolybori/include/polybori/config.h config.status: executing depfiles commands config.status: executing libtool commands make[3]: Entering directory '/home/seyi/sage_source_tested/sage-7.1/local/var/tmp/sage/build/brial-0.8.4.3/src' Making all in Cudd/cudd make[4]: Entering directory '/home/seyi/sage_source_tested/sage-7.1/local/var/tmp/sage/build/brial-0.8.4.3/src/Cudd/cudd' /bin/sh ../../libtool --tag=CC --mode=compile gcc -DHAVE_CONFIG_H -I. -I../../libpolybori/include/polybori -I../../groebner/include -I../../libpolybori/include -std=c99 -g -O2 -MT cuddAPI.lo -MD -MP -MF .deps/cuddAPI.Tpo -c -o cuddAPI.lo cuddAPI.c libtool: compile: gcc -DHAVE_CONFIG_H -I. -I../../libpolybori/include/polybori -I../../groebner/include -I../../libpolybori/include -std=c99 -g -O2 -MT cuddAPI.lo -MD -MP -MF .deps/cuddAPI.Tpo -c cuddAPI.c -fPIC -DPIC -o .libs/cuddAPI.o mv -f .deps/cuddAPI.Tpo .deps/cuddAPI.Plo /bin/sh ../../libtool --tag=CC --mode=compile gcc -DHAVE_CONFIG_H -I. -I../../libpolybori/include/polybori -I../../groebner/include -I../../libpolybori/include -std=c99 -g -O2 -MT cuddCache.lo -MD -MP -MF .deps/cuddCache.Tpo -c -o cuddCache.lo cuddCache.c libtool: compile: gcc -DHAVE_CONFIG_H -I. -I../../libpolybori/include/polybori -I../../groebner/include -I../../libpolybori/include -std=c99 -g -O2 -MT cuddCache.lo -MD -MP -MF .deps/cuddCache.Tpo -c cuddCache.c -fPIC -DPIC -o .libs/cuddCache.o mv -f .deps/cuddCache.Tpo .deps/cuddCache.Plo /bin/sh ../../libtool --tag=CC --mode=compile gcc -DHAVE_CONFIG_H -I. -I../../libpolybori/include/polybori -I../../groebner/include -I../../libpolybori/include -std=c99 -g -O2 -MT cuddInit.lo -MD -MP -MF .deps/cuddInit.Tpo -c -o cuddInit.lo cuddInit.c libtool: compile: gcc -DHAVE_CONFIG_H -I. -I../../libpolybori/include/polybori -I../../groebner/include -I../../libpolybori/include -std=c99 -g -O2 -MT cuddInit.lo -MD -MP -MF .deps/cuddInit.Tpo -c cuddInit.c -fPIC -DPIC -o .libs/cuddInit.o mv -f .deps/cuddInit.Tpo .deps/cuddInit.Plo /bin/sh ../../libtool --tag=CC --mode=compile gcc -DHAVE_CONFIG_H -I. -I../../libpolybori/include/polybori -I../../groebner/include -I../../libpolybori/include -std=c99 -g -O2 -MT cuddLCache.lo -MD -MP -MF .deps/cuddLCache.Tpo -c -o cuddLCache.lo cuddLCache.c libtool: compile: gcc -DHAVE_CONFIG_H -I. -I../../libpolybori/include/polybori -I../../groebner/include -I../../libpolybori/include -std=c99 -g -O2 -MT cuddLCache.lo -MD -MP -MF .deps/cuddLCache.Tpo -c cuddLCache.c -fPIC -DPIC -o .libs/cuddLCache.o mv -f .deps/cuddLCache.Tpo .deps/cuddLCache.Plo /bin/sh ../../libtool --tag=CC --mode=compile gcc -DHAVE_CONFIG_H -I. -I../../libpolybori/include/polybori -I../../groebner/include -I../../libpolybori/include -std=c99 -g -O2 -MT cuddRef.lo -MD -MP -MF .deps/cuddRef.Tpo -c -o cuddRef.lo cuddRef.c libtool: compile: gcc -DHAVE_CONFIG_H -I. -I../../libpolybori/include/polybori -I../../groebner/include -I../../libpolybori/include -std=c99 -g -O2 -MT cuddRef.lo -MD -MP -MF .deps/cuddRef.Tpo -c cuddRef.c -fPIC -DPIC -o .libs/cuddRef.o mv -f .deps/cuddRef.Tpo .deps/cuddRef.Plo /bin/sh ../../libtool --tag=CC --mode=compile gcc -DHAVE_CONFIG_H -I. -I../../libpolybori/include/polybori -I../../groebner/include -I../../libpolybori/include -std=c99 -g -O2 -MT cuddTable.lo -MD -MP -MF .deps/cuddTable.Tpo -c -o cuddTable.lo cuddTable.c libtool: compile: gcc -DHAVE_CONFIG_H -I. -I../../libpolybori/include/polybori -I../../groebner/include -I../../libpolybori/include -std=c99 -g -O2 -MT cuddTable.lo -MD -MP -MF .deps/cuddTable.Tpo -c cuddTable.c -fPIC -DPIC -o .libs/cuddTable.o mv -f .deps/cuddTable.Tpo .deps/cuddTable.Plo /bin/sh ../../libtool --tag=CC --mode=compile gcc -DHAVE_CONFIG_H -I. -I../../libpolybori/include/polybori -I../../groebner/include -I../../libpolybori/include -std=c99 -g -O2 -MT cuddZddFuncs.lo -MD -MP -MF .deps/cuddZddFuncs.Tpo -c -o cuddZddFuncs.lo cuddZddFuncs.c libtool: compile: gcc -DHAVE_CONFIG_H -I. -I../../libpolybori/include/polybori -I../../groebner/include -I../../libpolybori/include -std=c99 -g -O2 -MT cuddZddFuncs.lo -MD -MP -MF .deps/cuddZddFuncs.Tpo -c cuddZddFuncs.c -fPIC -DPIC -o .libs/cuddZddFuncs.o mv -f .deps/cuddZddFuncs.Tpo .deps/cuddZddFuncs.Plo /bin/sh ../../libtool --tag=CC --mode=compile gcc -DHAVE_CONFIG_H -I. -I../../libpolybori/include/polybori -I../../groebner/include -I../../libpolybori/include -std=c99 -g -O2 -MT cuddZddSetop.lo -MD -MP -MF .deps/cuddZddSetop.Tpo -c -o cuddZddSetop.lo cuddZddSetop.c libtool: compile: gcc -DHAVE_CONFIG_H -I. -I../../libpolybori/include/polybori -I../../groebner/include -I../../libpolybori/include -std=c99 -g -O2 -MT cuddZddSetop.lo -MD -MP -MF .deps/cuddZddSetop.Tpo -c cuddZddSetop.c -fPIC -DPIC -o .libs/cuddZddSetop.o mv -f .deps/cuddZddSetop.Tpo .deps/cuddZddSetop.Plo /bin/sh ../../libtool --tag=CC --mode=link gcc -std=c99 -g -O2 -L/home/seyi/sage_source_tested/sage-7.1/local/lib -Wl,-rpath,/home/seyi/sage_source_tested/sage-7.1/local/lib -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 ar: `u' modifier ignored since `D' is the default (see `U') libtool: link: ranlib .libs/libcudd.a libtool: link: ( cd ".libs" && rm -f "libcudd.la" && ln -s "../libcudd.la" "libcudd.la" ) make[4]: Leaving directory '/home/seyi/sage_source_tested/sage-7.1/local/var/tmp/sage/build/brial-0.8.4.3/src/Cudd/cudd' Making all in libpolybori make[4]: Entering directory '/home/seyi/sage_source_tested/sage-7.1/local/var/tmp/sage/build/brial-0.8.4.3/src/libpolybori' Making all in src make[5]: Entering directory '/home/seyi/sage_source_tested/sage-7.1/local/var/tmp/sage/build/brial-0.8.4.3/src/libpolybori/src' /bin/sh ../../libtool --tag=CXX --mode=compile g++ -DHAVE_CONFIG_H -I. -I../../libpolybori/include/polybori -I../../groebner/include -I../../libpolybori/include -std=c++98 -ftemplate-depth-100 -g -O2 -MT BlockDegLexOrder.lo -MD -MP -MF .deps/BlockDegLexOrder.Tpo -c -o BlockDegLexOrder.lo BlockDegLexOrder.cc libtool: compile: g++ -DHAVE_CONFIG_H -I. -I../../libpolybori/include/polybori -I../../groebner/include -I../../libpolybori/include -std=c++98 -ftemplate-depth-100 -g -O2 -MT BlockDegLexOrder.lo -MD -MP -MF .deps/BlockDegLexOrder.Tpo -c BlockDegLexOrder.cc -fPIC -DPIC -o .libs/BlockDegLexOrder.o mv -f .deps/BlockDegLexOrder.Tpo .deps/BlockDegLexOrder.Plo /bin/sh ../../libtool --tag=CXX --mode=compile g++ -DHAVE_CONFIG_H -I. -I../../libpolybori/include/polybori -I../../groebner/include -I../../libpolybori/include -std=c++98 -ftemplate-depth-100 -g -O2 -MT BlockDegRevLexAscOrder.lo -MD -MP -MF .deps/BlockDegRevLexAscOrder.Tpo -c -o BlockDegRevLexAscOrder.lo BlockDegRevLexAscOrder.cc libtool: compile: g++ -DHAVE_CONFIG_H -I. -I../../libpolybori/include/polybori -I../../groebner/include -I../../libpolybori/include -std=c++98 -ftemplate-depth-100 -g -O2 -MT BlockDegRevLexAscOrder.lo -MD -MP -MF .deps/BlockDegRevLexAscOrder.Tpo -c BlockDegRevLexAscOrder.cc -fPIC -DPIC -o .libs/BlockDegRevLexAscOrder.o mv -f .deps/BlockDegRevLexAscOrder.Tpo .deps/BlockDegRevLexAscOrder.Plo /bin/sh ../../libtool --tag=CXX --mode=compile g++ -DHAVE_CONFIG_H -I. -I../../libpolybori/include/polybori -I../../groebner/include -I../../libpolybori/include -std=c++98 -ftemplate-depth-100 -g -O2 -MT BooleEnv.lo -MD -MP -MF .deps/BooleEnv.Tpo -c -o BooleEnv.lo BooleEnv.cc libtool: compile: g++ -DHAVE_CONFIG_H -I. -I../../libpolybori/include/polybori -I../../groebner/include -I../../libpolybori/include -std=c++98 -ftemplate-depth-100 -g -O2 -MT BooleEnv.lo -MD -MP -MF .deps/BooleEnv.Tpo -c BooleEnv.cc -fPIC -DPIC -o .libs/BooleEnv.o mv -f .deps/BooleEnv.Tpo .deps/BooleEnv.Plo /bin/sh ../../libtool --tag=CXX --mode=compile g++ -DHAVE_CONFIG_H -I. -I../../libpolybori/include/polybori -I../../groebner/include -I../../libpolybori/include -std=c++98 -ftemplate-depth-100 -g -O2 -MT BooleExponent.lo -MD -MP -MF .deps/BooleExponent.Tpo -c -o BooleExponent.lo BooleExponent.cc libtool: compile: g++ -DHAVE_CONFIG_H -I. -I../../libpolybori/include/polybori -I../../groebner/include -I../../libpolybori/include -std=c++98 -ftemplate-depth-100 -g -O2 -MT BooleExponent.lo -MD -MP -MF .deps/BooleExponent.Tpo -c BooleExponent.cc -fPIC -DPIC -o .libs/BooleExponent.o mv -f .deps/BooleExponent.Tpo .deps/BooleExponent.Plo /bin/sh ../../libtool --tag=CXX --mode=compile g++ -DHAVE_CONFIG_H -I. -I../../libpolybori/include/polybori -I../../groebner/include -I../../libpolybori/include -std=c++98 -ftemplate-depth-100 -g -O2 -MT BooleMonomial.lo -MD -MP -MF .deps/BooleMonomial.Tpo -c -o BooleMonomial.lo BooleMonomial.cc libtool: compile: g++ -DHAVE_CONFIG_H -I. -I../../libpolybori/include/polybori -I../../groebner/include -I../../libpolybori/include -std=c++98 -ftemplate-depth-100 -g -O2 -MT BooleMonomial.lo -MD -MP -MF .deps/BooleMonomial.Tpo -c BooleMonomial.cc -fPIC -DPIC -o .libs/BooleMonomial.o mv -f .deps/BooleMonomial.Tpo .deps/BooleMonomial.Plo /bin/sh ../../libtool --tag=CXX --mode=compile g++ -DHAVE_CONFIG_H -I. -I../../libpolybori/include/polybori -I../../groebner/include -I../../libpolybori/include -std=c++98 -ftemplate-depth-100 -g -O2 -MT BoolePolynomial.lo -MD -MP -MF .deps/BoolePolynomial.Tpo -c -o BoolePolynomial.lo BoolePolynomial.cc libtool: compile: g++ -DHAVE_CONFIG_H -I. -I../../libpolybori/include/polybori -I../../groebner/include -I../../libpolybori/include -std=c++98 -ftemplate-depth-100 -g -O2 -MT BoolePolynomial.lo -MD -MP -MF .deps/BoolePolynomial.Tpo -c BoolePolynomial.cc -fPIC -DPIC -o .libs/BoolePolynomial.o mv -f .deps/BoolePolynomial.Tpo .deps/BoolePolynomial.Plo /bin/sh ../../libtool --tag=CXX --mode=compile g++ -DHAVE_CONFIG_H -I. -I../../libpolybori/include/polybori -I../../groebner/include -I../../libpolybori/include -std=c++98 -ftemplate-depth-100 -g -O2 -MT BoolePolyRing.lo -MD -MP -MF .deps/BoolePolyRing.Tpo -c -o BoolePolyRing.lo BoolePolyRing.cc libtool: compile: g++ -DHAVE_CONFIG_H -I. -I../../libpolybori/include/polybori -I../../groebner/include -I../../libpolybori/include -std=c++98 -ftemplate-depth-100 -g -O2 -MT BoolePolyRing.lo -MD -MP -MF .deps/BoolePolyRing.Tpo -c BoolePolyRing.cc -fPIC -DPIC -o .libs/BoolePolyRing.o mv -f .deps/BoolePolyRing.Tpo .deps/BoolePolyRing.Plo /bin/sh ../../libtool --tag=CXX --mode=compile g++ -DHAVE_CONFIG_H -I. -I../../libpolybori/include/polybori -I../../groebner/include -I../../libpolybori/include -std=c++98 -ftemplate-depth-100 -g -O2 -MT BooleSet.lo -MD -MP -MF .deps/BooleSet.Tpo -c -o BooleSet.lo BooleSet.cc libtool: compile: g++ -DHAVE_CONFIG_H -I. -I../../libpolybori/include/polybori -I../../groebner/include -I../../libpolybori/include -std=c++98 -ftemplate-depth-100 -g -O2 -MT BooleSet.lo -MD -MP -MF .deps/BooleSet.Tpo -c BooleSet.cc -fPIC -DPIC -o .libs/BooleSet.o mv -f .deps/BooleSet.Tpo .deps/BooleSet.Plo /bin/sh ../../libtool --tag=CXX --mode=compile g++ -DHAVE_CONFIG_H -I. -I../../libpolybori/include/polybori -I../../groebner/include -I../../libpolybori/include -std=c++98 -ftemplate-depth-100 -g -O2 -MT BooleVariable.lo -MD -MP -MF .deps/BooleVariable.Tpo -c -o BooleVariable.lo BooleVariable.cc libtool: compile: g++ -DHAVE_CONFIG_H -I. -I../../libpolybori/include/polybori -I../../groebner/include -I../../libpolybori/include -std=c++98 -ftemplate-depth-100 -g -O2 -MT BooleVariable.lo -MD -MP -MF .deps/BooleVariable.Tpo -c BooleVariable.cc -fPIC -DPIC -o .libs/BooleVariable.o mv -f .deps/BooleVariable.Tpo .deps/BooleVariable.Plo /bin/sh ../../libtool --tag=CXX --mode=compile g++ -DHAVE_CONFIG_H -I. -I../../libpolybori/include/polybori -I../../groebner/include -I../../libpolybori/include -std=c++98 -ftemplate-depth-100 -g -O2 -MT CCheckedIdx.lo -MD -MP -MF .deps/CCheckedIdx.Tpo -c -o CCheckedIdx.lo CCheckedIdx.cc libtool: compile: g++ -DHAVE_CONFIG_H -I. -I../../libpolybori/include/polybori -I../../groebner/include -I../../libpolybori/include -std=c++98 -ftemplate-depth-100 -g -O2 -MT CCheckedIdx.lo -MD -MP -MF .deps/CCheckedIdx.Tpo -c CCheckedIdx.cc -fPIC -DPIC -o .libs/CCheckedIdx.o mv -f .deps/CCheckedIdx.Tpo .deps/CCheckedIdx.Plo /bin/sh ../../libtool --tag=CXX --mode=compile g++ -DHAVE_CONFIG_H -I. -I../../libpolybori/include/polybori -I../../groebner/include -I../../libpolybori/include -std=c++98 -ftemplate-depth-100 -g -O2 -MT CCuddFirstIter.lo -MD -MP -MF .deps/CCuddFirstIter.Tpo -c -o CCuddFirstIter.lo CCuddFirstIter.cc libtool: compile: g++ -DHAVE_CONFIG_H -I. -I../../libpolybori/include/polybori -I../../groebner/include -I../../libpolybori/include -std=c++98 -ftemplate-depth-100 -g -O2 -MT CCuddFirstIter.lo -MD -MP -MF .deps/CCuddFirstIter.Tpo -c CCuddFirstIter.cc -fPIC -DPIC -o .libs/CCuddFirstIter.o mv -f .deps/CCuddFirstIter.Tpo .deps/CCuddFirstIter.Plo /bin/sh ../../libtool --tag=CXX --mode=compile g++ -DHAVE_CONFIG_H -I. -I../../libpolybori/include/polybori -I../../groebner/include -I../../libpolybori/include -std=c++98 -ftemplate-depth-100 -g -O2 -MT CCuddLastIter.lo -MD -MP -MF .deps/CCuddLastIter.Tpo -c -o CCuddLastIter.lo CCuddLastIter.cc libtool: compile: g++ -DHAVE_CONFIG_H -I. -I../../libpolybori/include/polybori -I../../groebner/include -I../../libpolybori/include -std=c++98 -ftemplate-depth-100 -g -O2 -MT CCuddLastIter.lo -MD -MP -MF .deps/CCuddLastIter.Tpo -c CCuddLastIter.cc -fPIC -DPIC -o .libs/CCuddLastIter.o mv -f .deps/CCuddLastIter.Tpo .deps/CCuddLastIter.Plo /bin/sh ../../libtool --tag=CXX --mode=compile g++ -DHAVE_CONFIG_H -I. -I../../libpolybori/include/polybori -I../../groebner/include -I../../libpolybori/include -std=c++98 -ftemplate-depth-100 -g -O2 -MT CErrorInfo.lo -MD -MP -MF .deps/CErrorInfo.Tpo -c -o CErrorInfo.lo CErrorInfo.cc libtool: compile: g++ -DHAVE_CONFIG_H -I. -I../../libpolybori/include/polybori -I../../groebner/include -I../../libpolybori/include -std=c++98 -ftemplate-depth-100 -g -O2 -MT CErrorInfo.lo -MD -MP -MF .deps/CErrorInfo.Tpo -c CErrorInfo.cc -fPIC -DPIC -o .libs/CErrorInfo.o mv -f .deps/CErrorInfo.Tpo .deps/CErrorInfo.Plo /bin/sh ../../libtool --tag=CXX --mode=compile g++ -DHAVE_CONFIG_H -I. -I../../libpolybori/include/polybori -I../../groebner/include -I../../libpolybori/include -std=c++98 -ftemplate-depth-100 -g -O2 -MT DegLexOrder.lo -MD -MP -MF .deps/DegLexOrder.Tpo -c -o DegLexOrder.lo DegLexOrder.cc libtool: compile: g++ -DHAVE_CONFIG_H -I. -I../../libpolybori/include/polybori -I../../groebner/include -I../../libpolybori/include -std=c++98 -ftemplate-depth-100 -g -O2 -MT DegLexOrder.lo -MD -MP -MF .deps/DegLexOrder.Tpo -c DegLexOrder.cc -fPIC -DPIC -o .libs/DegLexOrder.o mv -f .deps/DegLexOrder.Tpo .deps/DegLexOrder.Plo /bin/sh ../../libtool --tag=CXX --mode=compile g++ -DHAVE_CONFIG_H -I. -I../../libpolybori/include/polybori -I../../groebner/include -I../../libpolybori/include -std=c++98 -ftemplate-depth-100 -g -O2 -MT DegRevLexAscOrder.lo -MD -MP -MF .deps/DegRevLexAscOrder.Tpo -c -o DegRevLexAscOrder.lo DegRevLexAscOrder.cc libtool: compile: g++ -DHAVE_CONFIG_H -I. -I../../libpolybori/include/polybori -I../../groebner/include -I../../libpolybori/include -std=c++98 -ftemplate-depth-100 -g -O2 -MT DegRevLexAscOrder.lo -MD -MP -MF .deps/DegRevLexAscOrder.Tpo -c DegRevLexAscOrder.cc -fPIC -DPIC -o .libs/DegRevLexAscOrder.o mv -f .deps/DegRevLexAscOrder.Tpo .deps/DegRevLexAscOrder.Plo /bin/sh ../../libtool --tag=CXX --mode=compile g++ -DHAVE_CONFIG_H -I. -I../../libpolybori/include/polybori -I../../groebner/include -I../../libpolybori/include -std=c++98 -ftemplate-depth-100 -g -O2 -MT LexOrder.lo -MD -MP -MF .deps/LexOrder.Tpo -c -o LexOrder.lo LexOrder.cc libtool: compile: g++ -DHAVE_CONFIG_H -I. -I../../libpolybori/include/polybori -I../../groebner/include -I../../libpolybori/include -std=c++98 -ftemplate-depth-100 -g -O2 -MT LexOrder.lo -MD -MP -MF .deps/LexOrder.Tpo -c LexOrder.cc -fPIC -DPIC -o .libs/LexOrder.o mv -f .deps/LexOrder.Tpo .deps/LexOrder.Plo /bin/sh ../../libtool --tag=CXX --mode=compile g++ -DHAVE_CONFIG_H -I. -I../../libpolybori/include/polybori -I../../groebner/include -I../../libpolybori/include -std=c++98 -ftemplate-depth-100 -g -O2 -MT pbori_routines.lo -MD -MP -MF .deps/pbori_routines.Tpo -c -o pbori_routines.lo pbori_routines.cc libtool: compile: g++ -DHAVE_CONFIG_H -I. -I../../libpolybori/include/polybori -I../../groebner/include -I../../libpolybori/include -std=c++98 -ftemplate-depth-100 -g -O2 -MT pbori_routines.lo -MD -MP -MF .deps/pbori_routines.Tpo -c pbori_routines.cc -fPIC -DPIC -o .libs/pbori_routines.o mv -f .deps/pbori_routines.Tpo .deps/pbori_routines.Plo /bin/sh ../../libtool --tag=CXX --mode=compile g++ -DHAVE_CONFIG_H -I. -I../../libpolybori/include/polybori -I../../groebner/include -I../../libpolybori/include -std=c++98 -ftemplate-depth-100 -g -O2 -MT PBoRiError.lo -MD -MP -MF .deps/PBoRiError.Tpo -c -o PBoRiError.lo PBoRiError.cc libtool: compile: g++ -DHAVE_CONFIG_H -I. -I../../libpolybori/include/polybori -I../../groebner/include -I../../libpolybori/include -std=c++98 -ftemplate-depth-100 -g -O2 -MT PBoRiError.lo -MD -MP -MF .deps/PBoRiError.Tpo -c PBoRiError.cc -fPIC -DPIC -o .libs/PBoRiError.o mv -f .deps/PBoRiError.Tpo .deps/PBoRiError.Plo /bin/sh ../../libtool --tag=CXX --mode=link g++ -std=c++98 -ftemplate-depth-100 -g -O2 -L/home/seyi/sage_source_tested/sage-7.1/local/lib -Wl,-rpath,/home/seyi/sage_source_tested/sage-7.1/local/lib -o libpolybori_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 DegLexOrder.lo DegRevLexAscOrder.lo LexOrder.lo pbori_routines.lo PBoRiError.lo libtool: link: ar cru .libs/libpolybori_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/DegLexOrder.o .libs/DegRevLexAscOrder.o .libs/LexOrder.o .libs/pbori_routines.o .libs/PBoRiError.o ar: `u' modifier ignored since `D' is the default (see `U') libtool: link: ranlib .libs/libpolybori_base.a libtool: link: ( cd ".libs" && rm -f "libpolybori_base.la" && ln -s "../libpolybori_base.la" "libpolybori_base.la" ) make[5]: Leaving directory '/home/seyi/sage_source_tested/sage-7.1/local/var/tmp/sage/build/brial-0.8.4.3/src/libpolybori/src' Making all in include make[5]: Entering directory '/home/seyi/sage_source_tested/sage-7.1/local/var/tmp/sage/build/brial-0.8.4.3/src/libpolybori/include' make[5]: Nothing to be done for 'all'. make[5]: Leaving directory '/home/seyi/sage_source_tested/sage-7.1/local/var/tmp/sage/build/brial-0.8.4.3/src/libpolybori/include' make[5]: Entering directory '/home/seyi/sage_source_tested/sage-7.1/local/var/tmp/sage/build/brial-0.8.4.3/src/libpolybori' make[5]: Nothing to be done for 'all-am'. make[5]: Leaving directory '/home/seyi/sage_source_tested/sage-7.1/local/var/tmp/sage/build/brial-0.8.4.3/src/libpolybori' make[4]: Leaving directory '/home/seyi/sage_source_tested/sage-7.1/local/var/tmp/sage/build/brial-0.8.4.3/src/libpolybori' Making all in . make[4]: Entering directory '/home/seyi/sage_source_tested/sage-7.1/local/var/tmp/sage/build/brial-0.8.4.3/src' /bin/sh ./libtool --tag=CXX --mode=link g++ -g -O2 -no-undefined -L/home/seyi/sage_source_tested/sage-7.1/local/lib -Wl,-rpath,/home/seyi/sage_source_tested/sage-7.1/local/lib -o libpolybori.la -rpath /home/seyi/sage_source_tested/sage-7.1/local/lib Cudd/cudd/libcudd.la libpolybori/src/libpolybori_base.la libtool: link: g++ -fPIC -DPIC -shared -nostdlib /usr/lib/gcc/x86_64-pc-linux-gnu/6.1.1/../../../../lib/crti.o /usr/lib/gcc/x86_64-pc-linux-gnu/6.1.1/crtbeginS.o -Wl,--whole-archive Cudd/cudd/.libs/libcudd.a libpolybori/src/.libs/libpolybori_base.a -Wl,--no-whole-archive -L/home/seyi/sage_source_tested/sage-7.1/local/lib -L/home/seyi/sage_source_tested/sage-7.1/local/lib/../lib -L/usr/lib/gcc/x86_64-pc-linux-gnu/6.1.1 -L/usr/lib/gcc/x86_64-pc-linux-gnu/6.1.1/../../../../lib -L/lib/../lib -L/usr/lib/../lib -L/usr/lib/gcc/x86_64-pc-linux-gnu/6.1.1/../../.. -lstdc++ -lm -lc -lgcc_s /usr/lib/gcc/x86_64-pc-linux-gnu/6.1.1/crtendS.o /usr/lib/gcc/x86_64-pc-linux-gnu/6.1.1/../../../../lib/crtn.o -g -O2 -Wl,-rpath -Wl,/home/seyi/sage_source_tested/sage-7.1/local/lib -Wl,-soname -Wl,libpolybori.so.0 -o .libs/libpolybori.so.0.0.0 libtool: link: (cd ".libs" && rm -f "libpolybori.so.0" && ln -s "libpolybori.so.0.0.0" "libpolybori.so.0") libtool: link: (cd ".libs" && rm -f "libpolybori.so" && ln -s "libpolybori.so.0.0.0" "libpolybori.so") libtool: link: ( cd ".libs" && rm -f "libpolybori.la" && ln -s "../libpolybori.la" "libpolybori.la" ) make[4]: Leaving directory '/home/seyi/sage_source_tested/sage-7.1/local/var/tmp/sage/build/brial-0.8.4.3/src' Making all in groebner make[4]: Entering directory '/home/seyi/sage_source_tested/sage-7.1/local/var/tmp/sage/build/brial-0.8.4.3/src/groebner' Making all in src make[5]: Entering directory '/home/seyi/sage_source_tested/sage-7.1/local/var/tmp/sage/build/brial-0.8.4.3/src/groebner/src' /bin/sh ../../libtool --tag=CXX --mode=compile g++ -DHAVE_CONFIG_H -I. -I../../libpolybori/include/polybori -I../../groebner/include -I../../libpolybori/include -std=c++98 -ftemplate-depth-100 -mmmx -msse -msse2 -msse3 -g -O2 -MT libpolybori_groebner_la-dlex4data.lo -MD -MP -MF .deps/libpolybori_groebner_la-dlex4data.Tpo -c -o libpolybori_groebner_la-dlex4data.lo `test -f 'dlex4data.cc' || echo './'`dlex4data.cc libtool: compile: g++ -DHAVE_CONFIG_H -I. -I../../libpolybori/include/polybori -I../../groebner/include -I../../libpolybori/include -std=c++98 -ftemplate-depth-100 -mmmx -msse -msse2 -msse3 -g -O2 -MT libpolybori_groebner_la-dlex4data.lo -MD -MP -MF .deps/libpolybori_groebner_la-dlex4data.Tpo -c dlex4data.cc -fPIC -DPIC -o .libs/libpolybori_groebner_la-dlex4data.o mv -f .deps/libpolybori_groebner_la-dlex4data.Tpo .deps/libpolybori_groebner_la-dlex4data.Plo /bin/sh ../../libtool --tag=CXX --mode=compile g++ -DHAVE_CONFIG_H -I. -I../../libpolybori/include/polybori -I../../groebner/include -I../../libpolybori/include -std=c++98 -ftemplate-depth-100 -mmmx -msse -msse2 -msse3 -g -O2 -MT libpolybori_groebner_la-dp_asc4data.lo -MD -MP -MF .deps/libpolybori_groebner_la-dp_asc4data.Tpo -c -o libpolybori_groebner_la-dp_asc4data.lo `test -f 'dp_asc4data.cc' || echo './'`dp_asc4data.cc libtool: compile: g++ -DHAVE_CONFIG_H -I. -I../../libpolybori/include/polybori -I../../groebner/include -I../../libpolybori/include -std=c++98 -ftemplate-depth-100 -mmmx -msse -msse2 -msse3 -g -O2 -MT libpolybori_groebner_la-dp_asc4data.lo -MD -MP -MF .deps/libpolybori_groebner_la-dp_asc4data.Tpo -c dp_asc4data.cc -fPIC -DPIC -o .libs/libpolybori_groebner_la-dp_asc4data.o mv -f .deps/libpolybori_groebner_la-dp_asc4data.Tpo .deps/libpolybori_groebner_la-dp_asc4data.Plo /bin/sh ../../libtool --tag=CXX --mode=compile g++ -DHAVE_CONFIG_H -I. -I../../libpolybori/include/polybori -I../../groebner/include -I../../libpolybori/include -std=c++98 -ftemplate-depth-100 -mmmx -msse -msse2 -msse3 -g -O2 -MT libpolybori_groebner_la-FGLMStrategy.lo -MD -MP -MF .deps/libpolybori_groebner_la-FGLMStrategy.Tpo -c -o libpolybori_groebner_la-FGLMStrategy.lo `test -f 'FGLMStrategy.cc' || echo './'`FGLMStrategy.cc libtool: compile: g++ -DHAVE_CONFIG_H -I. -I../../libpolybori/include/polybori -I../../groebner/include -I../../libpolybori/include -std=c++98 -ftemplate-depth-100 -mmmx -msse -msse2 -msse3 -g -O2 -MT libpolybori_groebner_la-FGLMStrategy.lo -MD -MP -MF .deps/libpolybori_groebner_la-FGLMStrategy.Tpo -c FGLMStrategy.cc -fPIC -DPIC -o .libs/libpolybori_groebner_la-FGLMStrategy.o In file included from /usr/include/c++/6.1.1/string:48:0, from /usr/include/c++/6.1.1/bits/locale_classes.h:40, from /usr/include/c++/6.1.1/bits/ios_base.h:41, from /usr/include/c++/6.1.1/ios:42, from /usr/include/c++/6.1.1/ostream:38, from /usr/include/c++/6.1.1/iostream:39, from ../../libpolybori/include/polybori/pbori_defs.h:24, from ../../libpolybori/include/polybori/BoolePolyRing.h:21, from ../../groebner/include/polybori/groebner/FGLMStrategy.h:12, from FGLMStrategy.cc:9: /usr/include/c++/6.1.1/bits/stl_function.h: In instantiation of 'bool std::less<_Tp>::operator()(const _Tp&, const _Tp&) const [with _Tp = polybori::BooleExponent]': /usr/include/c++/6.1.1/bits/stl_map.h:481:32: required from 'std::map<_Key, _Tp, _Compare, _Alloc>::mapped_type& std::map<_Key, _Tp, _Compare, _Alloc>::operator[](const key_type&) [with _Key = polybori::BooleExponent; _Tp = int; _Compare = std::less<polybori::BooleExponent>; _Alloc = std::allocator<std::pair<const polybori::BooleExponent, int> >; std::map<_Key, _Tp, _Compare, _Alloc>::mapped_type = int; std::map<_Key, _Tp, _Compare, _Alloc>::key_type = polybori::BooleExponent]' ../../groebner/include/polybori/groebner/PolyEntryIndices.h:49:28: required from here /usr/include/c++/6.1.1/bits/stl_function.h:387:20: error: no match for 'operator<' (operand types are 'const polybori::BooleExponent' and 'const polybori::BooleExponent') { return __x < __y; } ~~~~^~~~~ In file included from /usr/include/c++/6.1.1/bits/stl_algobase.h:64:0, from /usr/include/c++/6.1.1/bits/char_traits.h:39, from /usr/include/c++/6.1.1/ios:40, from /usr/include/c++/6.1.1/ostream:38, from /usr/include/c++/6.1.1/iostream:39, from ../../libpolybori/include/polybori/pbori_defs.h:24, from ../../libpolybori/include/polybori/BoolePolyRing.h:21, from ../../groebner/include/polybori/groebner/FGLMStrategy.h:12, from FGLMStrategy.cc:9: /usr/include/c++/6.1.1/bits/stl_pair.h:369:5: note: candidate: template<class _T1, class _T2> bool std::operator<(const std::pair<_T1, _T2>&, const std::pair<_T1, _T2>&) operator<(const pair<_T1, _T2>& __x, const pair<_T1, _T2>& __y) ^~~~~~~~ /usr/include/c++/6.1.1/bits/stl_pair.h:369:5: note: template argument deduction/substitution failed: In file included from /usr/include/c++/6.1.1/string:48:0, from /usr/include/c++/6.1.1/bits/locale_classes.h:40, from /usr/include/c++/6.1.1/bits/ios_base.h:41, from /usr/include/c++/6.1.1/ios:42, from /usr/include/c++/6.1.1/ostream:38, from /usr/include/c++/6.1.1/iostream:39, from ../../libpolybori/include/polybori/pbori_defs.h:24, from ../../libpolybori/include/polybori/BoolePolyRing.h:21, from ../../groebner/include/polybori/groebner/FGLMStrategy.h:12, from FGLMStrategy.cc:9: /usr/include/c++/6.1.1/bits/stl_function.h:387:20: note: 'const polybori::BooleExponent' is not derived from 'const std::pair<_T1, _T2>' { return __x < __y; } ~~~~^~~~~ In file included from /usr/include/c++/6.1.1/bits/stl_algobase.h:67:0, from /usr/include/c++/6.1.1/bits/char_traits.h:39, from /usr/include/c++/6.1.1/ios:40, from /usr/include/c++/6.1.1/ostream:38, from /usr/include/c++/6.1.1/iostream:39, from ../../libpolybori/include/polybori/pbori_defs.h:24, from ../../libpolybori/include/polybori/BoolePolyRing.h:21, from ../../groebner/include/polybori/groebner/FGLMStrategy.h:12, from FGLMStrategy.cc:9: /usr/include/c++/6.1.1/bits/stl_iterator.h:298:5: note: candidate: template<class _Iterator> bool std::operator<(const std::reverse_iterator<_Iterator>&, const std::reverse_iterator<_Iterator>&) operator<(const reverse_iterator<_Iterator>& __x, ^~~~~~~~ /usr/include/c++/6.1.1/bits/stl_iterator.h:298:5: note: template argument deduction/substitution failed: In file included from /usr/include/c++/6.1.1/string:48:0, from /usr/include/c++/6.1.1/bits/locale_classes.h:40, from /usr/include/c++/6.1.1/bits/ios_base.h:41, from /usr/include/c++/6.1.1/ios:42, from /usr/include/c++/6.1.1/ostream:38, from /usr/include/c++/6.1.1/iostream:39, from ../../libpolybori/include/polybori/pbori_defs.h:24, from ../../libpolybori/include/polybori/BoolePolyRing.h:21, from ../../groebner/include/polybori/groebner/FGLMStrategy.h:12, from FGLMStrategy.cc:9: /usr/include/c++/6.1.1/bits/stl_function.h:387:20: note: 'const polybori::BooleExponent' is not derived from 'const std::reverse_iterator<_Iterator>' { return __x < __y; } ~~~~^~~~~ In file included from /usr/include/c++/6.1.1/bits/stl_algobase.h:67:0, from /usr/include/c++/6.1.1/bits/char_traits.h:39, from /usr/include/c++/6.1.1/ios:40, from /usr/include/c++/6.1.1/ostream:38, from /usr/include/c++/6.1.1/iostream:39, from ../../libpolybori/include/polybori/pbori_defs.h:24, from ../../libpolybori/include/polybori/BoolePolyRing.h:21, from ../../groebner/include/polybori/groebner/FGLMStrategy.h:12, from FGLMStrategy.cc:9: /usr/include/c++/6.1.1/bits/stl_iterator.h:348:5: note: candidate: template<class _IteratorL, class _IteratorR> bool std::operator<(const std::reverse_iterator<_Iterator>&, const std::reverse_iterator<_IteratorR>&) operator<(const reverse_iterator<_IteratorL>& __x, ^~~~~~~~ /usr/include/c++/6.1.1/bits/stl_iterator.h:348:5: note: template argument deduction/substitution failed: In file included from /usr/include/c++/6.1.1/string:48:0, from /usr/include/c++/6.1.1/bits/locale_classes.h:40, from /usr/include/c++/6.1.1/bits/ios_base.h:41, from /usr/include/c++/6.1.1/ios:42, from /usr/include/c++/6.1.1/ostream:38, from /usr/include/c++/6.1.1/iostream:39, from ../../libpolybori/include/polybori/pbori_defs.h:24, from ../../libpolybori/include/polybori/BoolePolyRing.h:21, from ../../groebner/include/polybori/groebner/FGLMStrategy.h:12, from FGLMStrategy.cc:9: /usr/include/c++/6.1.1/bits/stl_function.h:387:20: note: 'const polybori::BooleExponent' is not derived from 'const std::reverse_iterator<_Iterator>' { return __x < __y; } ~~~~^~~~~ In file included from /usr/include/c++/6.1.1/string:52:0, from /usr/include/c++/6.1.1/bits/locale_classes.h:40, from /usr/include/c++/6.1.1/bits/ios_base.h:41, from /usr/include/c++/6.1.1/ios:42, from /usr/include/c++/6.1.1/ostream:38, from /usr/include/c++/6.1.1/iostream:39, from ../../libpolybori/include/polybori/pbori_defs.h:24, from ../../libpolybori/include/polybori/BoolePolyRing.h:21, from ../../groebner/include/polybori/groebner/FGLMStrategy.h:12, from FGLMStrategy.cc:9: /usr/include/c++/6.1.1/bits/basic_string.h:5135:5: note: candidate: template<class _CharT, class _Traits, class _Alloc> bool std::operator<(const std::__cxx11::basic_string<_CharT, _Traits, _Alloc>&, const std::__cxx11::basic_string<_CharT, _Traits, _Alloc>&) operator<(const basic_string<_CharT, _Traits, _Alloc>& __lhs, ^~~~~~~~ /usr/include/c++/6.1.1/bits/basic_string.h:5135:5: note: template argument deduction/substitution failed: In file included from /usr/include/c++/6.1.1/string:48:0, from /usr/include/c++/6.1.1/bits/locale_classes.h:40, from /usr/include/c++/6.1.1/bits/ios_base.h:41, from /usr/include/c++/6.1.1/ios:42, from /usr/include/c++/6.1.1/ostream:38, from /usr/include/c++/6.1.1/iostream:39, from ../../libpolybori/include/polybori/pbori_defs.h:24, from ../../libpolybori/include/polybori/BoolePolyRing.h:21, from ../../groebner/include/polybori/groebner/FGLMStrategy.h:12, from FGLMStrategy.cc:9: /usr/include/c++/6.1.1/bits/stl_function.h:387:20: note: 'const polybori::BooleExponent' is not derived from 'const std::__cxx11::basic_string<_CharT, _Traits, _Alloc>' { return __x < __y; } ~~~~^~~~~ In file included from /usr/include/c++/6.1.1/string:52:0, from /usr/include/c++/6.1.1/bits/locale_classes.h:40, from /usr/include/c++/6.1.1/bits/ios_base.h:41, from /usr/include/c++/6.1.1/ios:42, from /usr/include/c++/6.1.1/ostream:38, from /usr/include/c++/6.1.1/iostream:39, from ../../libpolybori/include/polybori/pbori_defs.h:24, from ../../libpolybori/include/polybori/BoolePolyRing.h:21, from ../../groebner/include/polybori/groebner/FGLMStrategy.h:12, from FGLMStrategy.cc:9: /usr/include/c++/6.1.1/bits/basic_string.h:5148:5: note: candidate: template<class _CharT, class _Traits, class _Alloc> bool std::operator<(const std::__cxx11::basic_string<_CharT, _Traits, _Alloc>&, const _CharT*) operator<(const basic_string<_CharT, _Traits, _Alloc>& __lhs, ^~~~~~~~ /usr/include/c++/6.1.1/bits/basic_string.h:5148:5: note: template argument deduction/substitution failed: In file included from /usr/include/c++/6.1.1/string:48:0, from /usr/include/c++/6.1.1/bits/locale_classes.h:40, from /usr/include/c++/6.1.1/bits/ios_base.h:41, from /usr/include/c++/6.1.1/ios:42, from /usr/include/c++/6.1.1/ostream:38, from /usr/include/c++/6.1.1/iostream:39, from ../../libpolybori/include/polybori/pbori_defs.h:24, from ../../libpolybori/include/polybori/BoolePolyRing.h:21, from ../../groebner/include/polybori/groebner/FGLMStrategy.h:12, from FGLMStrategy.cc:9: /usr/include/c++/6.1.1/bits/stl_function.h:387:20: note: 'const polybori::BooleExponent' is not derived from 'const std::__cxx11::basic_string<_CharT, _Traits, _Alloc>' { return __x < __y; } ~~~~^~~~~ In file included from /usr/include/c++/6.1.1/string:52:0, from /usr/include/c++/6.1.1/bits/locale_classes.h:40, from /usr/include/c++/6.1.1/bits/ios_base.h:41, from /usr/include/c++/6.1.1/ios:42, from /usr/include/c++/6.1.1/ostream:38, from /usr/include/c++/6.1.1/iostream:39, from ../../libpolybori/include/polybori/pbori_defs.h:24, from ../../libpolybori/include/polybori/BoolePolyRing.h:21, from ../../groebner/include/polybori/groebner/FGLMStrategy.h:12, from FGLMStrategy.cc:9: /usr/include/c++/6.1.1/bits/basic_string.h:5160:5: note: candidate: template<class _CharT, class _Traits, class _Alloc> bool std::operator<(const _CharT*, const std::__cxx11::basic_string<_CharT, _Traits, _Alloc>&) operator<(const _CharT* __lhs, ^~~~~~~~ /usr/include/c++/6.1.1/bits/basic_string.h:5160:5: note: template argument deduction/substitution failed: In file included from /usr/include/c++/6.1.1/string:48:0, from /usr/include/c++/6.1.1/bits/locale_classes.h:40, from /usr/include/c++/6.1.1/bits/ios_base.h:41, from /usr/include/c++/6.1.1/ios:42, from /usr/include/c++/6.1.1/ostream:38, from /usr/include/c++/6.1.1/iostream:39, from ../../libpolybori/include/polybori/pbori_defs.h:24, from ../../libpolybori/include/polybori/BoolePolyRing.h:21, from ../../groebner/include/polybori/groebner/FGLMStrategy.h:12, from FGLMStrategy.cc:9: /usr/include/c++/6.1.1/bits/stl_function.h:387:20: note: mismatched types 'const _CharT*' and 'polybori::BooleExponent' { return __x < __y; } ~~~~^~~~~ In file included from /usr/include/c++/6.1.1/set:60:0, from ../../libpolybori/include/polybori/common/traits.h:19, from ../../libpolybori/include/polybori/routines/pbori_func.h:22, from ../../libpolybori/include/polybori/ring/CCuddInterface.h:25, from ../../libpolybori/include/polybori/ring/CCuddCore.h:22, from ../../libpolybori/include/polybori/BoolePolyRing.h:24, from ../../groebner/include/polybori/groebner/FGLMStrategy.h:12, from FGLMStrategy.cc:9: /usr/include/c++/6.1.1/bits/stl_tree.h:1278:5: note: candidate: template<class _Key, class _Val, class _KeyOfValue, class _Compare, class _Alloc> bool std::operator<(const std::_Rb_tree<_Key, _Val, _KeyOfValue, _Compare, _Alloc>&, const std::_Rb_tree<_Key, _Val, _KeyOfValue, _Compare, _Alloc>&) operator<(const _Rb_tree<_Key, _Val, _KeyOfValue, _Compare, _Alloc>& __x, ^~~~~~~~ /usr/include/c++/6.1.1/bits/stl_tree.h:1278:5: note: template argument deduction/substitution failed: In file included from /usr/include/c++/6.1.1/string:48:0, from /usr/include/c++/6.1.1/bits/locale_classes.h:40, from /usr/include/c++/6.1.1/bits/ios_base.h:41, from /usr/include/c++/6.1.1/ios:42, from /usr/include/c++/6.1.1/ostream:38, from /usr/include/c++/6.1.1/iostream:39, from ../../libpolybori/include/polybori/pbori_defs.h:24, from ../../libpolybori/include/polybori/BoolePolyRing.h:21, from ../../groebner/include/polybori/groebner/FGLMStrategy.h:12, from FGLMStrategy.cc:9: /usr/include/c++/6.1.1/bits/stl_function.h:387:20: note: 'const polybori::BooleExponent' is not derived from 'const std::_Rb_tree<_Key, _Val, _KeyOfValue, _Compare, _Alloc>' { return __x < __y; } ~~~~^~~~~ In file included from /usr/include/c++/6.1.1/set:61:0, from ../../libpolybori/include/polybori/common/traits.h:19, from ../../libpolybori/include/polybori/routines/pbori_func.h:22, from ../../libpolybori/include/polybori/ring/CCuddInterface.h:25, from ../../libpolybori/include/polybori/ring/CCuddCore.h:22, from ../../libpolybori/include/polybori/BoolePolyRing.h:24, from ../../groebner/include/polybori/groebner/FGLMStrategy.h:12, from FGLMStrategy.cc:9: /usr/include/c++/6.1.1/bits/stl_set.h:857:5: note: candidate: template<class _Key, class _Compare, class _Alloc> bool std::operator<(const std::set<_Key, _Compare, _Alloc>&, const std::set<_Key, _Compare, _Alloc>&) operator<(const set<_Key, _Compare, _Alloc>& __x, ^~~~~~~~ /usr/include/c++/6.1.1/bits/stl_set.h:857:5: note: template argument deduction/substitution failed: In file included from /usr/include/c++/6.1.1/string:48:0, from /usr/include/c++/6.1.1/bits/locale_classes.h:40, from /usr/include/c++/6.1.1/bits/ios_base.h:41, from /usr/include/c++/6.1.1/ios:42, from /usr/include/c++/6.1.1/ostream:38, from /usr/include/c++/6.1.1/iostream:39, from ../../libpolybori/include/polybori/pbori_defs.h:24, from ../../libpolybori/include/polybori/BoolePolyRing.h:21, from ../../groebner/include/polybori/groebner/FGLMStrategy.h:12, from FGLMStrategy.cc:9: /usr/include/c++/6.1.1/bits/stl_function.h:387:20: note: 'const polybori::BooleExponent' is not derived from 'const std::set<_Key, _Compare, _Alloc>' { return __x < __y; } ~~~~^~~~~ In file included from /usr/include/c++/6.1.1/set:62:0, from ../../libpolybori/include/polybori/common/traits.h:19, from ../../libpolybori/include/polybori/routines/pbori_func.h:22, from ../../libpolybori/include/polybori/ring/CCuddInterface.h:25, from ../../libpolybori/include/polybori/ring/CCuddCore.h:22, from ../../libpolybori/include/polybori/BoolePolyRing.h:24, from ../../groebner/include/polybori/groebner/FGLMStrategy.h:12, from FGLMStrategy.cc:9: /usr/include/c++/6.1.1/bits/stl_multiset.h:840:5: note: candidate: template<class _Key, class _Compare, class _Alloc> bool std::operator<(const std::multiset<_Key, _Compare, _Alloc>&, const std::multiset<_Key, _Compare, _Alloc>&) operator<(const multiset<_Key, _Compare, _Alloc>& __x, ^~~~~~~~ /usr/include/c++/6.1.1/bits/stl_multiset.h:840:5: note: template argument deduction/substitution failed: In file included from /usr/include/c++/6.1.1/string:48:0, from /usr/include/c++/6.1.1/bits/locale_classes.h:40, from /usr/include/c++/6.1.1/bits/ios_base.h:41, from /usr/include/c++/6.1.1/ios:42, from /usr/include/c++/6.1.1/ostream:38, from /usr/include/c++/6.1.1/iostream:39, from ../../libpolybori/include/polybori/pbori_defs.h:24, from ../../libpolybori/include/polybori/BoolePolyRing.h:21, from ../../groebner/include/polybori/groebner/FGLMStrategy.h:12, from FGLMStrategy.cc:9: /usr/include/c++/6.1.1/bits/stl_function.h:387:20: note: 'const polybori::BooleExponent' is not derived from 'const std::multiset<_Key, _Compare, _Alloc>' { return __x < __y; } ~~~~^~~~~ In file included from /usr/include/c++/6.1.1/vector:64:0, from ../../libpolybori/include/polybori/common/traits.h:20, from ../../libpolybori/include/polybori/routines/pbori_func.h:22, from ../../libpolybori/include/polybori/ring/CCuddInterface.h:25, from ../../libpolybori/include/polybori/ring/CCuddCore.h:22, from ../../libpolybori/include/polybori/BoolePolyRing.h:24, from ../../groebner/include/polybori/groebner/FGLMStrategy.h:12, from FGLMStrategy.cc:9: /usr/include/c++/6.1.1/bits/stl_vector.h:1526:5: note: candidate: template<class _Tp, class _Alloc> bool std::operator<(const std::vector<_Tp, _Alloc>&, const std::vector<_Tp, _Alloc>&) operator<(const vector<_Tp, _Alloc>& __x, const vector<_Tp, _Alloc>& __y) ^~~~~~~~ /usr/include/c++/6.1.1/bits/stl_vector.h:1526:5: note: template argument deduction/substitution failed: In file included from /usr/include/c++/6.1.1/string:48:0, from /usr/include/c++/6.1.1/bits/locale_classes.h:40, from /usr/include/c++/6.1.1/bits/ios_base.h:41, from /usr/include/c++/6.1.1/ios:42, from /usr/include/c++/6.1.1/ostream:38, from /usr/include/c++/6.1.1/iostream:39, from ../../libpolybori/include/polybori/pbori_defs.h:24, from ../../libpolybori/include/polybori/BoolePolyRing.h:21, from ../../groebner/include/polybori/groebner/FGLMStrategy.h:12, from FGLMStrategy.cc:9: /usr/include/c++/6.1.1/bits/stl_function.h:387:20: note: 'const polybori::BooleExponent' is not derived from 'const std::vector<_Tp, _Alloc>' { return __x < __y; } ~~~~^~~~~ In file included from /usr/include/c++/6.1.1/map:61:0, from ../../libpolybori/include/polybori/routines/pbori_func.h:38, from ../../libpolybori/include/polybori/ring/CCuddInterface.h:25, from ../../libpolybori/include/polybori/ring/CCuddCore.h:22, from ../../libpolybori/include/polybori/BoolePolyRing.h:24, from ../../groebner/include/polybori/groebner/FGLMStrategy.h:12, from FGLMStrategy.cc:9: /usr/include/c++/6.1.1/bits/stl_map.h:1324:5: note: candidate: template<class _Key, class _Tp, class _Compare, class _Alloc> bool std::operator<(const std::map<_Key, _Tp, _Compare, _Alloc>&, const std::map<_Key, _Tp, _Compare, _Alloc>&) operator<(const map<_Key, _Tp, _Compare, _Alloc>& __x, ^~~~~~~~ /usr/include/c++/6.1.1/bits/stl_map.h:1324:5: note: template argument deduction/substitution failed: In file included from /usr/include/c++/6.1.1/string:48:0, from /usr/include/c++/6.1.1/bits/locale_classes.h:40, from /usr/include/c++/6.1.1/bits/ios_base.h:41, from /usr/include/c++/6.1.1/ios:42, from /usr/include/c++/6.1.1/ostream:38, from /usr/include/c++/6.1.1/iostream:39, from ../../libpolybori/include/polybori/pbori_defs.h:24, from ../../libpolybori/include/polybori/BoolePolyRing.h:21, from ../../groebner/include/polybori/groebner/FGLMStrategy.h:12, from FGLMStrategy.cc:9: /usr/include/c++/6.1.1/bits/stl_function.h:387:20: note: 'const polybori::BooleExponent' is not derived from 'const std::map<_Key, _Tp, _Compare, _Alloc>' { return __x < __y; } ~~~~^~~~~ In file included from /usr/include/c++/6.1.1/map:62:0, from ../../libpolybori/include/polybori/routines/pbori_func.h:38, from ../../libpolybori/include/polybori/ring/CCuddInterface.h:25, from ../../libpolybori/include/polybori/ring/CCuddCore.h:22, from ../../libpolybori/include/polybori/BoolePolyRing.h:24, from ../../groebner/include/polybori/groebner/FGLMStrategy.h:12, from FGLMStrategy.cc:9: /usr/include/c++/6.1.1/bits/stl_multimap.h:989:5: note: candidate: template<class _Key, class _Tp, class _Compare, class _Alloc> bool std::operator<(const std::multimap<_Key, _Tp, _Compare, _Alloc>&, const std::multimap<_Key, _Tp, _Compare, _Alloc>&) operator<(const multimap<_Key, _Tp, _Compare, _Alloc>& __x, ^~~~~~~~ /usr/include/c++/6.1.1/bits/stl_multimap.h:989:5: note: template argument deduction/substitution failed: In file included from /usr/include/c++/6.1.1/string:48:0, from /usr/include/c++/6.1.1/bits/locale_classes.h:40, from /usr/include/c++/6.1.1/bits/ios_base.h:41, from /usr/include/c++/6.1.1/ios:42, from /usr/include/c++/6.1.1/ostream:38, from /usr/include/c++/6.1.1/iostream:39, from ../../libpolybori/include/polybori/pbori_defs.h:24, from ../../libpolybori/include/polybori/BoolePolyRing.h:21, from ../../groebner/include/polybori/groebner/FGLMStrategy.h:12, from FGLMStrategy.cc:9: /usr/include/c++/6.1.1/bits/stl_function.h:387:20: note: 'const polybori::BooleExponent' is not derived from 'const std::multimap<_Key, _Tp, _Compare, _Alloc>' { return __x < __y; } ~~~~^~~~~ In file included from /usr/include/c++/6.1.1/list:63:0, from ../../libpolybori/include/polybori/BoolePolyRing.h:29, from ../../groebner/include/polybori/groebner/FGLMStrategy.h:12, from FGLMStrategy.cc:9: /usr/include/c++/6.1.1/bits/stl_list.h:1887:5: note: candidate: template<class _Tp, class _Alloc> bool std::operator<(const std::__cxx11::list<_Tp, _Alloc>&, const std::__cxx11::list<_Tp, _Alloc>&) operator<(const list<_Tp, _Alloc>& __x, const list<_Tp, _Alloc>& __y) ^~~~~~~~ /usr/include/c++/6.1.1/bits/stl_list.h:1887:5: note: template argument deduction/substitution failed: In file included from /usr/include/c++/6.1.1/string:48:0, from /usr/include/c++/6.1.1/bits/locale_classes.h:40, from /usr/include/c++/6.1.1/bits/ios_base.h:41, from /usr/include/c++/6.1.1/ios:42, from /usr/include/c++/6.1.1/ostream:38, from /usr/include/c++/6.1.1/iostream:39, from ../../libpolybori/include/polybori/pbori_defs.h:24, from ../../libpolybori/include/polybori/BoolePolyRing.h:21, from ../../groebner/include/polybori/groebner/FGLMStrategy.h:12, from FGLMStrategy.cc:9: /usr/include/c++/6.1.1/bits/stl_function.h:387:20: note: 'const polybori::BooleExponent' is not derived from 'const std::__cxx11::list<_Tp, _Alloc>' { return __x < __y; } ~~~~^~~~~ In file included from /usr/include/c++/6.1.1/deque:64:0, from /home/seyi/sage_source_tested/sage-7.1/local/include/boost/detail/container_fwd.hpp:91, from /home/seyi/sage_source_tested/sage-7.1/local/include/boost/functional/hash/extensions.hpp:22, from /home/seyi/sage_source_tested/sage-7.1/local/include/boost/functional/hash/hash.hpp:558, from /home/seyi/sage_source_tested/sage-7.1/local/include/boost/functional/hash.hpp:6, from ../../libpolybori/include/polybori/routines/pbori_routines_hash.h:19, from ../../libpolybori/include/polybori/diagram/CCuddDDFacade.h:50, from ../../libpolybori/include/polybori/BooleSet.h:25, from ../../libpolybori/include/polybori/polybori.h:19, from ../../groebner/include/polybori/groebner/groebner_defs.h:10, from ../../groebner/include/polybori/groebner/PairStatusSet.h:20, from ../../groebner/include/polybori/groebner/groebner_alg.h:14, from ../../groebner/include/polybori/groebner/FGLMStrategy.h:13, from FGLMStrategy.cc:9: /usr/include/c++/6.1.1/bits/stl_deque.h:291:5: note: candidate: template<class _Tp, class _Ref, class _Ptr> bool std::operator<(const std::_Deque_iterator<_Tp, _Ref, _Ptr>&, const std::_Deque_iterator<_Tp, _Ref, _Ptr>&) operator<(const _Deque_iterator<_Tp, _Ref, _Ptr>& __x, ^~~~~~~~ /usr/include/c++/6.1.1/bits/stl_deque.h:291:5: note: template argument deduction/substitution failed: In file included from /usr/include/c++/6.1.1/string:48:0, from /usr/include/c++/6.1.1/bits/locale_classes.h:40, from /usr/include/c++/6.1.1/bits/ios_base.h:41, from /usr/include/c++/6.1.1/ios:42, from /usr/include/c++/6.1.1/ostream:38, from /usr/include/c++/6.1.1/iostream:39, from ../../libpolybori/include/polybori/pbori_defs.h:24, from ../../libpolybori/include/polybori/BoolePolyRing.h:21, from ../../groebner/include/polybori/groebner/FGLMStrategy.h:12, from FGLMStrategy.cc:9: /usr/include/c++/6.1.1/bits/stl_function.h:387:20: note: 'const polybori::BooleExponent' is not derived from 'const std::_Deque_iterator<_Tp, _Ref, _Ptr>' { return __x < __y; } ~~~~^~~~~ In file included from /usr/include/c++/6.1.1/deque:64:0, from /home/seyi/sage_source_tested/sage-7.1/local/include/boost/detail/container_fwd.hpp:91, from /home/seyi/sage_source_tested/sage-7.1/local/include/boost/functional/hash/extensions.hpp:22, from /home/seyi/sage_source_tested/sage-7.1/local/include/boost/functional/hash/hash.hpp:558, from /home/seyi/sage_source_tested/sage-7.1/local/include/boost/functional/hash.hpp:6, from ../../libpolybori/include/polybori/routines/pbori_routines_hash.h:19, from ../../libpolybori/include/polybori/diagram/CCuddDDFacade.h:50, from ../../libpolybori/include/polybori/BooleSet.h:25, from ../../libpolybori/include/polybori/polybori.h:19, from ../../groebner/include/polybori/groebner/groebner_defs.h:10, from ../../groebner/include/polybori/groebner/PairStatusSet.h:20, from ../../groebner/include/polybori/groebner/groebner_alg.h:14, from ../../groebner/include/polybori/groebner/FGLMStrategy.h:13, from FGLMStrategy.cc:9: /usr/include/c++/6.1.1/bits/stl_deque.h:299:5: note: candidate: template<class _Tp, class _RefL, class _PtrL, class _RefR, class _PtrR> bool std::operator<(const std::_Deque_iterator<_Tp, _Ref, _Ptr>&, const std::_Deque_iterator<_Tp, _RefR, _PtrR>&) operator<(const _Deque_iterator<_Tp, _RefL, _PtrL>& __x, ^~~~~~~~ /usr/include/c++/6.1.1/bits/stl_deque.h:299:5: note: template argument deduction/substitution failed: In file included from /usr/include/c++/6.1.1/string:48:0, from /usr/include/c++/6.1.1/bits/locale_classes.h:40, from /usr/include/c++/6.1.1/bits/ios_base.h:41, from /usr/include/c++/6.1.1/ios:42, from /usr/include/c++/6.1.1/ostream:38, from /usr/include/c++/6.1.1/iostream:39, from ../../libpolybori/include/polybori/pbori_defs.h:24, from ../../libpolybori/include/polybori/BoolePolyRing.h:21, from ../../groebner/include/polybori/groebner/FGLMStrategy.h:12, from FGLMStrategy.cc:9: /usr/include/c++/6.1.1/bits/stl_function.h:387:20: note: 'const polybori::BooleExponent' is not derived from 'const std::_Deque_iterator<_Tp, _Ref, _Ptr>' { return __x < __y; } ~~~~^~~~~ In file included from /usr/include/c++/6.1.1/deque:64:0, from /home/seyi/sage_source_tested/sage-7.1/local/include/boost/detail/container_fwd.hpp:91, from /home/seyi/sage_source_tested/sage-7.1/local/include/boost/functional/hash/extensions.hpp:22, from /home/seyi/sage_source_tested/sage-7.1/local/include/boost/functional/hash/hash.hpp:558, from /home/seyi/sage_source_tested/sage-7.1/local/include/boost/functional/hash.hpp:6, from ../../libpolybori/include/polybori/routines/pbori_routines_hash.h:19, from ../../libpolybori/include/polybori/diagram/CCuddDDFacade.h:50, from ../../libpolybori/include/polybori/BooleSet.h:25, from ../../libpolybori/include/polybori/polybori.h:19, from ../../groebner/include/polybori/groebner/groebner_defs.h:10, from ../../groebner/include/polybori/groebner/PairStatusSet.h:20, from ../../groebner/include/polybori/groebner/groebner_alg.h:14, from ../../groebner/include/polybori/groebner/FGLMStrategy.h:13, from FGLMStrategy.cc:9: /usr/include/c++/6.1.1/bits/stl_deque.h:2238:5: note: candidate: template<class _Tp, class _Alloc> bool std::operator<(const std::deque<_Tp, _Alloc>&, const std::deque<_Tp, _Alloc>&) operator<(const deque<_Tp, _Alloc>& __x, ^~~~~~~~ /usr/include/c++/6.1.1/bits/stl_deque.h:2238:5: note: template argument deduction/substitution failed: In file included from /usr/include/c++/6.1.1/string:48:0, from /usr/include/c++/6.1.1/bits/locale_classes.h:40, from /usr/include/c++/6.1.1/bits/ios_base.h:41, from /usr/include/c++/6.1.1/ios:42, from /usr/include/c++/6.1.1/ostream:38, from /usr/include/c++/6.1.1/iostream:39, from ../../libpolybori/include/polybori/pbori_defs.h:24, from ../../libpolybori/include/polybori/BoolePolyRing.h:21, from ../../groebner/include/polybori/groebner/FGLMStrategy.h:12, from FGLMStrategy.cc:9: /usr/include/c++/6.1.1/bits/stl_function.h:387:20: note: 'const polybori::BooleExponent' is not derived from 'const std::deque<_Tp, _Alloc>' { return __x < __y; } ~~~~^~~~~ In file included from /usr/include/c++/6.1.1/stack:61:0, from ../../libpolybori/include/polybori/iterators/CTermStack.h:20, from ../../libpolybori/include/polybori/iterators/CStackSelector.h:26, from ../../libpolybori/include/polybori/iterators/CGenericIter.h:23, from ../../libpolybori/include/polybori/BoolePolynomial.h:39, from ../../libpolybori/include/polybori/polybori.h:22, from ../../groebner/include/polybori/groebner/groebner_defs.h:10, from ../../groebner/include/polybori/groebner/PairStatusSet.h:20, from ../../groebner/include/polybori/groebner/groebner_alg.h:14, from ../../groebner/include/polybori/groebner/FGLMStrategy.h:13, from FGLMStrategy.cc:9: /usr/include/c++/6.1.1/bits/stl_stack.h:293:5: note: candidate: template<class _Tp, class _Seq> bool std::operator<(const std::stack<_Tp, _Seq>&, const std::stack<_Tp, _Seq>&) operator<(const stack<_Tp, _Seq>& __x, const stack<_Tp, _Seq>& __y) ^~~~~~~~ /usr/include/c++/6.1.1/bits/stl_stack.h:293:5: note: template argument deduction/substitution failed: In file included from /usr/include/c++/6.1.1/string:48:0, from /usr/include/c++/6.1.1/bits/locale_classes.h:40, from /usr/include/c++/6.1.1/bits/ios_base.h:41, from /usr/include/c++/6.1.1/ios:42, from /usr/include/c++/6.1.1/ostream:38, from /usr/include/c++/6.1.1/iostream:39, from ../../libpolybori/include/polybori/pbori_defs.h:24, from ../../libpolybori/include/polybori/BoolePolyRing.h:21, from ../../groebner/include/polybori/groebner/FGLMStrategy.h:12, from FGLMStrategy.cc:9: /usr/include/c++/6.1.1/bits/stl_function.h:387:20: note: 'const polybori::BooleExponent' is not derived from 'const std::stack<_Tp, _Seq>' { return __x < __y; } ~~~~^~~~~ In file included from /usr/include/c++/6.1.1/queue:64:0, from ../../groebner/include/polybori/groebner/pairs.h:27, from ../../groebner/include/polybori/groebner/PairManager.h:24, from ../../groebner/include/polybori/groebner/groebner_alg.h:15, from ../../groebner/include/polybori/groebner/FGLMStrategy.h:13, from FGLMStrategy.cc:9: /usr/include/c++/6.1.1/bits/stl_queue.h:316:5: note: candidate: template<class _Tp, class _Seq> bool std::operator<(const std::queue<_Tp, _Seq>&, const std::queue<_Tp, _Seq>&) operator<(const queue<_Tp, _Seq>& __x, const queue<_Tp, _Seq>& __y) ^~~~~~~~ /usr/include/c++/6.1.1/bits/stl_queue.h:316:5: note: template argument deduction/substitution failed: In file included from /usr/include/c++/6.1.1/string:48:0, from /usr/include/c++/6.1.1/bits/locale_classes.h:40, from /usr/include/c++/6.1.1/bits/ios_base.h:41, from /usr/include/c++/6.1.1/ios:42, from /usr/include/c++/6.1.1/ostream:38, from /usr/include/c++/6.1.1/iostream:39, from ../../libpolybori/include/polybori/pbori_defs.h:24, from ../../libpolybori/include/polybori/BoolePolyRing.h:21, from ../../groebner/include/polybori/groebner/FGLMStrategy.h:12, from FGLMStrategy.cc:9: /usr/include/c++/6.1.1/bits/stl_function.h:387:20: note: 'const polybori::BooleExponent' is not derived from 'const std::queue<_Tp, _Seq>' { return __x < __y; } ~~~~^~~~~ In file included from ../../libpolybori/include/polybori/polybori.h:23:0, from ../../groebner/include/polybori/groebner/groebner_defs.h:10, from ../../groebner/include/polybori/groebner/PairStatusSet.h:20, from ../../groebner/include/polybori/groebner/groebner_alg.h:14, from ../../groebner/include/polybori/groebner/FGLMStrategy.h:13, from FGLMStrategy.cc:9: ../../libpolybori/include/polybori/BooleMonomial.h:286:1: note: candidate: polybori::CAuxTypes::bool_type polybori::operator<(const polybori::BooleMonomial&, const polybori::BooleMonomial&) operator<(const BooleMonomial& lhs, const BooleMonomial& rhs) { ^~~~~~~~ ../../libpolybori/include/polybori/BooleMonomial.h:286:1: note: no known conversion for argument 1 from 'const polybori::BooleExponent' to 'const polybori::BooleMonomial&' Makefile:542: recipe for target 'libpolybori_groebner_la-FGLMStrategy.lo' failed make[5]: *** [libpolybori_groebner_la-FGLMStrategy.lo] Error 1 make[5]: Leaving directory '/home/seyi/sage_source_tested/sage-7.1/local/var/tmp/sage/build/brial-0.8.4.3/src/groebner/src' Makefile:372: recipe for target 'all-recursive' failed make[4]: *** [all-recursive] Error 1 make[4]: Leaving directory '/home/seyi/sage_source_tested/sage-7.1/local/var/tmp/sage/build/brial-0.8.4.3/src/groebner' Makefile:565: recipe for target 'all-recursive' failed make[3]: *** [all-recursive] Error 1 make[3]: Leaving directory '/home/seyi/sage_source_tested/sage-7.1/local/var/tmp/sage/build/brial-0.8.4.3/src' Error building BRiAl real 0m45.227s user 0m40.433s sys 0m2.083s ************************************************************************ Error installing package brial-0.8.4.3 ************************************************************************ Please email sage-devel (http://groups.google.com/group/sage-devel) explaining the problem and including the relevant part of the log file /home/seyi/sage_source_tested/sage-7.1/logs/pkgs/brial-0.8.4.3.log Describe your computer, operating system, etc. If you want to try to fix the problem yourself, *don't* just cd to /home/seyi/sage_source_tested/sage-7.1/local/var/tmp/sage/build/brial-0.8.4.3 and type 'make' or whatever is appropriate. Instead, the following commands setup all environment variables correctly and load a subshell for you to debug the error: (cd '/home/seyi/sage_source_tested/sage-7.1/local/var/tmp/sage/build/brial-0.8.4.3' && '/home/seyi/sage_source_tested/sage-7.1/sage' --sh) When you are done debugging, you can type "exit" to leave the subshell. ************************************************************************