Skip to content

Instantly share code, notes, and snippets.

@Sumith1896

Sumith1896/weightgen-build.log

Created September 27, 2017 14:33
Show Gist options
  • Star 0 You must be signed in to star a gist
  • Fork 0 You must be signed in to fork a gist
  • Save Sumith1896/fab00ee97303c85624172d2bbe495989 to your computer and use it in GitHub Desktop.
Save Sumith1896/fab00ee97303c85624172d2bbe495989 to your computer and use it in GitHub Desktop.
Download ZIP
weightgen build log
Raw
weightgen-build.log
sumith1896@yoda:~/github/weightgen/src/build$ make
make all-recursive
make[1]: Entering directory `/home/sumith1896/github/weightgen/src/build'
Making all in cmsat
make[2]: Entering directory `/home/sumith1896/github/weightgen/src/build/cmsat'
/bin/bash ../libtool --tag=CXX --mode=compile g++ -DHAVE_CONFIG_H -I. -I../../cmsat -I.. -Wall -I../../cmsat/../ -fopenmp -g -O3 -Wall -pedantic -std=c++11 -lrt -MT ClauseCleaner.lo -MD -MP -MF .deps/ClauseCleaner.Tpo -c -o ClauseCleaner.lo ../../cmsat/ClauseCleaner.cpp
libtool: compile: g++ -DHAVE_CONFIG_H -I. -I../../cmsat -I.. -Wall -I../../cmsat/../ -fopenmp -g -O3 -Wall -pedantic -std=c++11 -lrt -MT ClauseCleaner.lo -MD -MP -MF .deps/ClauseCleaner.Tpo -c ../../cmsat/ClauseCleaner.cpp -fPIC -DPIC -o .libs/ClauseCleaner.o
libtool: compile: g++ -DHAVE_CONFIG_H -I. -I../../cmsat -I.. -Wall -I../../cmsat/../ -fopenmp -g -O3 -Wall -pedantic -std=c++11 -lrt -MT ClauseCleaner.lo -MD -MP -MF .deps/ClauseCleaner.Tpo -c ../../cmsat/ClauseCleaner.cpp -o ClauseCleaner.o >/dev/null 2>&1
mv -f .deps/ClauseCleaner.Tpo .deps/ClauseCleaner.Plo
/bin/bash ../libtool --tag=CXX --mode=compile g++ -DHAVE_CONFIG_H -I. -I../../cmsat -I.. -Wall -I../../cmsat/../ -fopenmp -g -O3 -Wall -pedantic -std=c++11 -lrt -MT FailedLitSearcher.lo -MD -MP -MF .deps/FailedLitSearcher.Tpo -c -o FailedLitSearcher.lo ../../cmsat/FailedLitSearcher.cpp
libtool: compile: g++ -DHAVE_CONFIG_H -I. -I../../cmsat -I.. -Wall -I../../cmsat/../ -fopenmp -g -O3 -Wall -pedantic -std=c++11 -lrt -MT FailedLitSearcher.lo -MD -MP -MF .deps/FailedLitSearcher.Tpo -c ../../cmsat/FailedLitSearcher.cpp -fPIC -DPIC -o .libs/FailedLitSearcher.o
libtool: compile: g++ -DHAVE_CONFIG_H -I. -I../../cmsat -I.. -Wall -I../../cmsat/../ -fopenmp -g -O3 -Wall -pedantic -std=c++11 -lrt -MT FailedLitSearcher.lo -MD -MP -MF .deps/FailedLitSearcher.Tpo -c ../../cmsat/FailedLitSearcher.cpp -o FailedLitSearcher.o >/dev/null 2>&1
mv -f .deps/FailedLitSearcher.Tpo .deps/FailedLitSearcher.Plo
/bin/bash ../libtool --tag=CXX --mode=compile g++ -DHAVE_CONFIG_H -I. -I../../cmsat -I.. -Wall -I../../cmsat/../ -fopenmp -g -O3 -Wall -pedantic -std=c++11 -lrt -MT VarReplacer.lo -MD -MP -MF .deps/VarReplacer.Tpo -c -o VarReplacer.lo ../../cmsat/VarReplacer.cpp
libtool: compile: g++ -DHAVE_CONFIG_H -I. -I../../cmsat -I.. -Wall -I../../cmsat/../ -fopenmp -g -O3 -Wall -pedantic -std=c++11 -lrt -MT VarReplacer.lo -MD -MP -MF .deps/VarReplacer.Tpo -c ../../cmsat/VarReplacer.cpp -fPIC -DPIC -o .libs/VarReplacer.o
libtool: compile: g++ -DHAVE_CONFIG_H -I. -I../../cmsat -I.. -Wall -I../../cmsat/../ -fopenmp -g -O3 -Wall -pedantic -std=c++11 -lrt -MT VarReplacer.lo -MD -MP -MF .deps/VarReplacer.Tpo -c ../../cmsat/VarReplacer.cpp -o VarReplacer.o >/dev/null 2>&1
mv -f .deps/VarReplacer.Tpo .deps/VarReplacer.Plo
/bin/bash ../libtool --tag=CXX --mode=compile g++ -DHAVE_CONFIG_H -I. -I../../cmsat -I.. -Wall -I../../cmsat/../ -fopenmp -g -O3 -Wall -pedantic -std=c++11 -lrt -MT MatrixFinder.lo -MD -MP -MF .deps/MatrixFinder.Tpo -c -o MatrixFinder.lo ../../cmsat/MatrixFinder.cpp
libtool: compile: g++ -DHAVE_CONFIG_H -I. -I../../cmsat -I.. -Wall -I../../cmsat/../ -fopenmp -g -O3 -Wall -pedantic -std=c++11 -lrt -MT MatrixFinder.lo -MD -MP -MF .deps/MatrixFinder.Tpo -c ../../cmsat/MatrixFinder.cpp -fPIC -DPIC -o .libs/MatrixFinder.o
libtool: compile: g++ -DHAVE_CONFIG_H -I. -I../../cmsat -I.. -Wall -I../../cmsat/../ -fopenmp -g -O3 -Wall -pedantic -std=c++11 -lrt -MT MatrixFinder.lo -MD -MP -MF .deps/MatrixFinder.Tpo -c ../../cmsat/MatrixFinder.cpp -o MatrixFinder.o >/dev/null 2>&1
mv -f .deps/MatrixFinder.Tpo .deps/MatrixFinder.Plo
/bin/bash ../libtool --tag=CXX --mode=compile g++ -DHAVE_CONFIG_H -I. -I../../cmsat -I.. -Wall -I../../cmsat/../ -fopenmp -g -O3 -Wall -pedantic -std=c++11 -lrt -MT Solver.lo -MD -MP -MF .deps/Solver.Tpo -c -o Solver.lo ../../cmsat/Solver.cpp
libtool: compile: g++ -DHAVE_CONFIG_H -I. -I../../cmsat -I.. -Wall -I../../cmsat/../ -fopenmp -g -O3 -Wall -pedantic -std=c++11 -lrt -MT Solver.lo -MD -MP -MF .deps/Solver.Tpo -c ../../cmsat/Solver.cpp -fPIC -DPIC -o .libs/Solver.o
libtool: compile: g++ -DHAVE_CONFIG_H -I. -I../../cmsat -I.. -Wall -I../../cmsat/../ -fopenmp -g -O3 -Wall -pedantic -std=c++11 -lrt -MT Solver.lo -MD -MP -MF .deps/Solver.Tpo -c ../../cmsat/Solver.cpp -o Solver.o >/dev/null 2>&1
mv -f .deps/Solver.Tpo .deps/Solver.Plo
/bin/bash ../libtool --tag=CXX --mode=compile g++ -DHAVE_CONFIG_H -I. -I../../cmsat -I.. -Wall -I../../cmsat/../ -fopenmp -g -O3 -Wall -pedantic -std=c++11 -lrt -MT XorFinder.lo -MD -MP -MF .deps/XorFinder.Tpo -c -o XorFinder.lo ../../cmsat/XorFinder.cpp
libtool: compile: g++ -DHAVE_CONFIG_H -I. -I../../cmsat -I.. -Wall -I../../cmsat/../ -fopenmp -g -O3 -Wall -pedantic -std=c++11 -lrt -MT XorFinder.lo -MD -MP -MF .deps/XorFinder.Tpo -c ../../cmsat/XorFinder.cpp -fPIC -DPIC -o .libs/XorFinder.o
libtool: compile: g++ -DHAVE_CONFIG_H -I. -I../../cmsat -I.. -Wall -I../../cmsat/../ -fopenmp -g -O3 -Wall -pedantic -std=c++11 -lrt -MT XorFinder.lo -MD -MP -MF .deps/XorFinder.Tpo -c ../../cmsat/XorFinder.cpp -o XorFinder.o >/dev/null 2>&1
mv -f .deps/XorFinder.Tpo .deps/XorFinder.Plo
/bin/bash ../libtool --tag=CXX --mode=compile g++ -DHAVE_CONFIG_H -I. -I../../cmsat -I.. -Wall -I../../cmsat/../ -fopenmp -g -O3 -Wall -pedantic -std=c++11 -lrt -MT PackedRow.lo -MD -MP -MF .deps/PackedRow.Tpo -c -o PackedRow.lo ../../cmsat/PackedRow.cpp
libtool: compile: g++ -DHAVE_CONFIG_H -I. -I../../cmsat -I.. -Wall -I../../cmsat/../ -fopenmp -g -O3 -Wall -pedantic -std=c++11 -lrt -MT PackedRow.lo -MD -MP -MF .deps/PackedRow.Tpo -c ../../cmsat/PackedRow.cpp -fPIC -DPIC -o .libs/PackedRow.o
libtool: compile: g++ -DHAVE_CONFIG_H -I. -I../../cmsat -I.. -Wall -I../../cmsat/../ -fopenmp -g -O3 -Wall -pedantic -std=c++11 -lrt -MT PackedRow.lo -MD -MP -MF .deps/PackedRow.Tpo -c ../../cmsat/PackedRow.cpp -o PackedRow.o >/dev/null 2>&1
mv -f .deps/PackedRow.Tpo .deps/PackedRow.Plo
/bin/bash ../libtool --tag=CXX --mode=compile g++ -DHAVE_CONFIG_H -I. -I../../cmsat -I.. -Wall -I../../cmsat/../ -fopenmp -g -O3 -Wall -pedantic -std=c++11 -lrt -MT Gaussian.lo -MD -MP -MF .deps/Gaussian.Tpo -c -o Gaussian.lo ../../cmsat/Gaussian.cpp
libtool: compile: g++ -DHAVE_CONFIG_H -I. -I../../cmsat -I.. -Wall -I../../cmsat/../ -fopenmp -g -O3 -Wall -pedantic -std=c++11 -lrt -MT Gaussian.lo -MD -MP -MF .deps/Gaussian.Tpo -c ../../cmsat/Gaussian.cpp -fPIC -DPIC -o .libs/Gaussian.o
libtool: compile: g++ -DHAVE_CONFIG_H -I. -I../../cmsat -I.. -Wall -I../../cmsat/../ -fopenmp -g -O3 -Wall -pedantic -std=c++11 -lrt -MT Gaussian.lo -MD -MP -MF .deps/Gaussian.Tpo -c ../../cmsat/Gaussian.cpp -o Gaussian.o >/dev/null 2>&1
mv -f .deps/Gaussian.Tpo .deps/Gaussian.Plo
/bin/bash ../libtool --tag=CXX --mode=compile g++ -DHAVE_CONFIG_H -I. -I../../cmsat -I.. -Wall -I../../cmsat/../ -fopenmp -g -O3 -Wall -pedantic -std=c++11 -lrt -MT StateSaver.lo -MD -MP -MF .deps/StateSaver.Tpo -c -o StateSaver.lo ../../cmsat/StateSaver.cpp
libtool: compile: g++ -DHAVE_CONFIG_H -I. -I../../cmsat -I.. -Wall -I../../cmsat/../ -fopenmp -g -O3 -Wall -pedantic -std=c++11 -lrt -MT StateSaver.lo -MD -MP -MF .deps/StateSaver.Tpo -c ../../cmsat/StateSaver.cpp -fPIC -DPIC -o .libs/StateSaver.o
libtool: compile: g++ -DHAVE_CONFIG_H -I. -I../../cmsat -I.. -Wall -I../../cmsat/../ -fopenmp -g -O3 -Wall -pedantic -std=c++11 -lrt -MT StateSaver.lo -MD -MP -MF .deps/StateSaver.Tpo -c ../../cmsat/StateSaver.cpp -o StateSaver.o >/dev/null 2>&1
mv -f .deps/StateSaver.Tpo .deps/StateSaver.Plo
/bin/bash ../libtool --tag=CXX --mode=compile g++ -DHAVE_CONFIG_H -I. -I../../cmsat -I.. -Wall -I../../cmsat/../ -fopenmp -g -O3 -Wall -pedantic -std=c++11 -lrt -MT RestartTypeChooser.lo -MD -MP -MF .deps/RestartTypeChooser.Tpo -c -o RestartTypeChooser.lo ../../cmsat/RestartTypeChooser.cpp
libtool: compile: g++ -DHAVE_CONFIG_H -I. -I../../cmsat -I.. -Wall -I../../cmsat/../ -fopenmp -g -O3 -Wall -pedantic -std=c++11 -lrt -MT RestartTypeChooser.lo -MD -MP -MF .deps/RestartTypeChooser.Tpo -c ../../cmsat/RestartTypeChooser.cpp -fPIC -DPIC -o .libs/RestartTypeChooser.o
libtool: compile: g++ -DHAVE_CONFIG_H -I. -I../../cmsat -I.. -Wall -I../../cmsat/../ -fopenmp -g -O3 -Wall -pedantic -std=c++11 -lrt -MT RestartTypeChooser.lo -MD -MP -MF .deps/RestartTypeChooser.Tpo -c ../../cmsat/RestartTypeChooser.cpp -o RestartTypeChooser.o >/dev/null 2>&1
mv -f .deps/RestartTypeChooser.Tpo .deps/RestartTypeChooser.Plo
/bin/bash ../libtool --tag=CXX --mode=compile g++ -DHAVE_CONFIG_H -I. -I../../cmsat -I.. -Wall -I../../cmsat/../ -fopenmp -g -O3 -Wall -pedantic -std=c++11 -lrt -MT Subsumer.lo -MD -MP -MF .deps/Subsumer.Tpo -c -o Subsumer.lo ../../cmsat/Subsumer.cpp
libtool: compile: g++ -DHAVE_CONFIG_H -I. -I../../cmsat -I.. -Wall -I../../cmsat/../ -fopenmp -g -O3 -Wall -pedantic -std=c++11 -lrt -MT Subsumer.lo -MD -MP -MF .deps/Subsumer.Tpo -c ../../cmsat/Subsumer.cpp -fPIC -DPIC -o .libs/Subsumer.o
libtool: compile: g++ -DHAVE_CONFIG_H -I. -I../../cmsat -I.. -Wall -I../../cmsat/../ -fopenmp -g -O3 -Wall -pedantic -std=c++11 -lrt -MT Subsumer.lo -MD -MP -MF .deps/Subsumer.Tpo -c ../../cmsat/Subsumer.cpp -o Subsumer.o >/dev/null 2>&1
mv -f .deps/Subsumer.Tpo .deps/Subsumer.Plo
/bin/bash ../libtool --tag=CXX --mode=compile g++ -DHAVE_CONFIG_H -I. -I../../cmsat -I.. -Wall -I../../cmsat/../ -fopenmp -g -O3 -Wall -pedantic -std=c++11 -lrt -MT XorSubsumer.lo -MD -MP -MF .deps/XorSubsumer.Tpo -c -o XorSubsumer.lo ../../cmsat/XorSubsumer.cpp
libtool: compile: g++ -DHAVE_CONFIG_H -I. -I../../cmsat -I.. -Wall -I../../cmsat/../ -fopenmp -g -O3 -Wall -pedantic -std=c++11 -lrt -MT XorSubsumer.lo -MD -MP -MF .deps/XorSubsumer.Tpo -c ../../cmsat/XorSubsumer.cpp -fPIC -DPIC -o .libs/XorSubsumer.o
libtool: compile: g++ -DHAVE_CONFIG_H -I. -I../../cmsat -I.. -Wall -I../../cmsat/../ -fopenmp -g -O3 -Wall -pedantic -std=c++11 -lrt -MT XorSubsumer.lo -MD -MP -MF .deps/XorSubsumer.Tpo -c ../../cmsat/XorSubsumer.cpp -o XorSubsumer.o >/dev/null 2>&1
mv -f .deps/XorSubsumer.Tpo .deps/XorSubsumer.Plo
/bin/bash ../libtool --tag=CXX --mode=compile g++ -DHAVE_CONFIG_H -I. -I../../cmsat -I.. -Wall -I../../cmsat/../ -fopenmp -g -O3 -Wall -pedantic -std=c++11 -lrt -MT SolverMisc.lo -MD -MP -MF .deps/SolverMisc.Tpo -c -o SolverMisc.lo ../../cmsat/SolverMisc.cpp
libtool: compile: g++ -DHAVE_CONFIG_H -I. -I../../cmsat -I.. -Wall -I../../cmsat/../ -fopenmp -g -O3 -Wall -pedantic -std=c++11 -lrt -MT SolverMisc.lo -MD -MP -MF .deps/SolverMisc.Tpo -c ../../cmsat/SolverMisc.cpp -fPIC -DPIC -o .libs/SolverMisc.o
libtool: compile: g++ -DHAVE_CONFIG_H -I. -I../../cmsat -I.. -Wall -I../../cmsat/../ -fopenmp -g -O3 -Wall -pedantic -std=c++11 -lrt -MT SolverMisc.lo -MD -MP -MF .deps/SolverMisc.Tpo -c ../../cmsat/SolverMisc.cpp -o SolverMisc.o >/dev/null 2>&1
mv -f .deps/SolverMisc.Tpo .deps/SolverMisc.Plo
/bin/bash ../libtool --tag=CXX --mode=compile g++ -DHAVE_CONFIG_H -I. -I../../cmsat -I.. -Wall -I../../cmsat/../ -fopenmp -g -O3 -Wall -pedantic -std=c++11 -lrt -MT SolverDebug.lo -MD -MP -MF .deps/SolverDebug.Tpo -c -o SolverDebug.lo ../../cmsat/SolverDebug.cpp
libtool: compile: g++ -DHAVE_CONFIG_H -I. -I../../cmsat -I.. -Wall -I../../cmsat/../ -fopenmp -g -O3 -Wall -pedantic -std=c++11 -lrt -MT SolverDebug.lo -MD -MP -MF .deps/SolverDebug.Tpo -c ../../cmsat/SolverDebug.cpp -fPIC -DPIC -o .libs/SolverDebug.o
libtool: compile: g++ -DHAVE_CONFIG_H -I. -I../../cmsat -I.. -Wall -I../../cmsat/../ -fopenmp -g -O3 -Wall -pedantic -std=c++11 -lrt -MT SolverDebug.lo -MD -MP -MF .deps/SolverDebug.Tpo -c ../../cmsat/SolverDebug.cpp -o SolverDebug.o >/dev/null 2>&1
mv -f .deps/SolverDebug.Tpo .deps/SolverDebug.Plo
/bin/bash ../libtool --tag=CXX --mode=compile g++ -DHAVE_CONFIG_H -I. -I../../cmsat -I.. -Wall -I../../cmsat/../ -fopenmp -g -O3 -Wall -pedantic -std=c++11 -lrt -MT ClauseAllocator.lo -MD -MP -MF .deps/ClauseAllocator.Tpo -c -o ClauseAllocator.lo ../../cmsat/ClauseAllocator.cpp
libtool: compile: g++ -DHAVE_CONFIG_H -I. -I../../cmsat -I.. -Wall -I../../cmsat/../ -fopenmp -g -O3 -Wall -pedantic -std=c++11 -lrt -MT ClauseAllocator.lo -MD -MP -MF .deps/ClauseAllocator.Tpo -c ../../cmsat/ClauseAllocator.cpp -fPIC -DPIC -o .libs/ClauseAllocator.o
libtool: compile: g++ -DHAVE_CONFIG_H -I. -I../../cmsat -I.. -Wall -I../../cmsat/../ -fopenmp -g -O3 -Wall -pedantic -std=c++11 -lrt -MT ClauseAllocator.lo -MD -MP -MF .deps/ClauseAllocator.Tpo -c ../../cmsat/ClauseAllocator.cpp -o ClauseAllocator.o >/dev/null 2>&1
mv -f .deps/ClauseAllocator.Tpo .deps/ClauseAllocator.Plo
/bin/bash ../libtool --tag=CXX --mode=compile g++ -DHAVE_CONFIG_H -I. -I../../cmsat -I.. -Wall -I../../cmsat/../ -fopenmp -g -O3 -Wall -pedantic -std=c++11 -lrt -MT UselessBinRemover.lo -MD -MP -MF .deps/UselessBinRemover.Tpo -c -o UselessBinRemover.lo ../../cmsat/UselessBinRemover.cpp
libtool: compile: g++ -DHAVE_CONFIG_H -I. -I../../cmsat -I.. -Wall -I../../cmsat/../ -fopenmp -g -O3 -Wall -pedantic -std=c++11 -lrt -MT UselessBinRemover.lo -MD -MP -MF .deps/UselessBinRemover.Tpo -c ../../cmsat/UselessBinRemover.cpp -fPIC -DPIC -o .libs/UselessBinRemover.o
libtool: compile: g++ -DHAVE_CONFIG_H -I. -I../../cmsat -I.. -Wall -I../../cmsat/../ -fopenmp -g -O3 -Wall -pedantic -std=c++11 -lrt -MT UselessBinRemover.lo -MD -MP -MF .deps/UselessBinRemover.Tpo -c ../../cmsat/UselessBinRemover.cpp -o UselessBinRemover.o >/dev/null 2>&1
mv -f .deps/UselessBinRemover.Tpo .deps/UselessBinRemover.Plo
/bin/bash ../libtool --tag=CXX --mode=compile g++ -DHAVE_CONFIG_H -I. -I../../cmsat -I.. -Wall -I../../cmsat/../ -fopenmp -g -O3 -Wall -pedantic -std=c++11 -lrt -MT SCCFinder.lo -MD -MP -MF .deps/SCCFinder.Tpo -c -o SCCFinder.lo ../../cmsat/SCCFinder.cpp
libtool: compile: g++ -DHAVE_CONFIG_H -I. -I../../cmsat -I.. -Wall -I../../cmsat/../ -fopenmp -g -O3 -Wall -pedantic -std=c++11 -lrt -MT SCCFinder.lo -MD -MP -MF .deps/SCCFinder.Tpo -c ../../cmsat/SCCFinder.cpp -fPIC -DPIC -o .libs/SCCFinder.o
libtool: compile: g++ -DHAVE_CONFIG_H -I. -I../../cmsat -I.. -Wall -I../../cmsat/../ -fopenmp -g -O3 -Wall -pedantic -std=c++11 -lrt -MT SCCFinder.lo -MD -MP -MF .deps/SCCFinder.Tpo -c ../../cmsat/SCCFinder.cpp -o SCCFinder.o >/dev/null 2>&1
mv -f .deps/SCCFinder.Tpo .deps/SCCFinder.Plo
/bin/bash ../libtool --tag=CXX --mode=compile g++ -DHAVE_CONFIG_H -I. -I../../cmsat -I.. -Wall -I../../cmsat/../ -fopenmp -g -O3 -Wall -pedantic -std=c++11 -lrt -MT ClauseVivifier.lo -MD -MP -MF .deps/ClauseVivifier.Tpo -c -o ClauseVivifier.lo ../../cmsat/ClauseVivifier.cpp
libtool: compile: g++ -DHAVE_CONFIG_H -I. -I../../cmsat -I.. -Wall -I../../cmsat/../ -fopenmp -g -O3 -Wall -pedantic -std=c++11 -lrt -MT ClauseVivifier.lo -MD -MP -MF .deps/ClauseVivifier.Tpo -c ../../cmsat/ClauseVivifier.cpp -fPIC -DPIC -o .libs/ClauseVivifier.o
libtool: compile: g++ -DHAVE_CONFIG_H -I. -I../../cmsat -I.. -Wall -I../../cmsat/../ -fopenmp -g -O3 -Wall -pedantic -std=c++11 -lrt -MT ClauseVivifier.lo -MD -MP -MF .deps/ClauseVivifier.Tpo -c ../../cmsat/ClauseVivifier.cpp -o ClauseVivifier.o >/dev/null 2>&1
mv -f .deps/ClauseVivifier.Tpo .deps/ClauseVivifier.Plo
/bin/bash ../libtool --tag=CXX --mode=compile g++ -DHAVE_CONFIG_H -I. -I../../cmsat -I.. -Wall -I../../cmsat/../ -fopenmp -g -O3 -Wall -pedantic -std=c++11 -lrt -MT CompleteDetachReattacher.lo -MD -MP -MF .deps/CompleteDetachReattacher.Tpo -c -o CompleteDetachReattacher.lo ../../cmsat/CompleteDetachReattacher.cpp
libtool: compile: g++ -DHAVE_CONFIG_H -I. -I../../cmsat -I.. -Wall -I../../cmsat/../ -fopenmp -g -O3 -Wall -pedantic -std=c++11 -lrt -MT CompleteDetachReattacher.lo -MD -MP -MF .deps/CompleteDetachReattacher.Tpo -c ../../cmsat/CompleteDetachReattacher.cpp -fPIC -DPIC -o .libs/CompleteDetachReattacher.o
libtool: compile: g++ -DHAVE_CONFIG_H -I. -I../../cmsat -I.. -Wall -I../../cmsat/../ -fopenmp -g -O3 -Wall -pedantic -std=c++11 -lrt -MT CompleteDetachReattacher.lo -MD -MP -MF .deps/CompleteDetachReattacher.Tpo -c ../../cmsat/CompleteDetachReattacher.cpp -o CompleteDetachReattacher.o >/dev/null 2>&1
mv -f .deps/CompleteDetachReattacher.Tpo .deps/CompleteDetachReattacher.Plo
/bin/bash ../libtool --tag=CXX --mode=compile g++ -DHAVE_CONFIG_H -I. -I../../cmsat -I.. -Wall -I../../cmsat/../ -fopenmp -g -O3 -Wall -pedantic -std=c++11 -lrt -MT DimacsParser.lo -MD -MP -MF .deps/DimacsParser.Tpo -c -o DimacsParser.lo ../../cmsat/DimacsParser.cpp
libtool: compile: g++ -DHAVE_CONFIG_H -I. -I../../cmsat -I.. -Wall -I../../cmsat/../ -fopenmp -g -O3 -Wall -pedantic -std=c++11 -lrt -MT DimacsParser.lo -MD -MP -MF .deps/DimacsParser.Tpo -c ../../cmsat/DimacsParser.cpp -fPIC -DPIC -o .libs/DimacsParser.o
libtool: compile: g++ -DHAVE_CONFIG_H -I. -I../../cmsat -I.. -Wall -I../../cmsat/../ -fopenmp -g -O3 -Wall -pedantic -std=c++11 -lrt -MT DimacsParser.lo -MD -MP -MF .deps/DimacsParser.Tpo -c ../../cmsat/DimacsParser.cpp -o DimacsParser.o >/dev/null 2>&1
mv -f .deps/DimacsParser.Tpo .deps/DimacsParser.Plo
/bin/bash ../libtool --tag=CXX --mode=compile g++ -DHAVE_CONFIG_H -I. -I../../cmsat -I.. -Wall -I../../cmsat/../ -fopenmp -g -O3 -Wall -pedantic -std=c++11 -lrt -MT OnlyNonLearntBins.lo -MD -MP -MF .deps/OnlyNonLearntBins.Tpo -c -o OnlyNonLearntBins.lo ../../cmsat/OnlyNonLearntBins.cpp
libtool: compile: g++ -DHAVE_CONFIG_H -I. -I../../cmsat -I.. -Wall -I../../cmsat/../ -fopenmp -g -O3 -Wall -pedantic -std=c++11 -lrt -MT OnlyNonLearntBins.lo -MD -MP -MF .deps/OnlyNonLearntBins.Tpo -c ../../cmsat/OnlyNonLearntBins.cpp -fPIC -DPIC -o .libs/OnlyNonLearntBins.o
libtool: compile: g++ -DHAVE_CONFIG_H -I. -I../../cmsat -I.. -Wall -I../../cmsat/../ -fopenmp -g -O3 -Wall -pedantic -std=c++11 -lrt -MT OnlyNonLearntBins.lo -MD -MP -MF .deps/OnlyNonLearntBins.Tpo -c ../../cmsat/OnlyNonLearntBins.cpp -o OnlyNonLearntBins.o >/dev/null 2>&1
mv -f .deps/OnlyNonLearntBins.Tpo .deps/OnlyNonLearntBins.Plo
/bin/bash ../libtool --tag=CXX --mode=compile g++ -DHAVE_CONFIG_H -I. -I../../cmsat -I.. -Wall -I../../cmsat/../ -fopenmp -g -O3 -Wall -pedantic -std=c++11 -lrt -MT SolverConf.lo -MD -MP -MF .deps/SolverConf.Tpo -c -o SolverConf.lo ../../cmsat/SolverConf.cpp
libtool: compile: g++ -DHAVE_CONFIG_H -I. -I../../cmsat -I.. -Wall -I../../cmsat/../ -fopenmp -g -O3 -Wall -pedantic -std=c++11 -lrt -MT SolverConf.lo -MD -MP -MF .deps/SolverConf.Tpo -c ../../cmsat/SolverConf.cpp -fPIC -DPIC -o .libs/SolverConf.o
In file included from ../../cmsat/SolverConf.cpp:22:0:
../../cmsat/../cmsat/SolverConf.h: In constructor 'CMSat::SolverConf::SolverConf()':
../../cmsat/../cmsat/SolverConf.h:105:18: warning: 'CMSat::SolverConf::origSeed' will be initialized after [-Wreorder]
uint32_t origSeed;
^
../../cmsat/../cmsat/SolverConf.h:103:18: warning: 'long int CMSat::SolverConf::switch_off_subsumer_max_vars' [-Wreorder]
long int switch_off_subsumer_max_vars;
^
../../cmsat/SolverConf.cpp:27:1: warning: when initialized here [-Wreorder]
SolverConf::SolverConf() :
^
In file included from ../../cmsat/SolverConf.cpp:22:0:
../../cmsat/../cmsat/SolverConf.h:107:17: warning: 'CMSat::SolverConf::startIteration' will be initialized after [-Wreorder]
int32_t startIteration;
^
../../cmsat/../cmsat/SolverConf.h:106:18: warning: 'uint32_t CMSat::SolverConf::samples' [-Wreorder]
uint32_t samples;
^
../../cmsat/SolverConf.cpp:27:1: warning: when initialized here [-Wreorder]
SolverConf::SolverConf() :
^
libtool: compile: g++ -DHAVE_CONFIG_H -I. -I../../cmsat -I.. -Wall -I../../cmsat/../ -fopenmp -g -O3 -Wall -pedantic -std=c++11 -lrt -MT SolverConf.lo -MD -MP -MF .deps/SolverConf.Tpo -c ../../cmsat/SolverConf.cpp -o SolverConf.o >/dev/null 2>&1
mv -f .deps/SolverConf.Tpo .deps/SolverConf.Plo
/bin/bash ../libtool --tag=CXX --mode=compile g++ -DHAVE_CONFIG_H -I. -I../../cmsat -I.. -Wall -I../../cmsat/../ -fopenmp -g -O3 -Wall -pedantic -std=c++11 -lrt -MT DataSync.lo -MD -MP -MF .deps/DataSync.Tpo -c -o DataSync.lo ../../cmsat/DataSync.cpp
libtool: compile: g++ -DHAVE_CONFIG_H -I. -I../../cmsat -I.. -Wall -I../../cmsat/../ -fopenmp -g -O3 -Wall -pedantic -std=c++11 -lrt -MT DataSync.lo -MD -MP -MF .deps/DataSync.Tpo -c ../../cmsat/DataSync.cpp -fPIC -DPIC -o .libs/DataSync.o
libtool: compile: g++ -DHAVE_CONFIG_H -I. -I../../cmsat -I.. -Wall -I../../cmsat/../ -fopenmp -g -O3 -Wall -pedantic -std=c++11 -lrt -MT DataSync.lo -MD -MP -MF .deps/DataSync.Tpo -c ../../cmsat/DataSync.cpp -o DataSync.o >/dev/null 2>&1
mv -f .deps/DataSync.Tpo .deps/DataSync.Plo
/bin/bash ../libtool --tag=CXX --mode=compile g++ -DHAVE_CONFIG_H -I. -I../../cmsat -I.. -Wall -I../../cmsat/../ -fopenmp -g -O3 -Wall -pedantic -std=c++11 -lrt -MT BothCache.lo -MD -MP -MF .deps/BothCache.Tpo -c -o BothCache.lo ../../cmsat/BothCache.cpp
libtool: compile: g++ -DHAVE_CONFIG_H -I. -I../../cmsat -I.. -Wall -I../../cmsat/../ -fopenmp -g -O3 -Wall -pedantic -std=c++11 -lrt -MT BothCache.lo -MD -MP -MF .deps/BothCache.Tpo -c ../../cmsat/BothCache.cpp -fPIC -DPIC -o .libs/BothCache.o
libtool: compile: g++ -DHAVE_CONFIG_H -I. -I../../cmsat -I.. -Wall -I../../cmsat/../ -fopenmp -g -O3 -Wall -pedantic -std=c++11 -lrt -MT BothCache.lo -MD -MP -MF .deps/BothCache.Tpo -c ../../cmsat/BothCache.cpp -o BothCache.o >/dev/null 2>&1
mv -f .deps/BothCache.Tpo .deps/BothCache.Plo
/bin/bash ../libtool --tag=CXX --mode=link g++ -Wall -I../../cmsat/../ -fopenmp -g -O3 -Wall -pedantic -std=c++11 -lrt -release 1.0 -no-undefined -o libweightgen.la -rpath /usr/local/lib 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
libtool: link: g++ -fPIC -DPIC -shared -nostdlib /usr/lib/gcc/x86_64-linux-gnu/4.8/../../../x86_64-linux-gnu/crti.o /usr/lib/gcc/x86_64-linux-gnu/4.8/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 -lrt -lz -L/usr/lib/gcc/x86_64-linux-gnu/4.8 -L/usr/lib/gcc/x86_64-linux-gnu/4.8/../../../x86_64-linux-gnu -L/usr/lib/gcc/x86_64-linux-gnu/4.8/../../../../lib -L/lib/x86_64-linux-gnu -L/lib/../lib -L/usr/lib/x86_64-linux-gnu -L/usr/lib/../lib -L/usr/lib/gcc/x86_64-linux-gnu/4.8/../../.. -lstdc++ -lm -lc -lgcc_s /usr/lib/gcc/x86_64-linux-gnu/4.8/crtendS.o /usr/lib/gcc/x86_64-linux-gnu/4.8/../../../x86_64-linux-gnu/crtn.o -fopenmp -O3 -fopenmp -Wl,-soname -Wl,libweightgen-1.0.so -o .libs/libweightgen-1.0.so
libtool: link: (cd ".libs" && rm -f "libweightgen.so" && ln -s "libweightgen-1.0.so" "libweightgen.so")
libtool: link: ar cru .libs/libweightgen.a ClauseCleaner.o FailedLitSearcher.o VarReplacer.o MatrixFinder.o Solver.o XorFinder.o PackedRow.o Gaussian.o StateSaver.o RestartTypeChooser.o Subsumer.o XorSubsumer.o SolverMisc.o SolverDebug.o ClauseAllocator.o UselessBinRemover.o SCCFinder.o ClauseVivifier.o CompleteDetachReattacher.o DimacsParser.o OnlyNonLearntBins.o SolverConf.o DataSync.o BothCache.o
libtool: link: ranlib .libs/libweightgen.a
libtool: link: ( cd ".libs" && rm -f "libweightgen.la" && ln -s "../libweightgen.la" "libweightgen.la" )
g++ -DHAVE_CONFIG_H -I. -I../../cmsat -I.. -Wall -I../../cmsat/../ -fopenmp -g -O3 -Wall -pedantic -std=c++11 -lrt -MT Main.o -MD -MP -MF .deps/Main.Tpo -c -o Main.o ../../cmsat/Main.cpp
../../cmsat/Main.cpp: In member function ‘void CMSat::Main::InitializeNonFactored(CMSat::Solver&)’:
../../cmsat/Main.cpp:1074:48: warning: comparison between signed and unsigned integer expressions [-Wsign-compare]
for (int i=0; i<solver.independentSet.size(); i++){
^
../../cmsat/Main.cpp: In member function ‘CMSat::lbool CMSat::Main::BoundedSAT(uint32_t, uint32_t, CMSat::Solver&, FILE*)’:
../../cmsat/Main.cpp:1097:19: warning: unused variable ‘current_nr_of_solutions’ [-Wunused-variable]
unsigned long current_nr_of_solutions = 0;
^
../../cmsat/Main.cpp:1100:11: warning: unused variable ‘min_weight’ [-Wunused-variable]
float min_weight = 0;
^
../../cmsat/Main.cpp: In member function ‘CMSat::SATCount CMSat::Main::ApproxMC(CMSat::Solver&, FILE*)’:
../../cmsat/Main.cpp:1201:54: warning: comparison between signed and unsigned integer expressions [-Wsign-compare]
for (hashCount = 0; hashCount < solver.nVars(); hashCount++) {
^
../../cmsat/Main.cpp: In member function ‘int CMSat::Main::singleThreadSolve()’:
../../cmsat/Main.cpp:1366:58: warning: comparison between signed and unsigned integer expressions [-Wsign-compare]
if (conf.startIteration > solver.independentSet.size()){
^
../../cmsat/Main.cpp:1345:12: warning: unused variable ‘myTime’ [-Wunused-variable]
double myTime = time(NULL);
^
../../cmsat/Main.cpp:1365:11: warning: variable ‘ret’ set but not used [-Wunused-but-set-variable]
lbool ret = l_True;
^
mv -f .deps/Main.Tpo .deps/Main.Po
/bin/bash ../libtool --tag=CXX --mode=link g++ -Wall -I../../cmsat/../ -fopenmp -g -O3 -Wall -pedantic -std=c++11 -lrt -static -lz -fopenmp -lz -o weightgen Main.o libweightgen.la -lrt -lz
libtool: link: g++ -Wall -I../../cmsat/../ -fopenmp -g -O3 -Wall -pedantic -std=c++11 -fopenmp -o weightgen Main.o ./.libs/libweightgen.a -lrt -lz -fopenmp
make[2]: Leaving directory `/home/sumith1896/github/weightgen/src/build/cmsat'
Making all in man
make[2]: Entering directory `/home/sumith1896/github/weightgen/src/build/man'
make[2]: *** No rule to make target `weightgen.1', needed by `all-am'. Stop.
make[2]: Leaving directory `/home/sumith1896/github/weightgen/src/build/man'
make[1]: *** [all-recursive] Error 1
make[1]: Leaving directory `/home/sumith1896/github/weightgen/src/build'
make: *** [all] Error 2
sumith1896@yoda:~/github/weightgen/src/build$
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment