+ exec + rm -rf /rpmbuild + mkdir -p /rpmbuild + su -c 'rpmbuild -ba /builddir/build/SPECS/cryptominisat.spec --define "debug_package %{nil}" --undefine _annotated_build --define "_missing_doc_files_terminate_build %{nil}" --define "_emacs_sitestartdir /usr/share/emacs/site-lisp/site-start.d" --define "_emacs_sitelispdir /usr/share/emacs/site-lisp" --nocheck ' mockbuild Executing(%prep): /bin/sh -e /var/tmp/rpm-tmp.egBZEH + umask 022 + cd /builddir/build/BUILD + cd /builddir/build/BUILD + rm -rf cryptominisat-2.9.11 + /usr/bin/gzip -dc /builddir/build/SOURCES/2.9.11.tar.gz + /usr/bin/tar -xof - + STATUS=0 + '[' 0 -ne 0 ']' + cd cryptominisat-2.9.11 + /usr/bin/chmod -Rf a+rX,u+w,g-w,o-w . + sed -e 's/2\.6\.0/2.9.11/' -e 's,/home/soos.*cryptominisat,/builddir/build/BUILD/cryptominisat-2.9.11,' -i Doxyfile + autoreconf -fi aclocal: warning: autoconf input should be named 'configure.ac', not 'configure.in' aclocal: warning: couldn't open directory 'm4': No such file or directory libtoolize: putting auxiliary files in '.'. libtoolize: copying file './ltmain.sh' libtoolize: putting macros in AC_CONFIG_MACRO_DIRS, 'm4'. libtoolize: copying file 'm4/libtool.m4' libtoolize: copying file 'm4/ltoptions.m4' libtoolize: copying file 'm4/ltsugar.m4' libtoolize: copying file 'm4/ltversion.m4' libtoolize: copying file 'm4/lt~obsolete.m4' aclocal: warning: autoconf input should be named 'configure.ac', not 'configure.in' automake: warning: autoconf input should be named 'configure.ac', not 'configure.in' configure.in:7: installing './compile' configure.in:7: installing './config.guess' configure.in:7: installing './config.sub' configure.in:139: installing './install-sh' configure.in:139: installing './missing' automake: warning: autoconf input should be named 'configure.ac', not 'configure.in' cmsat/Makefile.am: installing './depcomp' + exit 0 Executing(%build): /bin/sh -e /var/tmp/rpm-tmp.TBLhkd + umask 022 + cd /builddir/build/BUILD + cd cryptominisat-2.9.11 + export 'CPPFLAGS=-DHAVE_MYSQL -DCMSAT_HAVE_MYSQL' + CPPFLAGS='-DHAVE_MYSQL -DCMSAT_HAVE_MYSQL' + export LDFLAGS=-L/usr/lib64/mysql + LDFLAGS=-L/usr/lib64/mysql + export LIBS=-lmysqlclient + LIBS=-lmysqlclient + 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 ' + 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 ' + 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 -I/usr/lib64/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 -I/usr/lib64/gfortran/modules' + export FCFLAGS + LDFLAGS=-L/usr/lib64/mysql + export LDFLAGS + '[' 1 = 1 ']' +++ dirname ./configure ++ find . -name config.guess -o -name config.sub + for i in $(find $(dirname ./configure) -name config.guess -o -name config.sub) ++ basename ./config.guess + '[' -f /usr/lib/rpm/redhat/config.guess ']' + /usr/bin/rm -f ./config.guess ++ basename ./config.guess + /usr/bin/cp -fv /usr/lib/rpm/redhat/config.guess ./config.guess '/usr/lib/rpm/redhat/config.guess' -> './config.guess' + for i in $(find $(dirname ./configure) -name config.guess -o -name config.sub) ++ basename ./config.sub + '[' -f /usr/lib/rpm/redhat/config.sub ']' + /usr/bin/rm -f ./config.sub ++ basename ./config.sub + /usr/bin/cp -fv /usr/lib/rpm/redhat/config.sub ./config.sub '/usr/lib/rpm/redhat/config.sub' -> './config.sub' + '[' 1 = 1 ']' + '[' x '!=' x-specs=/usr/lib/rpm/redhat/redhat-hardened-ld ']' ++ find . -name ltmain.sh + for i in $(find . -name ltmain.sh) + /usr/bin/sed -i.backup -e 's~compiler_flags=$~compiler_flags="-specs=/usr/lib/rpm/redhat/redhat-hardened-ld"~' ./ltmain.sh + ./configure --build=riscv64-redhat-linux-gnu --host=riscv64-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/lib64 --libexecdir=/usr/libexec --localstatedir=/var --sharedstatedir=/var/lib --mandir=/usr/share/man --infodir=/usr/share/info --disable-static checking build system type... riscv64-redhat-linux-gnu checking host system type... riscv64-redhat-linux-gnu checking how to print strings... printf checking for riscv64-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 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 riscv64-redhat-linux-gnu file names to riscv64-redhat-linux-gnu format... func_convert_file_noop checking how to convert riscv64-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 riscv64-redhat-linux-gnu-objdump... no checking for objdump... objdump checking how to recognize dependent libraries... pass_all checking for riscv64-redhat-linux-gnu-dlltool... no checking for dlltool... no checking how to associate runtime and link libraries... printf %s\n checking for riscv64-redhat-linux-gnu-ar... no checking for ar... ar checking for archiver @FILE support... @ checking for riscv64-redhat-linux-gnu-strip... no checking for strip... strip checking for riscv64-redhat-linux-gnu-ranlib... no checking for ranlib... ranlib checking for gawk... gawk 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 riscv64-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 riscv64-redhat-linux-gnu-g++... no checking for riscv64-redhat-linux-gnu-c++... no checking for riscv64-redhat-linux-gnu-gpp... no checking for riscv64-redhat-linux-gnu-aCC... no checking for riscv64-redhat-linux-gnu-CC... no checking for riscv64-redhat-linux-gnu-cxx... no checking for riscv64-redhat-linux-gnu-cc++... no checking for riscv64-redhat-linux-gnu-cl.exe... no checking for riscv64-redhat-linux-gnu-FCC... no checking for riscv64-redhat-linux-gnu-KCC... no checking for riscv64-redhat-linux-gnu-RCC... no checking for riscv64-redhat-linux-gnu-xlC_r... no checking for riscv64-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 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 for gcc bug number 47365... no Your gcc version doesn't _seem_ broken checking static linking... no 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 whether make sets $(MAKE)... yes checking whether make supports the include directive... yes (GNU style) checking whether make supports nested variables... yes checking dependency style of gcc... none checking dependency style of g++... none checking iostream usability... yes checking iostream presence... yes checking for iostream... yes checking size of int... 4 checking size of long... 8 checking size of size_t... 8 checking for g++ option to support OpenMP... -fopenmp checking for gzread in -lz... yes checking that generated files are newer than configure... done configure: creating ./config.status config.status: creating Makefile config.status: creating cmsat/Makefile config.status: creating man/Makefile config.status: creating config.h config.status: executing libtool commands config.status: executing depfiles 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' -i libtool + make -j4 make all-recursive make[1]: Entering directory '/builddir/build/BUILD/cryptominisat-2.9.11' Making all in cmsat make[2]: Entering directory '/builddir/build/BUILD/cryptominisat-2.9.11/cmsat' g++ -DHAVE_CONFIG_H -I. -I.. -DHAVE_MYSQL -DCMSAT_HAVE_MYSQL -Wall -I./../ -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 -c -o Main.o Main.cpp /bin/sh ../libtool --tag=CXX --mode=compile g++ -DHAVE_CONFIG_H -I. -I.. -DHAVE_MYSQL -DCMSAT_HAVE_MYSQL -Wall -I./../ -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 -c -o ClauseCleaner.lo ClauseCleaner.cpp /bin/sh ../libtool --tag=CXX --mode=compile g++ -DHAVE_CONFIG_H -I. -I.. -DHAVE_MYSQL -DCMSAT_HAVE_MYSQL -Wall -I./../ -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 -c -o FailedLitSearcher.lo FailedLitSearcher.cpp /bin/sh ../libtool --tag=CXX --mode=compile g++ -DHAVE_CONFIG_H -I. -I.. -DHAVE_MYSQL -DCMSAT_HAVE_MYSQL -Wall -I./../ -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 -c -o VarReplacer.lo VarReplacer.cpp libtool: compile: g++ -DHAVE_CONFIG_H -I. -I.. -DHAVE_MYSQL -DCMSAT_HAVE_MYSQL -Wall -I./../ -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 -c VarReplacer.cpp -fPIC -DPIC -o .libs/VarReplacer.o libtool: compile: g++ -DHAVE_CONFIG_H -I. -I.. -DHAVE_MYSQL -DCMSAT_HAVE_MYSQL -Wall -I./../ -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 -c FailedLitSearcher.cpp -fPIC -DPIC -o .libs/FailedLitSearcher.o libtool: compile: g++ -DHAVE_CONFIG_H -I. -I.. -DHAVE_MYSQL -DCMSAT_HAVE_MYSQL -Wall -I./../ -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 -c ClauseCleaner.cpp -fPIC -DPIC -o .libs/ClauseCleaner.o In file included from Main.cpp:64:0: ../cmsat/DimacsParser.h:64:59: warning: dynamic exception specifications are deprecated in C++11 [-Wdeprecated] int32_t parseInt(StreamBuffer& in, uint32_t& len) throw (DimacsParseError); ^~~~~ ../cmsat/DimacsParser.h:65:44: warning: dynamic exception specifications are deprecated in C++11 [-Wdeprecated] float parseFloat(StreamBuffer& in) throw (DimacsParseError); ^~~~~ ../cmsat/DimacsParser.h:67:59: warning: dynamic exception specifications are deprecated in C++11 [-Wdeprecated] void readClause(StreamBuffer& in, vec& lits) throw (DimacsParseError); ^~~~~ ../cmsat/DimacsParser.h:69:47: warning: dynamic exception specifications are deprecated in C++11 [-Wdeprecated] void readFullClause(StreamBuffer& in) throw (DimacsParseError); ^~~~~ ../cmsat/DimacsParser.h:72:44: warning: dynamic exception specifications are deprecated in C++11 [-Wdeprecated] void printHeader(StreamBuffer& in) throw (DimacsParseError); ^~~~~ ../cmsat/DimacsParser.h:73:69: warning: dynamic exception specifications are deprecated in C++11 [-Wdeprecated] void parseComments(StreamBuffer& in, const std::string str) throw (DimacsParseError); ^~~~~ In file included from ../cmsat/PropBy.h:33:0, from ../cmsat/Solver.h:33, from ../cmsat/VarReplacer.h:29, from VarReplacer.cpp:22: ../cmsat/ClauseAllocator.h:83:68: warning: dynamic exception specifications are deprecated in C++11 [-Wdeprecated] void consolidate(Solver* solver, const bool force = false) throw (std::bad_alloc); ^~~~~ In file included from ../cmsat/PropBy.h:33:0, from ../cmsat/Solver.h:33, from ../cmsat/ClauseCleaner.h:26, from ClauseCleaner.cpp:22: ../cmsat/ClauseAllocator.h:83:68: warning: dynamic exception specifications are deprecated in C++11 [-Wdeprecated] void consolidate(Solver* solver, const bool force = false) throw (std::bad_alloc); ^~~~~ ../cmsat/ClauseAllocator.h:122:48: warning: dynamic exception specifications are deprecated in C++11 [-Wdeprecated] void* allocEnough(const uint32_t size) throw (std::bad_alloc); ^~~~~ ../cmsat/ClauseAllocator.h:122:48: warning: dynamic exception specifications are deprecated in C++11 [-Wdeprecated] void* allocEnough(const uint32_t size) throw (std::bad_alloc); ^~~~~ In file included from ../cmsat/PropBy.h:33:0, from ../cmsat/Solver.h:33, from ../cmsat/Main.h:31, from Main.cpp:70: ../cmsat/ClauseAllocator.h:83:68: warning: dynamic exception specifications are deprecated in C++11 [-Wdeprecated] void consolidate(Solver* solver, const bool force = false) throw (std::bad_alloc); ^~~~~ ../cmsat/ClauseAllocator.h:122:48: warning: dynamic exception specifications are deprecated in C++11 [-Wdeprecated] void* allocEnough(const uint32_t size) throw (std::bad_alloc); ^~~~~ In file included from ../cmsat/VarReplacer.h:29:0, from VarReplacer.cpp:22: ../cmsat/Solver.h:139:42: warning: dynamic exception specifications are deprecated in C++11 [-Wdeprecated] Var newVar (bool dvar = true) throw (std::out_of_range); // Add a new variable with parameters specifying variable mode. ^~~~~ ../cmsat/Solver.h:145:54: warning: dynamic exception specifications are deprecated in C++11 [-Wdeprecated] bool addXorClause (T& ps, bool xorEqualFalse) throw (std::out_of_range); // Add a xor-clause to the solver. NOTE! 'ps' may be shrunk by this method! ^~~~~ In file included from ../cmsat/PropBy.h:33:0, from ../cmsat/Solver.h:33, from FailedLitSearcher.cpp:28: ../cmsat/ClauseAllocator.h:83:68: warning: dynamic exception specifications are deprecated in C++11 [-Wdeprecated] void consolidate(Solver* solver, const bool force = false) throw (std::bad_alloc); ^~~~~ In file included from ../cmsat/ClauseCleaner.h:26:0, from ClauseCleaner.cpp:22: ../cmsat/Solver.h:139:42: warning: dynamic exception specifications are deprecated in C++11 [-Wdeprecated] Var newVar (bool dvar = true) throw (std::out_of_range); // Add a new variable with parameters specifying variable mode. ^~~~~ ../cmsat/Solver.h:145:54: warning: dynamic exception specifications are deprecated in C++11 [-Wdeprecated] bool addXorClause (T& ps, bool xorEqualFalse) throw (std::out_of_range); // Add a xor-clause to the solver. NOTE! 'ps' may be shrunk by this method! ^~~~~ ../cmsat/ClauseAllocator.h:122:48: warning: dynamic exception specifications are deprecated in C++11 [-Wdeprecated] void* allocEnough(const uint32_t size) throw (std::bad_alloc); ^~~~~ In file included from ../cmsat/VarReplacer.h:29:0, from VarReplacer.cpp:22: ../cmsat/Solver.h:469:51: warning: dynamic exception specifications are deprecated in C++11 [-Wdeprecated] template bool addClauseHelper(T& ps) throw (std::out_of_range); ^~~~~ ../cmsat/Solver.h:473:86: warning: dynamic exception specifications are deprecated in C++11 [-Wdeprecated] XorClause* addXorClauseInt(T& ps, bool xorEqualFalse, const bool learnt = false) throw (std::out_of_range); ^~~~~ In file included from ../cmsat/ClauseCleaner.h:26:0, from ClauseCleaner.cpp:22: ../cmsat/Solver.h:469:51: warning: dynamic exception specifications are deprecated in C++11 [-Wdeprecated] template bool addClauseHelper(T& ps) throw (std::out_of_range); ^~~~~ ../cmsat/Solver.h:473:86: warning: dynamic exception specifications are deprecated in C++11 [-Wdeprecated] XorClause* addXorClauseInt(T& ps, bool xorEqualFalse, const bool learnt = false) throw (std::out_of_range); ^~~~~ In file included from ../cmsat/Main.h:31:0, from Main.cpp:70: ../cmsat/Solver.h:139:42: warning: dynamic exception specifications are deprecated in C++11 [-Wdeprecated] Var newVar (bool dvar = true) throw (std::out_of_range); // Add a new variable with parameters specifying variable mode. ^~~~~ ../cmsat/Solver.h:145:54: warning: dynamic exception specifications are deprecated in C++11 [-Wdeprecated] bool addXorClause (T& ps, bool xorEqualFalse) throw (std::out_of_range); // Add a xor-clause to the solver. NOTE! 'ps' may be shrunk by this method! ^~~~~ In file included from ../cmsat/Main.h:31:0, from Main.cpp:70: ../cmsat/Solver.h:469:51: warning: dynamic exception specifications are deprecated in C++11 [-Wdeprecated] template bool addClauseHelper(T& ps) throw (std::out_of_range); ^~~~~ ../cmsat/Solver.h:473:86: warning: dynamic exception specifications are deprecated in C++11 [-Wdeprecated] XorClause* addXorClauseInt(T& ps, bool xorEqualFalse, const bool learnt = false) throw (std::out_of_range); ^~~~~ In file included from FailedLitSearcher.cpp:28:0: ../cmsat/Solver.h:139:42: warning: dynamic exception specifications are deprecated in C++11 [-Wdeprecated] Var newVar (bool dvar = true) throw (std::out_of_range); // Add a new variable with parameters specifying variable mode. ^~~~~ ../cmsat/Solver.h:145:54: warning: dynamic exception specifications are deprecated in C++11 [-Wdeprecated] bool addXorClause (T& ps, bool xorEqualFalse) throw (std::out_of_range); // Add a xor-clause to the solver. NOTE! 'ps' may be shrunk by this method! ^~~~~ Main.cpp: In member function 'void CMSat::Main::printResultFunc(const CMSat::Solver&, CMSat::lbool, FILE*, bool)': Main.cpp:325:17: warning: this 'for' clause does not guard... [-Wmisleading-indentation] for (Var var = 0; var != S.nVars(); var++) ^~~ Main.cpp:328:21: note: ...this statement, but the latter is misleadingly indented as if it were guarded by the 'for' fprintf(res, "0\n"); ^~~~~~~ Main.cpp:348:13: warning: this 'for' clause does not guard... [-Wmisleading-indentation] for (Var var = 0; var != S.nVars(); var++) ^~~ Main.cpp:351:17: note: ...this statement, but the latter is misleadingly indented as if it were guarded by the 'for' toPrint << "0" << std::endl; ^~~~~~~ In file included from FailedLitSearcher.cpp:28:0: ../cmsat/Solver.h:469:51: warning: dynamic exception specifications are deprecated in C++11 [-Wdeprecated] template bool addClauseHelper(T& ps) throw (std::out_of_range); ^~~~~ ../cmsat/Solver.h:473:86: warning: dynamic exception specifications are deprecated in C++11 [-Wdeprecated] XorClause* addXorClauseInt(T& ps, bool xorEqualFalse, const bool learnt = false) throw (std::out_of_range); ^~~~~ ClauseCleaner.cpp: In member function 'bool CMSat::ClauseCleaner::satisfied(const CMSat::Clause&) const': ClauseCleaner.cpp:250:5: warning: this 'for' clause does not guard... [-Wmisleading-indentation] for (uint32_t i = 0; i != c.size(); i++) ^~~ ClauseCleaner.cpp:253:9: note: ...this statement, but the latter is misleadingly indented as if it were guarded by the 'for' return false; ^~~~~~ /bin/sh ../libtool --tag=CXX --mode=compile g++ -DHAVE_CONFIG_H -I. -I.. -DHAVE_MYSQL -DCMSAT_HAVE_MYSQL -Wall -I./../ -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 -c -o MatrixFinder.lo MatrixFinder.cpp libtool: compile: g++ -DHAVE_CONFIG_H -I. -I.. -DHAVE_MYSQL -DCMSAT_HAVE_MYSQL -Wall -I./../ -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 -c MatrixFinder.cpp -fPIC -DPIC -o .libs/MatrixFinder.o In file included from ../cmsat/PropBy.h:33:0, from ../cmsat/Solver.h:33, from ../cmsat/MatrixFinder.h:30, from MatrixFinder.cpp:22: ../cmsat/ClauseAllocator.h:83:68: warning: dynamic exception specifications are deprecated in C++11 [-Wdeprecated] void consolidate(Solver* solver, const bool force = false) throw (std::bad_alloc); ^~~~~ ../cmsat/ClauseAllocator.h:122:48: warning: dynamic exception specifications are deprecated in C++11 [-Wdeprecated] void* allocEnough(const uint32_t size) throw (std::bad_alloc); ^~~~~ /bin/sh ../libtool --tag=CXX --mode=compile g++ -DHAVE_CONFIG_H -I. -I.. -DHAVE_MYSQL -DCMSAT_HAVE_MYSQL -Wall -I./../ -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 -c -o Solver.lo Solver.cpp libtool: compile: g++ -DHAVE_CONFIG_H -I. -I.. -DHAVE_MYSQL -DCMSAT_HAVE_MYSQL -Wall -I./../ -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 -c Solver.cpp -fPIC -DPIC -o .libs/Solver.o In file included from ../cmsat/MatrixFinder.h:30:0, from MatrixFinder.cpp:22: ../cmsat/Solver.h:139:42: warning: dynamic exception specifications are deprecated in C++11 [-Wdeprecated] Var newVar (bool dvar = true) throw (std::out_of_range); // Add a new variable with parameters specifying variable mode. ^~~~~ ../cmsat/Solver.h:145:54: warning: dynamic exception specifications are deprecated in C++11 [-Wdeprecated] bool addXorClause (T& ps, bool xorEqualFalse) throw (std::out_of_range); // Add a xor-clause to the solver. NOTE! 'ps' may be shrunk by this method! ^~~~~ In file included from ../cmsat/MatrixFinder.h:30:0, from MatrixFinder.cpp:22: ../cmsat/Solver.h:469:51: warning: dynamic exception specifications are deprecated in C++11 [-Wdeprecated] template bool addClauseHelper(T& ps) throw (std::out_of_range); ^~~~~ ../cmsat/Solver.h:473:86: warning: dynamic exception specifications are deprecated in C++11 [-Wdeprecated] XorClause* addXorClauseInt(T& ps, bool xorEqualFalse, const bool learnt = false) throw (std::out_of_range); ^~~~~ /bin/sh ../libtool --tag=CXX --mode=compile g++ -DHAVE_CONFIG_H -I. -I.. -DHAVE_MYSQL -DCMSAT_HAVE_MYSQL -Wall -I./../ -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 -c -o XorFinder.lo XorFinder.cpp libtool: compile: g++ -DHAVE_CONFIG_H -I. -I.. -DHAVE_MYSQL -DCMSAT_HAVE_MYSQL -Wall -I./../ -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 -c XorFinder.cpp -fPIC -DPIC -o .libs/XorFinder.o /bin/sh ../libtool --tag=CXX --mode=compile g++ -DHAVE_CONFIG_H -I. -I.. -DHAVE_MYSQL -DCMSAT_HAVE_MYSQL -Wall -I./../ -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 -c -o PackedRow.lo PackedRow.cpp libtool: compile: g++ -DHAVE_CONFIG_H -I. -I.. -DHAVE_MYSQL -DCMSAT_HAVE_MYSQL -Wall -I./../ -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 -c PackedRow.cpp -fPIC -DPIC -o .libs/PackedRow.o In file included from ../cmsat/PropBy.h:33:0, from ../cmsat/Solver.h:33, from Solver.cpp:22: ../cmsat/ClauseAllocator.h:83:68: warning: dynamic exception specifications are deprecated in C++11 [-Wdeprecated] void consolidate(Solver* solver, const bool force = false) throw (std::bad_alloc); ^~~~~ ../cmsat/ClauseAllocator.h:122:48: warning: dynamic exception specifications are deprecated in C++11 [-Wdeprecated] void* allocEnough(const uint32_t size) throw (std::bad_alloc); ^~~~~ In file included from Solver.cpp:22:0: ../cmsat/Solver.h:139:42: warning: dynamic exception specifications are deprecated in C++11 [-Wdeprecated] Var newVar (bool dvar = true) throw (std::out_of_range); // Add a new variable with parameters specifying variable mode. ^~~~~ ../cmsat/Solver.h:145:54: warning: dynamic exception specifications are deprecated in C++11 [-Wdeprecated] bool addXorClause (T& ps, bool xorEqualFalse) throw (std::out_of_range); // Add a xor-clause to the solver. NOTE! 'ps' may be shrunk by this method! ^~~~~ In file included from Solver.cpp:22:0: ../cmsat/Solver.h:469:51: warning: dynamic exception specifications are deprecated in C++11 [-Wdeprecated] template bool addClauseHelper(T& ps) throw (std::out_of_range); ^~~~~ ../cmsat/Solver.h:473:86: warning: dynamic exception specifications are deprecated in C++11 [-Wdeprecated] XorClause* addXorClauseInt(T& ps, bool xorEqualFalse, const bool learnt = false) throw (std::out_of_range); ^~~~~ In file included from ../cmsat/PropBy.h:33:0, from ../cmsat/Solver.h:33, from ../cmsat/VarReplacer.h:29, from ../cmsat/XorFinder.h:30, from XorFinder.cpp:22: ../cmsat/ClauseAllocator.h:83:68: warning: dynamic exception specifications are deprecated in C++11 [-Wdeprecated] void consolidate(Solver* solver, const bool force = false) throw (std::bad_alloc); ^~~~~ ../cmsat/ClauseAllocator.h:122:48: warning: dynamic exception specifications are deprecated in C++11 [-Wdeprecated] void* allocEnough(const uint32_t size) throw (std::bad_alloc); ^~~~~ /bin/sh ../libtool --tag=CXX --mode=compile g++ -DHAVE_CONFIG_H -I. -I.. -DHAVE_MYSQL -DCMSAT_HAVE_MYSQL -Wall -I./../ -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 -c -o Gaussian.lo Gaussian.cpp In file included from ../cmsat/VarReplacer.h:29:0, from ../cmsat/XorFinder.h:30, from XorFinder.cpp:22: ../cmsat/Solver.h:139:42: warning: dynamic exception specifications are deprecated in C++11 [-Wdeprecated] Var newVar (bool dvar = true) throw (std::out_of_range); // Add a new variable with parameters specifying variable mode. ^~~~~ ../cmsat/Solver.h:145:54: warning: dynamic exception specifications are deprecated in C++11 [-Wdeprecated] bool addXorClause (T& ps, bool xorEqualFalse) throw (std::out_of_range); // Add a xor-clause to the solver. NOTE! 'ps' may be shrunk by this method! ^~~~~ In file included from ../cmsat/VarReplacer.h:29:0, from ../cmsat/XorFinder.h:30, from XorFinder.cpp:22: ../cmsat/Solver.h:469:51: warning: dynamic exception specifications are deprecated in C++11 [-Wdeprecated] template bool addClauseHelper(T& ps) throw (std::out_of_range); ^~~~~ ../cmsat/Solver.h:473:86: warning: dynamic exception specifications are deprecated in C++11 [-Wdeprecated] XorClause* addXorClauseInt(T& ps, bool xorEqualFalse, const bool learnt = false) throw (std::out_of_range); ^~~~~ Solver.cpp:320:31: warning: dynamic exception specifications are deprecated in C++11 [-Wdeprecated] Var Solver::newVar(bool dvar) throw (std::out_of_range) ^~~~~ Solver.cpp:383:82: warning: dynamic exception specifications are deprecated in C++11 [-Wdeprecated] XorClause* Solver::addXorClauseInt(T& ps, bool xorEqualFalse, const bool learnt) throw (std::out_of_range) ^~~~~ Solver.cpp:455:54: warning: dynamic exception specifications are deprecated in C++11 [-Wdeprecated] bool Solver::addXorClause(T& ps, bool xorEqualFalse) throw (std::out_of_range) ^~~~~ Solver.cpp:574:55: warning: dynamic exception specifications are deprecated in C++11 [-Wdeprecated] template bool Solver::addClauseHelper(T& ps) throw (std::out_of_range) ^~~~~ libtool: compile: g++ -DHAVE_CONFIG_H -I. -I.. -DHAVE_MYSQL -DCMSAT_HAVE_MYSQL -Wall -I./../ -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 -c Gaussian.cpp -fPIC -DPIC -o .libs/Gaussian.o /bin/sh ../libtool --tag=CXX --mode=compile g++ -DHAVE_CONFIG_H -I. -I.. -DHAVE_MYSQL -DCMSAT_HAVE_MYSQL -Wall -I./../ -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 -c -o StateSaver.lo StateSaver.cpp libtool: compile: g++ -DHAVE_CONFIG_H -I. -I.. -DHAVE_MYSQL -DCMSAT_HAVE_MYSQL -Wall -I./../ -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 -c StateSaver.cpp -fPIC -DPIC -o .libs/StateSaver.o In file included from ../cmsat/PropBy.h:33:0, from ../cmsat/Solver.h:33, from ../cmsat/Gaussian.h:32, from Gaussian.cpp:22: ../cmsat/ClauseAllocator.h:83:68: warning: dynamic exception specifications are deprecated in C++11 [-Wdeprecated] void consolidate(Solver* solver, const bool force = false) throw (std::bad_alloc); ^~~~~ ../cmsat/ClauseAllocator.h:122:48: warning: dynamic exception specifications are deprecated in C++11 [-Wdeprecated] void* allocEnough(const uint32_t size) throw (std::bad_alloc); ^~~~~ In file included from ../cmsat/Gaussian.h:32:0, from Gaussian.cpp:22: ../cmsat/Solver.h:139:42: warning: dynamic exception specifications are deprecated in C++11 [-Wdeprecated] Var newVar (bool dvar = true) throw (std::out_of_range); // Add a new variable with parameters specifying variable mode. ^~~~~ ../cmsat/Solver.h:145:54: warning: dynamic exception specifications are deprecated in C++11 [-Wdeprecated] bool addXorClause (T& ps, bool xorEqualFalse) throw (std::out_of_range); // Add a xor-clause to the solver. NOTE! 'ps' may be shrunk by this method! ^~~~~ In file included from ../cmsat/Gaussian.h:32:0, from Gaussian.cpp:22: ../cmsat/Solver.h:469:51: warning: dynamic exception specifications are deprecated in C++11 [-Wdeprecated] template bool addClauseHelper(T& ps) throw (std::out_of_range); ^~~~~ ../cmsat/Solver.h:473:86: warning: dynamic exception specifications are deprecated in C++11 [-Wdeprecated] XorClause* addXorClauseInt(T& ps, bool xorEqualFalse, const bool learnt = false) throw (std::out_of_range); ^~~~~ Gaussian.cpp: In member function 'void CMSat::Gaussian::cancel_until_sublevel(uint32_t)': Gaussian.cpp:756:5: warning: this 'for' clause does not guard... [-Wmisleading-indentation] for (vector::iterator gauss = solver.gauss_matrixes.begin(), end= solver.gauss_matrixes.end(); gauss != end; gauss++) ^~~ Gaussian.cpp:759:9: note: ...this statement, but the latter is misleadingly indented as if it were guarded by the 'for' for (int sublevel = solver.trail.size()-1; sublevel >= (int)until_sublevel; sublevel--) { ^~~ In file included from ../cmsat/PropBy.h:33:0, from ../cmsat/Solver.h:33, from ../cmsat/StateSaver.h:25, from StateSaver.cpp:22: ../cmsat/ClauseAllocator.h:83:68: warning: dynamic exception specifications are deprecated in C++11 [-Wdeprecated] void consolidate(Solver* solver, const bool force = false) throw (std::bad_alloc); ^~~~~ ../cmsat/ClauseAllocator.h:122:48: warning: dynamic exception specifications are deprecated in C++11 [-Wdeprecated] void* allocEnough(const uint32_t size) throw (std::bad_alloc); ^~~~~ /bin/sh ../libtool --tag=CXX --mode=compile g++ -DHAVE_CONFIG_H -I. -I.. -DHAVE_MYSQL -DCMSAT_HAVE_MYSQL -Wall -I./../ -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 -c -o RestartTypeChooser.lo RestartTypeChooser.cpp In file included from ../cmsat/StateSaver.h:25:0, from StateSaver.cpp:22: ../cmsat/Solver.h:139:42: warning: dynamic exception specifications are deprecated in C++11 [-Wdeprecated] Var newVar (bool dvar = true) throw (std::out_of_range); // Add a new variable with parameters specifying variable mode. ^~~~~ ../cmsat/Solver.h:145:54: warning: dynamic exception specifications are deprecated in C++11 [-Wdeprecated] bool addXorClause (T& ps, bool xorEqualFalse) throw (std::out_of_range); // Add a xor-clause to the solver. NOTE! 'ps' may be shrunk by this method! ^~~~~ libtool: compile: g++ -DHAVE_CONFIG_H -I. -I.. -DHAVE_MYSQL -DCMSAT_HAVE_MYSQL -Wall -I./../ -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 -c RestartTypeChooser.cpp -fPIC -DPIC -o .libs/RestartTypeChooser.o In file included from ../cmsat/StateSaver.h:25:0, from StateSaver.cpp:22: ../cmsat/Solver.h:469:51: warning: dynamic exception specifications are deprecated in C++11 [-Wdeprecated] template bool addClauseHelper(T& ps) throw (std::out_of_range); ^~~~~ ../cmsat/Solver.h:473:86: warning: dynamic exception specifications are deprecated in C++11 [-Wdeprecated] XorClause* addXorClauseInt(T& ps, bool xorEqualFalse, const bool learnt = false) throw (std::out_of_range); ^~~~~ /bin/sh ../libtool --tag=CXX --mode=compile g++ -DHAVE_CONFIG_H -I. -I.. -DHAVE_MYSQL -DCMSAT_HAVE_MYSQL -Wall -I./../ -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 -c -o Subsumer.lo Subsumer.cpp libtool: compile: g++ -DHAVE_CONFIG_H -I. -I.. -DHAVE_MYSQL -DCMSAT_HAVE_MYSQL -Wall -I./../ -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 -c Subsumer.cpp -fPIC -DPIC -o .libs/Subsumer.o In file included from ../cmsat/PropBy.h:33:0, from ../cmsat/Solver.h:33, from ../cmsat/RestartTypeChooser.h:25, from RestartTypeChooser.cpp:22: ../cmsat/ClauseAllocator.h:83:68: warning: dynamic exception specifications are deprecated in C++11 [-Wdeprecated] void consolidate(Solver* solver, const bool force = false) throw (std::bad_alloc); ^~~~~ ../cmsat/ClauseAllocator.h:122:48: warning: dynamic exception specifications are deprecated in C++11 [-Wdeprecated] void* allocEnough(const uint32_t size) throw (std::bad_alloc); ^~~~~ In file included from ../cmsat/RestartTypeChooser.h:25:0, from RestartTypeChooser.cpp:22: ../cmsat/Solver.h:139:42: warning: dynamic exception specifications are deprecated in C++11 [-Wdeprecated] Var newVar (bool dvar = true) throw (std::out_of_range); // Add a new variable with parameters specifying variable mode. ^~~~~ ../cmsat/Solver.h:145:54: warning: dynamic exception specifications are deprecated in C++11 [-Wdeprecated] bool addXorClause (T& ps, bool xorEqualFalse) throw (std::out_of_range); // Add a xor-clause to the solver. NOTE! 'ps' may be shrunk by this method! ^~~~~ In file included from ../cmsat/RestartTypeChooser.h:25:0, from RestartTypeChooser.cpp:22: ../cmsat/Solver.h:469:51: warning: dynamic exception specifications are deprecated in C++11 [-Wdeprecated] template bool addClauseHelper(T& ps) throw (std::out_of_range); ^~~~~ ../cmsat/Solver.h:473:86: warning: dynamic exception specifications are deprecated in C++11 [-Wdeprecated] XorClause* addXorClauseInt(T& ps, bool xorEqualFalse, const bool learnt = false) throw (std::out_of_range); ^~~~~ In file included from ../cmsat/PropBy.h:33:0, from ../cmsat/Solver.h:33, from Subsumer.cpp:22: ../cmsat/ClauseAllocator.h:83:68: warning: dynamic exception specifications are deprecated in C++11 [-Wdeprecated] void consolidate(Solver* solver, const bool force = false) throw (std::bad_alloc); ^~~~~ ../cmsat/ClauseAllocator.h:122:48: warning: dynamic exception specifications are deprecated in C++11 [-Wdeprecated] void* allocEnough(const uint32_t size) throw (std::bad_alloc); ^~~~~ /bin/sh ../libtool --tag=CXX --mode=compile g++ -DHAVE_CONFIG_H -I. -I.. -DHAVE_MYSQL -DCMSAT_HAVE_MYSQL -Wall -I./../ -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 -c -o XorSubsumer.lo XorSubsumer.cpp In file included from Subsumer.cpp:22:0: ../cmsat/Solver.h:139:42: warning: dynamic exception specifications are deprecated in C++11 [-Wdeprecated] Var newVar (bool dvar = true) throw (std::out_of_range); // Add a new variable with parameters specifying variable mode. ^~~~~ ../cmsat/Solver.h:145:54: warning: dynamic exception specifications are deprecated in C++11 [-Wdeprecated] bool addXorClause (T& ps, bool xorEqualFalse) throw (std::out_of_range); // Add a xor-clause to the solver. NOTE! 'ps' may be shrunk by this method! ^~~~~ In file included from Subsumer.cpp:22:0: ../cmsat/Solver.h:469:51: warning: dynamic exception specifications are deprecated in C++11 [-Wdeprecated] template bool addClauseHelper(T& ps) throw (std::out_of_range); ^~~~~ ../cmsat/Solver.h:473:86: warning: dynamic exception specifications are deprecated in C++11 [-Wdeprecated] XorClause* addXorClauseInt(T& ps, bool xorEqualFalse, const bool learnt = false) throw (std::out_of_range); ^~~~~ libtool: compile: g++ -DHAVE_CONFIG_H -I. -I.. -DHAVE_MYSQL -DCMSAT_HAVE_MYSQL -Wall -I./../ -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 -c XorSubsumer.cpp -fPIC -DPIC -o .libs/XorSubsumer.o /bin/sh ../libtool --tag=CXX --mode=compile g++ -DHAVE_CONFIG_H -I. -I.. -DHAVE_MYSQL -DCMSAT_HAVE_MYSQL -Wall -I./../ -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 -c -o SolverMisc.lo SolverMisc.cpp libtool: compile: g++ -DHAVE_CONFIG_H -I. -I.. -DHAVE_MYSQL -DCMSAT_HAVE_MYSQL -Wall -I./../ -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 -c SolverMisc.cpp -fPIC -DPIC -o .libs/SolverMisc.o In file included from ../cmsat/PropBy.h:33:0, from ../cmsat/Solver.h:33, from XorSubsumer.cpp:22: ../cmsat/ClauseAllocator.h:83:68: warning: dynamic exception specifications are deprecated in C++11 [-Wdeprecated] void consolidate(Solver* solver, const bool force = false) throw (std::bad_alloc); ^~~~~ ../cmsat/ClauseAllocator.h:122:48: warning: dynamic exception specifications are deprecated in C++11 [-Wdeprecated] void* allocEnough(const uint32_t size) throw (std::bad_alloc); ^~~~~ In file included from XorSubsumer.cpp:22:0: ../cmsat/Solver.h:139:42: warning: dynamic exception specifications are deprecated in C++11 [-Wdeprecated] Var newVar (bool dvar = true) throw (std::out_of_range); // Add a new variable with parameters specifying variable mode. ^~~~~ ../cmsat/Solver.h:145:54: warning: dynamic exception specifications are deprecated in C++11 [-Wdeprecated] bool addXorClause (T& ps, bool xorEqualFalse) throw (std::out_of_range); // Add a xor-clause to the solver. NOTE! 'ps' may be shrunk by this method! ^~~~~ In file included from XorSubsumer.cpp:22:0: ../cmsat/Solver.h:469:51: warning: dynamic exception specifications are deprecated in C++11 [-Wdeprecated] template bool addClauseHelper(T& ps) throw (std::out_of_range); ^~~~~ ../cmsat/Solver.h:473:86: warning: dynamic exception specifications are deprecated in C++11 [-Wdeprecated] XorClause* addXorClauseInt(T& ps, bool xorEqualFalse, const bool learnt = false) throw (std::out_of_range); ^~~~~ In file included from ../cmsat/PropBy.h:33:0, from ../cmsat/Solver.h:33, from SolverMisc.cpp:22: ../cmsat/ClauseAllocator.h:83:68: warning: dynamic exception specifications are deprecated in C++11 [-Wdeprecated] void consolidate(Solver* solver, const bool force = false) throw (std::bad_alloc); ^~~~~ ../cmsat/ClauseAllocator.h:122:48: warning: dynamic exception specifications are deprecated in C++11 [-Wdeprecated] void* allocEnough(const uint32_t size) throw (std::bad_alloc); ^~~~~ In file included from SolverMisc.cpp:22:0: ../cmsat/Solver.h:139:42: warning: dynamic exception specifications are deprecated in C++11 [-Wdeprecated] Var newVar (bool dvar = true) throw (std::out_of_range); // Add a new variable with parameters specifying variable mode. ^~~~~ ../cmsat/Solver.h:145:54: warning: dynamic exception specifications are deprecated in C++11 [-Wdeprecated] bool addXorClause (T& ps, bool xorEqualFalse) throw (std::out_of_range); // Add a xor-clause to the solver. NOTE! 'ps' may be shrunk by this method! ^~~~~ In file included from SolverMisc.cpp:22:0: ../cmsat/Solver.h:469:51: warning: dynamic exception specifications are deprecated in C++11 [-Wdeprecated] template bool addClauseHelper(T& ps) throw (std::out_of_range); ^~~~~ ../cmsat/Solver.h:473:86: warning: dynamic exception specifications are deprecated in C++11 [-Wdeprecated] XorClause* addXorClauseInt(T& ps, bool xorEqualFalse, const bool learnt = false) throw (std::out_of_range); ^~~~~ In file included from SolverMisc.cpp:27:0: ../cmsat/DimacsParser.h:64:59: warning: dynamic exception specifications are deprecated in C++11 [-Wdeprecated] int32_t parseInt(StreamBuffer& in, uint32_t& len) throw (DimacsParseError); ^~~~~ ../cmsat/DimacsParser.h:65:44: warning: dynamic exception specifications are deprecated in C++11 [-Wdeprecated] float parseFloat(StreamBuffer& in) throw (DimacsParseError); ^~~~~ ../cmsat/DimacsParser.h:67:59: warning: dynamic exception specifications are deprecated in C++11 [-Wdeprecated] void readClause(StreamBuffer& in, vec& lits) throw (DimacsParseError); ^~~~~ ../cmsat/DimacsParser.h:69:47: warning: dynamic exception specifications are deprecated in C++11 [-Wdeprecated] void readFullClause(StreamBuffer& in) throw (DimacsParseError); ^~~~~ ../cmsat/DimacsParser.h:72:44: warning: dynamic exception specifications are deprecated in C++11 [-Wdeprecated] void printHeader(StreamBuffer& in) throw (DimacsParseError); ^~~~~ ../cmsat/DimacsParser.h:73:69: warning: dynamic exception specifications are deprecated in C++11 [-Wdeprecated] void parseComments(StreamBuffer& in, const std::string str) throw (DimacsParseError); ^~~~~ /bin/sh ../libtool --tag=CXX --mode=compile g++ -DHAVE_CONFIG_H -I. -I.. -DHAVE_MYSQL -DCMSAT_HAVE_MYSQL -Wall -I./../ -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 -c -o SolverDebug.lo SolverDebug.cpp libtool: compile: g++ -DHAVE_CONFIG_H -I. -I.. -DHAVE_MYSQL -DCMSAT_HAVE_MYSQL -Wall -I./../ -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 -c SolverDebug.cpp -fPIC -DPIC -o .libs/SolverDebug.o /bin/sh ../libtool --tag=CXX --mode=compile g++ -DHAVE_CONFIG_H -I. -I.. -DHAVE_MYSQL -DCMSAT_HAVE_MYSQL -Wall -I./../ -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 -c -o ClauseAllocator.lo ClauseAllocator.cpp libtool: compile: g++ -DHAVE_CONFIG_H -I. -I.. -DHAVE_MYSQL -DCMSAT_HAVE_MYSQL -Wall -I./../ -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 -c ClauseAllocator.cpp -fPIC -DPIC -o .libs/ClauseAllocator.o In file included from ../cmsat/PropBy.h:33:0, from ../cmsat/Solver.h:33, from SolverDebug.cpp:22: ../cmsat/ClauseAllocator.h:83:68: warning: dynamic exception specifications are deprecated in C++11 [-Wdeprecated] void consolidate(Solver* solver, const bool force = false) throw (std::bad_alloc); ^~~~~ ../cmsat/ClauseAllocator.h:122:48: warning: dynamic exception specifications are deprecated in C++11 [-Wdeprecated] void* allocEnough(const uint32_t size) throw (std::bad_alloc); ^~~~~ In file included from SolverDebug.cpp:22:0: ../cmsat/Solver.h:139:42: warning: dynamic exception specifications are deprecated in C++11 [-Wdeprecated] Var newVar (bool dvar = true) throw (std::out_of_range); // Add a new variable with parameters specifying variable mode. ^~~~~ ../cmsat/Solver.h:145:54: warning: dynamic exception specifications are deprecated in C++11 [-Wdeprecated] bool addXorClause (T& ps, bool xorEqualFalse) throw (std::out_of_range); // Add a xor-clause to the solver. NOTE! 'ps' may be shrunk by this method! ^~~~~ In file included from SolverDebug.cpp:22:0: ../cmsat/Solver.h:469:51: warning: dynamic exception specifications are deprecated in C++11 [-Wdeprecated] template bool addClauseHelper(T& ps) throw (std::out_of_range); ^~~~~ ../cmsat/Solver.h:473:86: warning: dynamic exception specifications are deprecated in C++11 [-Wdeprecated] XorClause* addXorClauseInt(T& ps, bool xorEqualFalse, const bool learnt = false) throw (std::out_of_range); ^~~~~ In file included from ClauseAllocator.cpp:22:0: ../cmsat/ClauseAllocator.h:83:68: warning: dynamic exception specifications are deprecated in C++11 [-Wdeprecated] void consolidate(Solver* solver, const bool force = false) throw (std::bad_alloc); ^~~~~ ../cmsat/ClauseAllocator.h:122:48: warning: dynamic exception specifications are deprecated in C++11 [-Wdeprecated] void* allocEnough(const uint32_t size) throw (std::bad_alloc); ^~~~~ /bin/sh ../libtool --tag=CXX --mode=compile g++ -DHAVE_CONFIG_H -I. -I.. -DHAVE_MYSQL -DCMSAT_HAVE_MYSQL -Wall -I./../ -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 -c -o UselessBinRemover.lo UselessBinRemover.cpp In file included from ClauseAllocator.cpp:29:0: ../cmsat/Solver.h:139:42: warning: dynamic exception specifications are deprecated in C++11 [-Wdeprecated] Var newVar (bool dvar = true) throw (std::out_of_range); // Add a new variable with parameters specifying variable mode. ^~~~~ ../cmsat/Solver.h:145:54: warning: dynamic exception specifications are deprecated in C++11 [-Wdeprecated] bool addXorClause (T& ps, bool xorEqualFalse) throw (std::out_of_range); // Add a xor-clause to the solver. NOTE! 'ps' may be shrunk by this method! ^~~~~ libtool: compile: g++ -DHAVE_CONFIG_H -I. -I.. -DHAVE_MYSQL -DCMSAT_HAVE_MYSQL -Wall -I./../ -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 -c UselessBinRemover.cpp -fPIC -DPIC -o .libs/UselessBinRemover.o In file included from ClauseAllocator.cpp:29:0: ../cmsat/Solver.h:469:51: warning: dynamic exception specifications are deprecated in C++11 [-Wdeprecated] template bool addClauseHelper(T& ps) throw (std::out_of_range); ^~~~~ ../cmsat/Solver.h:473:86: warning: dynamic exception specifications are deprecated in C++11 [-Wdeprecated] XorClause* addXorClauseInt(T& ps, bool xorEqualFalse, const bool learnt = false) throw (std::out_of_range); ^~~~~ ClauseAllocator.cpp:121:57: warning: dynamic exception specifications are deprecated in C++11 [-Wdeprecated] void* ClauseAllocator::allocEnough(const uint32_t size) throw (std::bad_alloc) ^~~~~ ClauseAllocator.cpp:272:3: warning: dynamic exception specifications are deprecated in C++11 [-Wdeprecated] ) throw (std::bad_alloc) ^~~~~ /bin/sh ../libtool --tag=CXX --mode=compile g++ -DHAVE_CONFIG_H -I. -I.. -DHAVE_MYSQL -DCMSAT_HAVE_MYSQL -Wall -I./../ -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 -c -o SCCFinder.lo SCCFinder.cpp /bin/sh ../libtool --tag=CXX --mode=compile g++ -DHAVE_CONFIG_H -I. -I.. -DHAVE_MYSQL -DCMSAT_HAVE_MYSQL -Wall -I./../ -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 -c -o ClauseVivifier.lo ClauseVivifier.cpp libtool: compile: g++ -DHAVE_CONFIG_H -I. -I.. -DHAVE_MYSQL -DCMSAT_HAVE_MYSQL -Wall -I./../ -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 -c SCCFinder.cpp -fPIC -DPIC -o .libs/SCCFinder.o libtool: compile: g++ -DHAVE_CONFIG_H -I. -I.. -DHAVE_MYSQL -DCMSAT_HAVE_MYSQL -Wall -I./../ -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 -c ClauseVivifier.cpp -fPIC -DPIC -o .libs/ClauseVivifier.o In file included from ../cmsat/PropBy.h:33:0, from ../cmsat/Solver.h:33, from ../cmsat/UselessBinRemover.h:26, from UselessBinRemover.cpp:23: ../cmsat/ClauseAllocator.h:83:68: warning: dynamic exception specifications are deprecated in C++11 [-Wdeprecated] void consolidate(Solver* solver, const bool force = false) throw (std::bad_alloc); ^~~~~ ../cmsat/ClauseAllocator.h:122:48: warning: dynamic exception specifications are deprecated in C++11 [-Wdeprecated] void* allocEnough(const uint32_t size) throw (std::bad_alloc); ^~~~~ /bin/sh ../libtool --tag=CXX --mode=compile g++ -DHAVE_CONFIG_H -I. -I.. -DHAVE_MYSQL -DCMSAT_HAVE_MYSQL -Wall -I./../ -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 -c -o CompleteDetachReattacher.lo CompleteDetachReattacher.cpp In file included from ../cmsat/UselessBinRemover.h:26:0, from UselessBinRemover.cpp:23: ../cmsat/Solver.h:139:42: warning: dynamic exception specifications are deprecated in C++11 [-Wdeprecated] Var newVar (bool dvar = true) throw (std::out_of_range); // Add a new variable with parameters specifying variable mode. ^~~~~ ../cmsat/Solver.h:145:54: warning: dynamic exception specifications are deprecated in C++11 [-Wdeprecated] bool addXorClause (T& ps, bool xorEqualFalse) throw (std::out_of_range); // Add a xor-clause to the solver. NOTE! 'ps' may be shrunk by this method! ^~~~~ In file included from ../cmsat/UselessBinRemover.h:26:0, from UselessBinRemover.cpp:23: ../cmsat/Solver.h:469:51: warning: dynamic exception specifications are deprecated in C++11 [-Wdeprecated] template bool addClauseHelper(T& ps) throw (std::out_of_range); ^~~~~ ../cmsat/Solver.h:473:86: warning: dynamic exception specifications are deprecated in C++11 [-Wdeprecated] XorClause* addXorClauseInt(T& ps, bool xorEqualFalse, const bool learnt = false) throw (std::out_of_range); ^~~~~ libtool: compile: g++ -DHAVE_CONFIG_H -I. -I.. -DHAVE_MYSQL -DCMSAT_HAVE_MYSQL -Wall -I./../ -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 -c CompleteDetachReattacher.cpp -fPIC -DPIC -o .libs/CompleteDetachReattacher.o In file included from ../cmsat/PropBy.h:33:0, from ../cmsat/Solver.h:33, from ../cmsat/SCCFinder.h:27, from SCCFinder.cpp:25: ../cmsat/ClauseAllocator.h:83:68: warning: dynamic exception specifications are deprecated in C++11 [-Wdeprecated] void consolidate(Solver* solver, const bool force = false) throw (std::bad_alloc); ^~~~~ ../cmsat/ClauseAllocator.h:122:48: warning: dynamic exception specifications are deprecated in C++11 [-Wdeprecated] void* allocEnough(const uint32_t size) throw (std::bad_alloc); ^~~~~ In file included from ../cmsat/PropBy.h:33:0, from ../cmsat/Solver.h:33, from ../cmsat/ClauseVivifier.h:25, from ClauseVivifier.cpp:22: ../cmsat/ClauseAllocator.h:83:68: warning: dynamic exception specifications are deprecated in C++11 [-Wdeprecated] void consolidate(Solver* solver, const bool force = false) throw (std::bad_alloc); ^~~~~ ../cmsat/ClauseAllocator.h:122:48: warning: dynamic exception specifications are deprecated in C++11 [-Wdeprecated] void* allocEnough(const uint32_t size) throw (std::bad_alloc); ^~~~~ In file included from ../cmsat/SCCFinder.h:27:0, from SCCFinder.cpp:25: ../cmsat/Solver.h:139:42: warning: dynamic exception specifications are deprecated in C++11 [-Wdeprecated] Var newVar (bool dvar = true) throw (std::out_of_range); // Add a new variable with parameters specifying variable mode. ^~~~~ ../cmsat/Solver.h:145:54: warning: dynamic exception specifications are deprecated in C++11 [-Wdeprecated] bool addXorClause (T& ps, bool xorEqualFalse) throw (std::out_of_range); // Add a xor-clause to the solver. NOTE! 'ps' may be shrunk by this method! ^~~~~ In file included from ../cmsat/SCCFinder.h:27:0, from SCCFinder.cpp:25: ../cmsat/Solver.h:469:51: warning: dynamic exception specifications are deprecated in C++11 [-Wdeprecated] template bool addClauseHelper(T& ps) throw (std::out_of_range); ^~~~~ ../cmsat/Solver.h:473:86: warning: dynamic exception specifications are deprecated in C++11 [-Wdeprecated] XorClause* addXorClauseInt(T& ps, bool xorEqualFalse, const bool learnt = false) throw (std::out_of_range); ^~~~~ In file included from ../cmsat/ClauseVivifier.h:25:0, from ClauseVivifier.cpp:22: ../cmsat/Solver.h:139:42: warning: dynamic exception specifications are deprecated in C++11 [-Wdeprecated] Var newVar (bool dvar = true) throw (std::out_of_range); // Add a new variable with parameters specifying variable mode. ^~~~~ ../cmsat/Solver.h:145:54: warning: dynamic exception specifications are deprecated in C++11 [-Wdeprecated] bool addXorClause (T& ps, bool xorEqualFalse) throw (std::out_of_range); // Add a xor-clause to the solver. NOTE! 'ps' may be shrunk by this method! ^~~~~ In file included from ../cmsat/ClauseVivifier.h:25:0, from ClauseVivifier.cpp:22: ../cmsat/Solver.h:469:51: warning: dynamic exception specifications are deprecated in C++11 [-Wdeprecated] template bool addClauseHelper(T& ps) throw (std::out_of_range); ^~~~~ ../cmsat/Solver.h:473:86: warning: dynamic exception specifications are deprecated in C++11 [-Wdeprecated] XorClause* addXorClauseInt(T& ps, bool xorEqualFalse, const bool learnt = false) throw (std::out_of_range); ^~~~~ /bin/sh ../libtool --tag=CXX --mode=compile g++ -DHAVE_CONFIG_H -I. -I.. -DHAVE_MYSQL -DCMSAT_HAVE_MYSQL -Wall -I./../ -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 -c -o DimacsParser.lo DimacsParser.cpp In file included from ../cmsat/PropBy.h:33:0, from ../cmsat/Solver.h:33, from ../cmsat/CompleteDetachReattacher.h:22, from CompleteDetachReattacher.cpp:22: ../cmsat/ClauseAllocator.h:83:68: warning: dynamic exception specifications are deprecated in C++11 [-Wdeprecated] void consolidate(Solver* solver, const bool force = false) throw (std::bad_alloc); ^~~~~ ../cmsat/ClauseAllocator.h:122:48: warning: dynamic exception specifications are deprecated in C++11 [-Wdeprecated] void* allocEnough(const uint32_t size) throw (std::bad_alloc); ^~~~~ libtool: compile: g++ -DHAVE_CONFIG_H -I. -I.. -DHAVE_MYSQL -DCMSAT_HAVE_MYSQL -Wall -I./../ -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 -c DimacsParser.cpp -fPIC -DPIC -o .libs/DimacsParser.o In file included from ../cmsat/CompleteDetachReattacher.h:22:0, from CompleteDetachReattacher.cpp:22: ../cmsat/Solver.h:139:42: warning: dynamic exception specifications are deprecated in C++11 [-Wdeprecated] Var newVar (bool dvar = true) throw (std::out_of_range); // Add a new variable with parameters specifying variable mode. ^~~~~ ../cmsat/Solver.h:145:54: warning: dynamic exception specifications are deprecated in C++11 [-Wdeprecated] bool addXorClause (T& ps, bool xorEqualFalse) throw (std::out_of_range); // Add a xor-clause to the solver. NOTE! 'ps' may be shrunk by this method! ^~~~~ In file included from ../cmsat/CompleteDetachReattacher.h:22:0, from CompleteDetachReattacher.cpp:22: ../cmsat/Solver.h:469:51: warning: dynamic exception specifications are deprecated in C++11 [-Wdeprecated] template bool addClauseHelper(T& ps) throw (std::out_of_range); ^~~~~ ../cmsat/Solver.h:473:86: warning: dynamic exception specifications are deprecated in C++11 [-Wdeprecated] XorClause* addXorClauseInt(T& ps, bool xorEqualFalse, const bool learnt = false) throw (std::out_of_range); ^~~~~ /bin/sh ../libtool --tag=CXX --mode=compile g++ -DHAVE_CONFIG_H -I. -I.. -DHAVE_MYSQL -DCMSAT_HAVE_MYSQL -Wall -I./../ -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 -c -o OnlyNonLearntBins.lo OnlyNonLearntBins.cpp libtool: compile: g++ -DHAVE_CONFIG_H -I. -I.. -DHAVE_MYSQL -DCMSAT_HAVE_MYSQL -Wall -I./../ -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 -c OnlyNonLearntBins.cpp -fPIC -DPIC -o .libs/OnlyNonLearntBins.o /bin/sh ../libtool --tag=CXX --mode=compile g++ -DHAVE_CONFIG_H -I. -I.. -DHAVE_MYSQL -DCMSAT_HAVE_MYSQL -Wall -I./../ -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 -c -o SolverConf.lo SolverConf.cpp libtool: compile: g++ -DHAVE_CONFIG_H -I. -I.. -DHAVE_MYSQL -DCMSAT_HAVE_MYSQL -Wall -I./../ -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 -c SolverConf.cpp -fPIC -DPIC -o .libs/SolverConf.o In file included from DimacsParser.cpp:22:0: ../cmsat/DimacsParser.h:64:59: warning: dynamic exception specifications are deprecated in C++11 [-Wdeprecated] int32_t parseInt(StreamBuffer& in, uint32_t& len) throw (DimacsParseError); ^~~~~ ../cmsat/DimacsParser.h:65:44: warning: dynamic exception specifications are deprecated in C++11 [-Wdeprecated] float parseFloat(StreamBuffer& in) throw (DimacsParseError); ^~~~~ ../cmsat/DimacsParser.h:67:59: warning: dynamic exception specifications are deprecated in C++11 [-Wdeprecated] void readClause(StreamBuffer& in, vec& lits) throw (DimacsParseError); ^~~~~ ../cmsat/DimacsParser.h:69:47: warning: dynamic exception specifications are deprecated in C++11 [-Wdeprecated] void readFullClause(StreamBuffer& in) throw (DimacsParseError); ^~~~~ ../cmsat/DimacsParser.h:72:44: warning: dynamic exception specifications are deprecated in C++11 [-Wdeprecated] void printHeader(StreamBuffer& in) throw (DimacsParseError); ^~~~~ ../cmsat/DimacsParser.h:73:69: warning: dynamic exception specifications are deprecated in C++11 [-Wdeprecated] void parseComments(StreamBuffer& in, const std::string str) throw (DimacsParseError); ^~~~~ /bin/sh ../libtool --tag=CXX --mode=compile g++ -DHAVE_CONFIG_H -I. -I.. -DHAVE_MYSQL -DCMSAT_HAVE_MYSQL -Wall -I./../ -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 -c -o DataSync.lo DataSync.cpp libtool: compile: g++ -DHAVE_CONFIG_H -I. -I.. -DHAVE_MYSQL -DCMSAT_HAVE_MYSQL -Wall -I./../ -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 -c DataSync.cpp -fPIC -DPIC -o .libs/DataSync.o In file included from ../cmsat/PropBy.h:33:0, from ../cmsat/Solver.h:33, from DimacsParser.cpp:28: ../cmsat/ClauseAllocator.h:83:68: warning: dynamic exception specifications are deprecated in C++11 [-Wdeprecated] void consolidate(Solver* solver, const bool force = false) throw (std::bad_alloc); ^~~~~ ../cmsat/ClauseAllocator.h:122:48: warning: dynamic exception specifications are deprecated in C++11 [-Wdeprecated] void* allocEnough(const uint32_t size) throw (std::bad_alloc); ^~~~~ In file included from DimacsParser.cpp:28:0: ../cmsat/Solver.h:139:42: warning: dynamic exception specifications are deprecated in C++11 [-Wdeprecated] Var newVar (bool dvar = true) throw (std::out_of_range); // Add a new variable with parameters specifying variable mode. ^~~~~ ../cmsat/Solver.h:145:54: warning: dynamic exception specifications are deprecated in C++11 [-Wdeprecated] bool addXorClause (T& ps, bool xorEqualFalse) throw (std::out_of_range); // Add a xor-clause to the solver. NOTE! 'ps' may be shrunk by this method! ^~~~~ In file included from DimacsParser.cpp:28:0: ../cmsat/Solver.h:469:51: warning: dynamic exception specifications are deprecated in C++11 [-Wdeprecated] template bool addClauseHelper(T& ps) throw (std::out_of_range); ^~~~~ ../cmsat/Solver.h:473:86: warning: dynamic exception specifications are deprecated in C++11 [-Wdeprecated] XorClause* addXorClauseInt(T& ps, bool xorEqualFalse, const bool learnt = false) throw (std::out_of_range); ^~~~~ DimacsParser.cpp:95:71: warning: dynamic exception specifications are deprecated in C++11 [-Wdeprecated] int32_t DimacsParser::parseInt(StreamBuffer& in, uint32_t& lenParsed) throw (DimacsParseError) ^~~~~ DimacsParser.cpp:119:50: warning: dynamic exception specifications are deprecated in C++11 [-Wdeprecated] float DimacsParser::parseFloat(StreamBuffer& in) throw (DimacsParseError) ^~~~~ DimacsParser.cpp:163:65: warning: dynamic exception specifications are deprecated in C++11 [-Wdeprecated] void DimacsParser::readClause(StreamBuffer& in, vec& lits) throw (DimacsParseError) ^~~~~ DimacsParser.cpp:206:50: warning: dynamic exception specifications are deprecated in C++11 [-Wdeprecated] void DimacsParser::printHeader(StreamBuffer& in) throw (DimacsParseError) ^~~~~ In file included from SolverConf.cpp:22:0: ../cmsat/SolverConf.h: In constructor 'CMSat::SolverConf::SolverConf()': ../cmsat/SolverConf.h:106:18: warning: 'CMSat::SolverConf::origSeed' will be initialized after [-Wreorder] uint32_t origSeed; ^~~~~~~~ ../cmsat/SolverConf.h:104:18: warning: 'long int CMSat::SolverConf::switch_off_subsumer_max_vars' [-Wreorder] long int switch_off_subsumer_max_vars; ^~~~~~~~~~~~~~~~~~~~~~~~~~~~ SolverConf.cpp:27:1: warning: when initialized here [-Wreorder] SolverConf::SolverConf() : ^~~~~~~~~~ DimacsParser.cpp:292:75: warning: dynamic exception specifications are deprecated in C++11 [-Wdeprecated] void DimacsParser::parseComments(StreamBuffer& in, const std::string str) throw (DimacsParseError) ^~~~~ DimacsParser.cpp:381:53: warning: dynamic exception specifications are deprecated in C++11 [-Wdeprecated] void DimacsParser::readFullClause(StreamBuffer& in) throw (DimacsParseError) ^~~~~ In file included from ../cmsat/PropBy.h:33:0, from ../cmsat/Solver.h:33, from ../cmsat/OnlyNonLearntBins.h:25, from OnlyNonLearntBins.cpp:22: ../cmsat/ClauseAllocator.h:83:68: warning: dynamic exception specifications are deprecated in C++11 [-Wdeprecated] void consolidate(Solver* solver, const bool force = false) throw (std::bad_alloc); ^~~~~ ../cmsat/ClauseAllocator.h:122:48: warning: dynamic exception specifications are deprecated in C++11 [-Wdeprecated] void* allocEnough(const uint32_t size) throw (std::bad_alloc); ^~~~~ /bin/sh ../libtool --tag=CXX --mode=compile g++ -DHAVE_CONFIG_H -I. -I.. -DHAVE_MYSQL -DCMSAT_HAVE_MYSQL -Wall -I./../ -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 -c -o BothCache.lo BothCache.cpp In file included from ../cmsat/OnlyNonLearntBins.h:25:0, from OnlyNonLearntBins.cpp:22: ../cmsat/Solver.h:139:42: warning: dynamic exception specifications are deprecated in C++11 [-Wdeprecated] Var newVar (bool dvar = true) throw (std::out_of_range); // Add a new variable with parameters specifying variable mode. ^~~~~ ../cmsat/Solver.h:145:54: warning: dynamic exception specifications are deprecated in C++11 [-Wdeprecated] bool addXorClause (T& ps, bool xorEqualFalse) throw (std::out_of_range); // Add a xor-clause to the solver. NOTE! 'ps' may be shrunk by this method! ^~~~~ libtool: compile: g++ -DHAVE_CONFIG_H -I. -I.. -DHAVE_MYSQL -DCMSAT_HAVE_MYSQL -Wall -I./../ -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 -c BothCache.cpp -fPIC -DPIC -o .libs/BothCache.o In file included from ../cmsat/OnlyNonLearntBins.h:25:0, from OnlyNonLearntBins.cpp:22: ../cmsat/Solver.h:469:51: warning: dynamic exception specifications are deprecated in C++11 [-Wdeprecated] template bool addClauseHelper(T& ps) throw (std::out_of_range); ^~~~~ ../cmsat/Solver.h:473:86: warning: dynamic exception specifications are deprecated in C++11 [-Wdeprecated] XorClause* addXorClauseInt(T& ps, bool xorEqualFalse, const bool learnt = false) throw (std::out_of_range); ^~~~~ In file included from ../cmsat/PropBy.h:33:0, from ../cmsat/Solver.h:33, from ../cmsat/DataSync.h:23, from DataSync.cpp:22: ../cmsat/ClauseAllocator.h:83:68: warning: dynamic exception specifications are deprecated in C++11 [-Wdeprecated] void consolidate(Solver* solver, const bool force = false) throw (std::bad_alloc); ^~~~~ ../cmsat/ClauseAllocator.h:122:48: warning: dynamic exception specifications are deprecated in C++11 [-Wdeprecated] void* allocEnough(const uint32_t size) throw (std::bad_alloc); ^~~~~ In file included from ../cmsat/DataSync.h:23:0, from DataSync.cpp:22: ../cmsat/Solver.h:139:42: warning: dynamic exception specifications are deprecated in C++11 [-Wdeprecated] Var newVar (bool dvar = true) throw (std::out_of_range); // Add a new variable with parameters specifying variable mode. ^~~~~ ../cmsat/Solver.h:145:54: warning: dynamic exception specifications are deprecated in C++11 [-Wdeprecated] bool addXorClause (T& ps, bool xorEqualFalse) throw (std::out_of_range); // Add a xor-clause to the solver. NOTE! 'ps' may be shrunk by this method! ^~~~~ In file included from ../cmsat/DataSync.h:23:0, from DataSync.cpp:22: ../cmsat/Solver.h:469:51: warning: dynamic exception specifications are deprecated in C++11 [-Wdeprecated] template bool addClauseHelper(T& ps) throw (std::out_of_range); ^~~~~ ../cmsat/Solver.h:473:86: warning: dynamic exception specifications are deprecated in C++11 [-Wdeprecated] XorClause* addXorClauseInt(T& ps, bool xorEqualFalse, const bool learnt = false) throw (std::out_of_range); ^~~~~ In file included from ../cmsat/PropBy.h:33:0, from ../cmsat/Solver.h:33, from ../cmsat/BothCache.h:25, from BothCache.cpp:22: ../cmsat/ClauseAllocator.h:83:68: warning: dynamic exception specifications are deprecated in C++11 [-Wdeprecated] void consolidate(Solver* solver, const bool force = false) throw (std::bad_alloc); ^~~~~ ../cmsat/ClauseAllocator.h:122:48: warning: dynamic exception specifications are deprecated in C++11 [-Wdeprecated] void* allocEnough(const uint32_t size) throw (std::bad_alloc); ^~~~~ In file included from ../cmsat/BothCache.h:25:0, from BothCache.cpp:22: ../cmsat/Solver.h:139:42: warning: dynamic exception specifications are deprecated in C++11 [-Wdeprecated] Var newVar (bool dvar = true) throw (std::out_of_range); // Add a new variable with parameters specifying variable mode. ^~~~~ ../cmsat/Solver.h:145:54: warning: dynamic exception specifications are deprecated in C++11 [-Wdeprecated] bool addXorClause (T& ps, bool xorEqualFalse) throw (std::out_of_range); // Add a xor-clause to the solver. NOTE! 'ps' may be shrunk by this method! ^~~~~ In file included from ../cmsat/BothCache.h:25:0, from BothCache.cpp:22: ../cmsat/Solver.h:469:51: warning: dynamic exception specifications are deprecated in C++11 [-Wdeprecated] template bool addClauseHelper(T& ps) throw (std::out_of_range); ^~~~~ ../cmsat/Solver.h:473:86: warning: dynamic exception specifications are deprecated in C++11 [-Wdeprecated] XorClause* addXorClauseInt(T& ps, bool xorEqualFalse, const bool learnt = false) throw (std::out_of_range); ^~~~~ /bin/sh ../libtool --tag=CXX --mode=link g++ -Wall -I./../ -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 -release 2.9.11 -no-undefined -L/usr/lib64/mysql -o libcryptominisat.la -rpath /usr/lib64 ClauseCleaner.lo FailedLitSearcher.lo VarReplacer.lo MatrixFinder.lo Solver.lo XorFinder.lo PackedRow.lo Gaussian.lo StateSaver.lo RestartTypeChooser.lo Subsumer.lo XorSubsumer.lo SolverMisc.lo SolverDebug.lo ClauseAllocator.lo UselessBinRemover.lo SCCFinder.lo ClauseVivifier.lo CompleteDetachReattacher.lo DimacsParser.lo OnlyNonLearntBins.lo SolverConf.lo DataSync.lo BothCache.lo -lz -lmysqlclient libtool: link: g++ -fPIC -DPIC -shared -nostdlib /usr/lib/gcc/riscv64-redhat-linux/7/crti.o /usr/lib/gcc/riscv64-redhat-linux/7/crtbeginS.o .libs/ClauseCleaner.o .libs/FailedLitSearcher.o .libs/VarReplacer.o .libs/MatrixFinder.o .libs/Solver.o .libs/XorFinder.o .libs/PackedRow.o .libs/Gaussian.o .libs/StateSaver.o .libs/RestartTypeChooser.o .libs/Subsumer.o .libs/XorSubsumer.o .libs/SolverMisc.o .libs/SolverDebug.o .libs/ClauseAllocator.o .libs/UselessBinRemover.o .libs/SCCFinder.o .libs/ClauseVivifier.o .libs/CompleteDetachReattacher.o .libs/DimacsParser.o .libs/OnlyNonLearntBins.o .libs/SolverConf.o .libs/DataSync.o .libs/BothCache.o -L/usr/lib64/mysql -lz -lmysqlclient -L/usr/lib/gcc/riscv64-redhat-linux/7 -L/lib64/lp64d -L/usr/lib64/lp64d -lstdc++ -lm -lc -lgcc_s /usr/lib/gcc/riscv64-redhat-linux/7/crtendS.o /usr/lib/gcc/riscv64-redhat-linux/7/crtn.o -specs=/usr/lib/rpm/redhat/redhat-hardened-ld -fopenmp -O2 -g -fstack-protector-strong -grecord-gcc-switches -fopenmp -Wl,-soname -Wl,libcryptominisat-2.9.11.so -o .libs/libcryptominisat-2.9.11.so libtool: link: (cd ".libs" && rm -f "libcryptominisat.so" && ln -s "libcryptominisat-2.9.11.so" "libcryptominisat.so") libtool: link: ( cd ".libs" && rm -f "libcryptominisat.la" && ln -s "../libcryptominisat.la" "libcryptominisat.la" ) /bin/sh ../libtool --tag=CXX --mode=link g++ -Wall -I./../ -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 -static -lz -fopenmp -lz -lmysqlclient -L/usr/lib64/mysql -o cryptominisat Main.o libcryptominisat.la -lrt -lz -lmysqlclient libtool: link: g++ -Wall -I./../ -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 -fopenmp -o cryptominisat Main.o -L/usr/lib64/mysql ./.libs/libcryptominisat.so -lrt -lz -lmysqlclient -fopenmp make[2]: Leaving directory '/builddir/build/BUILD/cryptominisat-2.9.11/cmsat' Making all in man make[2]: Entering directory '/builddir/build/BUILD/cryptominisat-2.9.11/man' make[2]: Nothing to be done for 'all'. make[2]: Leaving directory '/builddir/build/BUILD/cryptominisat-2.9.11/man' make[2]: Entering directory '/builddir/build/BUILD/cryptominisat-2.9.11' cp cmsat/cryptominisat . make[2]: Leaving directory '/builddir/build/BUILD/cryptominisat-2.9.11' make[1]: Leaving directory '/builddir/build/BUILD/cryptominisat-2.9.11' + exit 0 Executing(%install): /bin/sh -e /var/tmp/rpm-tmp.KKaCma + umask 022 + cd /builddir/build/BUILD + '[' /builddir/build/BUILDROOT/cryptominisat-2.9.11-5.fc28.riscv64 '!=' / ']' + rm -rf /builddir/build/BUILDROOT/cryptominisat-2.9.11-5.fc28.riscv64 ++ dirname /builddir/build/BUILDROOT/cryptominisat-2.9.11-5.fc28.riscv64 + mkdir -p /builddir/build/BUILDROOT + mkdir /builddir/build/BUILDROOT/cryptominisat-2.9.11-5.fc28.riscv64 + cd cryptominisat-2.9.11 + make install DESTDIR=/builddir/build/BUILDROOT/cryptominisat-2.9.11-5.fc28.riscv64 Making install in cmsat make[1]: Entering directory '/builddir/build/BUILD/cryptominisat-2.9.11/cmsat' make[2]: Entering directory '/builddir/build/BUILD/cryptominisat-2.9.11/cmsat' /usr/bin/mkdir -p '/builddir/build/BUILDROOT/cryptominisat-2.9.11-5.fc28.riscv64/usr/lib64' /bin/sh ../libtool --mode=install /usr/bin/install -c libcryptominisat.la '/builddir/build/BUILDROOT/cryptominisat-2.9.11-5.fc28.riscv64/usr/lib64' libtool: install: /usr/bin/install -c .libs/libcryptominisat-2.9.11.so /builddir/build/BUILDROOT/cryptominisat-2.9.11-5.fc28.riscv64/usr/lib64/libcryptominisat-2.9.11.so libtool: install: (cd /builddir/build/BUILDROOT/cryptominisat-2.9.11-5.fc28.riscv64/usr/lib64 && { ln -s -f libcryptominisat-2.9.11.so libcryptominisat.so || { rm -f libcryptominisat.so && ln -s libcryptominisat-2.9.11.so libcryptominisat.so; }; }) libtool: install: /usr/bin/install -c .libs/libcryptominisat.lai /builddir/build/BUILDROOT/cryptominisat-2.9.11-5.fc28.riscv64/usr/lib64/libcryptominisat.la libtool: warning: remember to run 'libtool --finish /usr/lib64' /usr/bin/mkdir -p '/builddir/build/BUILDROOT/cryptominisat-2.9.11-5.fc28.riscv64/usr/bin' /bin/sh ../libtool --mode=install /usr/bin/install -c cryptominisat '/builddir/build/BUILDROOT/cryptominisat-2.9.11-5.fc28.riscv64/usr/bin' libtool: install: /usr/bin/install -c cryptominisat /builddir/build/BUILDROOT/cryptominisat-2.9.11-5.fc28.riscv64/usr/bin/cryptominisat /usr/bin/mkdir -p '/builddir/build/BUILDROOT/cryptominisat-2.9.11-5.fc28.riscv64/usr/include/cmsat' /usr/bin/install -c -m 644 BitArray.h Clause.h CSet.h MatrixFinder.h Solver.h Subsumer.h Watched.h BoundedQueue.h ClauseOffset.h DimacsParser.h GaussianConfig.h OnlyNonLearntBins.h SolverTypes.h time_mem.h XorFinder.h ClauseAllocator.h CompleteDetachReattacher.h DoublePackedRow.h Gaussian.h PackedMatrix.h PropBy.h StateSaver.h UselessBinRemover.h XorSubsumer.h ClauseCleaner.h constants.h FailedLitSearcher.h PackedRow.h RestartTypeChooser.h StreamBuffer.h VarReplacer.h XSet.h BothCache.h SolverConf.h SCCFinder.h SharedData.h ClauseVivifier.h DataSync.h Alg.h Heap.h '/builddir/build/BUILDROOT/cryptominisat-2.9.11-5.fc28.riscv64/usr/include/cmsat' /usr/bin/install -c -m 644 MersenneTwister.h Vec.h '/builddir/build/BUILDROOT/cryptominisat-2.9.11-5.fc28.riscv64/usr/include/cmsat' make[2]: Leaving directory '/builddir/build/BUILD/cryptominisat-2.9.11/cmsat' make[1]: Leaving directory '/builddir/build/BUILD/cryptominisat-2.9.11/cmsat' Making install in man make[1]: Entering directory '/builddir/build/BUILD/cryptominisat-2.9.11/man' make[2]: Entering directory '/builddir/build/BUILD/cryptominisat-2.9.11/man' make[2]: Nothing to be done for 'install-exec-am'. /usr/bin/mkdir -p '/builddir/build/BUILDROOT/cryptominisat-2.9.11-5.fc28.riscv64/usr/share/man/man1' /usr/bin/install -c -m 644 cryptominisat.1 '/builddir/build/BUILDROOT/cryptominisat-2.9.11-5.fc28.riscv64/usr/share/man/man1' make[2]: Leaving directory '/builddir/build/BUILD/cryptominisat-2.9.11/man' make[1]: Leaving directory '/builddir/build/BUILD/cryptominisat-2.9.11/man' make[1]: Entering directory '/builddir/build/BUILD/cryptominisat-2.9.11' cp cmsat/cryptominisat . make[2]: Entering directory '/builddir/build/BUILD/cryptominisat-2.9.11' 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/cryptominisat-2.9.11' make[1]: Leaving directory '/builddir/build/BUILD/cryptominisat-2.9.11' + rm -f /builddir/build/BUILDROOT/cryptominisat-2.9.11-5.fc28.riscv64/usr/lib64/libcryptominisat.la + /usr/lib/rpm/check-buildroot + /usr/lib/rpm/redhat/brp-ldconfig /sbin/ldconfig: Warning: ignoring configuration file that cannot be opened: /etc/ld.so.conf: No such file or directory + /usr/lib/rpm/brp-compress + /usr/lib/rpm/brp-strip /usr/bin/strip + /usr/lib/rpm/brp-strip-comment-note /usr/bin/strip /usr/bin/objdump + /usr/lib/rpm/brp-strip-static-archive /usr/bin/strip + /usr/lib/rpm/brp-python-bytecompile /usr/bin/python 1 + /usr/lib/rpm/brp-python-hardlink + /usr/lib/rpm/redhat/brp-mangle-shebangs Processing files: cryptominisat-2.9.11-5.fc28.riscv64 Provides: cryptominisat = 2.9.11-5.fc28 cryptominisat(riscv-64) = 2.9.11-5.fc28 Requires(rpmlib): rpmlib(CompressedFileNames) <= 3.0.4-1 rpmlib(FileDigests) <= 4.6.0-1 rpmlib(PayloadFilesHavePrefix) <= 4.0-1 Requires: ld-linux-riscv64-lp64d.so.1()(64bit) ld-linux-riscv64-lp64d.so.1(GLIBC_2.27)(64bit) libc.so.6()(64bit) libc.so.6(GLIBC_2.27)(64bit) libcryptominisat-2.9.11.so()(64bit) libgcc_s.so.1()(64bit) libgcc_s.so.1(GCC_3.0)(64bit) libgomp.so.1()(64bit) libgomp.so.1(GOMP_1.0)(64bit) libgomp.so.1(GOMP_4.0)(64bit) libgomp.so.1(OMP_1.0)(64bit) libm.so.6()(64bit) libmariadb.so.3()(64bit) libpthread.so.0()(64bit) libpthread.so.0(GLIBC_2.27)(64bit) librt.so.1()(64bit) librt.so.1(GLIBC_2.27)(64bit) libstdc++.so.6()(64bit) libstdc++.so.6(CXXABI_1.3)(64bit) libstdc++.so.6(CXXABI_1.3.1)(64bit) libstdc++.so.6(GLIBCXX_3.4)(64bit) libstdc++.so.6(GLIBCXX_3.4.11)(64bit) libstdc++.so.6(GLIBCXX_3.4.21)(64bit) libstdc++.so.6(GLIBCXX_3.4.9)(64bit) libz.so.1()(64bit) rtld(GNU_HASH) Processing files: cryptominisat-devel-2.9.11-5.fc28.riscv64 Provides: cryptominisat-devel = 2.9.11-5.fc28 cryptominisat-devel(riscv-64) = 2.9.11-5.fc28 Requires(rpmlib): rpmlib(CompressedFileNames) <= 3.0.4-1 rpmlib(FileDigests) <= 4.6.0-1 rpmlib(PayloadFilesHavePrefix) <= 4.0-1 Processing files: cryptominisat-libs-2.9.11-5.fc28.riscv64 Executing(%doc): /bin/sh -e /var/tmp/rpm-tmp.iYBFdi + umask 022 + cd /builddir/build/BUILD + cd cryptominisat-2.9.11 + DOCDIR=/builddir/build/BUILDROOT/cryptominisat-2.9.11-5.fc28.riscv64/usr/share/doc/cryptominisat-libs + export LC_ALL=C + LC_ALL=C + export DOCDIR + /usr/bin/mkdir -p /builddir/build/BUILDROOT/cryptominisat-2.9.11-5.fc28.riscv64/usr/share/doc/cryptominisat-libs + cp -pr AUTHORS /builddir/build/BUILDROOT/cryptominisat-2.9.11-5.fc28.riscv64/usr/share/doc/cryptominisat-libs + cp -pr NEWS /builddir/build/BUILDROOT/cryptominisat-2.9.11-5.fc28.riscv64/usr/share/doc/cryptominisat-libs + cp -pr README /builddir/build/BUILDROOT/cryptominisat-2.9.11-5.fc28.riscv64/usr/share/doc/cryptominisat-libs + cp -pr TODO /builddir/build/BUILDROOT/cryptominisat-2.9.11-5.fc28.riscv64/usr/share/doc/cryptominisat-libs + exit 0 Executing(%license): /bin/sh -e /var/tmp/rpm-tmp.9fER2V + umask 022 + cd /builddir/build/BUILD + cd cryptominisat-2.9.11 + LICENSEDIR=/builddir/build/BUILDROOT/cryptominisat-2.9.11-5.fc28.riscv64/usr/share/licenses/cryptominisat-libs + export LC_ALL=C + LC_ALL=C + export LICENSEDIR + /usr/bin/mkdir -p /builddir/build/BUILDROOT/cryptominisat-2.9.11-5.fc28.riscv64/usr/share/licenses/cryptominisat-libs + cp -pr LICENSE-MIT /builddir/build/BUILDROOT/cryptominisat-2.9.11-5.fc28.riscv64/usr/share/licenses/cryptominisat-libs + exit 0 Provides: cryptominisat-libs = 2.9.11-5.fc28 cryptominisat-libs(riscv-64) = 2.9.11-5.fc28 libcryptominisat-2.9.11.so()(64bit) Requires(interp): /sbin/ldconfig /sbin/ldconfig Requires(rpmlib): rpmlib(CompressedFileNames) <= 3.0.4-1 rpmlib(FileDigests) <= 4.6.0-1 rpmlib(PayloadFilesHavePrefix) <= 4.0-1 Requires(post): /sbin/ldconfig Requires(postun): /sbin/ldconfig Requires: ld-linux-riscv64-lp64d.so.1()(64bit) ld-linux-riscv64-lp64d.so.1(GLIBC_2.27)(64bit) libc.so.6()(64bit) libc.so.6(GLIBC_2.27)(64bit) libgcc_s.so.1()(64bit) libgcc_s.so.1(GCC_3.0)(64bit) libgcc_s.so.1(GCC_3.4)(64bit) libgomp.so.1()(64bit) libgomp.so.1(GOMP_1.0)(64bit) libgomp.so.1(OMP_1.0)(64bit) libm.so.6()(64bit) libm.so.6(GLIBC_2.27)(64bit) libmariadb.so.3()(64bit) libmariadb.so.3(libmysqlclient_18)(64bit) libstdc++.so.6()(64bit) libstdc++.so.6(CXXABI_1.3)(64bit) libstdc++.so.6(CXXABI_1.3.9)(64bit) libstdc++.so.6(GLIBCXX_3.4)(64bit) libstdc++.so.6(GLIBCXX_3.4.11)(64bit) libstdc++.so.6(GLIBCXX_3.4.15)(64bit) libstdc++.so.6(GLIBCXX_3.4.21)(64bit) libstdc++.so.6(GLIBCXX_3.4.9)(64bit) libz.so.1()(64bit) rtld(GNU_HASH) Checking for unpackaged file(s): /usr/lib/rpm/check-files /builddir/build/BUILDROOT/cryptominisat-2.9.11-5.fc28.riscv64 Wrote: /builddir/build/SRPMS/cryptominisat-2.9.11-5.fc28.src.rpm Wrote: /builddir/build/RPMS/riscv64/cryptominisat-2.9.11-5.fc28.riscv64.rpm Wrote: /builddir/build/RPMS/riscv64/cryptominisat-devel-2.9.11-5.fc28.riscv64.rpm Wrote: /builddir/build/RPMS/riscv64/cryptominisat-libs-2.9.11-5.fc28.riscv64.rpm Executing(%clean): /bin/sh -e /var/tmp/rpm-tmp.OcfMDm + umask 022 + cd /builddir/build/BUILD + cd cryptominisat-2.9.11 + /usr/bin/rm -rf /builddir/build/BUILDROOT/cryptominisat-2.9.11-5.fc28.riscv64 + exit 0 + touch /buildok + cleanup + set +e + sync + sleep 5 + sync + poweroff Terminated ++ cleanup ++ set +e ++ sync Terminated +++ cleanup +++ set +e +++ sync +++ sleep 5 +++ sync +++ poweroff