hostname:  cluster056
[*] /tmp/math/minisat/work/.tools/bin/echo Making dependencies
<.> echo  Making dependencies
[*] c++ -O2 -Dz_off_t=long -I/usr/include -I/tmp/math/minisat/work/minisat -D __STDC_LIMIT_MACROS -D __STDC_FORMAT_MACROS -I/tmp/math/minisat/work/minisat /tmp/math/minisat/work/minisat/simp/Main.cc /tmp/math/minisat/work/minisat/simp/SimpSolver.cc -MM
<.> /tmp/math/minisat/work/.gcc/bin/g++ -fstack-protector-strong -D_FORTIFY_SOURCE=2 -fPIC -O2 -Dz_off_t=long -I/tmp/math/minisat/work/minisat -D__STDC_LIMIT_MACROS -D__STDC_FORMAT_MACROS /tmp/math/minisat/work/minisat/simp/Main.cc /tmp/math/minisat/work/minisat/simp/SimpSolver.cc -MM -std=c++98 -I/tmp/math/minisat/work/.buildlink/include -pie
[*] /tmp/math/minisat/work/.tools/bin/echo Compiling: simp/Main.o
<.> echo  Compiling: simp/Main.o
[*] /tmp/math/minisat/work/.tools/bin/echo Compiling: simp/SimpSolver.o
<.> echo  Compiling: simp/SimpSolver.o
[*] /tmp/math/minisat/work/.tools/bin/echo Compiling: utils/Options.o
<.> echo  Compiling: utils/Options.o
[*] c++ -O2 -Dz_off_t=long -I/usr/include -I/tmp/math/minisat/work/minisat -D __STDC_LIMIT_MACROS -D __STDC_FORMAT_MACROS -O3 -g -D DEBUG -c -o /tmp/math/minisat/work/minisat/simp/Main.o /tmp/math/minisat/work/minisat/simp/Main.cc
<.> /tmp/math/minisat/work/.gcc/bin/g++ -fstack-protector-strong -D_FORTIFY_SOURCE=2 -fPIC -O2 -Dz_off_t=long -I/tmp/math/minisat/work/minisat -D__STDC_LIMIT_MACROS -D__STDC_FORMAT_MACROS -O3 -g -DDEBUG -c -o /tmp/math/minisat/work/minisat/simp/Main.o /tmp/math/minisat/work/minisat/simp/Main.cc -std=c++98 -I/tmp/math/minisat/work/.buildlink/include
[*] /tmp/math/minisat/work/.tools/bin/echo Compiling: utils/System.o
<.> echo  Compiling: utils/System.o
[*] c++ -O2 -Dz_off_t=long -I/usr/include -I/tmp/math/minisat/work/minisat -D __STDC_LIMIT_MACROS -D __STDC_FORMAT_MACROS -O3 -g -D DEBUG -c -o /tmp/math/minisat/work/minisat/simp/SimpSolver.o /tmp/math/minisat/work/minisat/simp/SimpSolver.cc
<.> /tmp/math/minisat/work/.gcc/bin/g++ -fstack-protector-strong -D_FORTIFY_SOURCE=2 -fPIC -O2 -Dz_off_t=long -I/tmp/math/minisat/work/minisat -D__STDC_LIMIT_MACROS -D__STDC_FORMAT_MACROS -O3 -g -DDEBUG -c -o /tmp/math/minisat/work/minisat/simp/SimpSolver.o /tmp/math/minisat/work/minisat/simp/SimpSolver.cc -std=c++98 -I/tmp/math/minisat/work/.buildlink/include
[*] c++ -O2 -Dz_off_t=long -I/usr/include -I/tmp/math/minisat/work/minisat -D __STDC_LIMIT_MACROS -D __STDC_FORMAT_MACROS -O3 -g -D DEBUG -c -o /tmp/math/minisat/work/minisat/utils/Options.o /tmp/math/minisat/work/minisat/utils/Options.cc
<.> /tmp/math/minisat/work/.gcc/bin/g++ -fstack-protector-strong -D_FORTIFY_SOURCE=2 -fPIC -O2 -Dz_off_t=long -I/tmp/math/minisat/work/minisat -D__STDC_LIMIT_MACROS -D__STDC_FORMAT_MACROS -O3 -g -DDEBUG -c -o /tmp/math/minisat/work/minisat/utils/Options.o /tmp/math/minisat/work/minisat/utils/Options.cc -std=c++98 -I/tmp/math/minisat/work/.buildlink/include
[*] c++ -O2 -Dz_off_t=long -I/usr/include -I/tmp/math/minisat/work/minisat -D __STDC_LIMIT_MACROS -D __STDC_FORMAT_MACROS -O3 -g -D DEBUG -c -o /tmp/math/minisat/work/minisat/utils/System.o /tmp/math/minisat/work/minisat/utils/System.cc
<.> /tmp/math/minisat/work/.gcc/bin/g++ -fstack-protector-strong -D_FORTIFY_SOURCE=2 -fPIC -O2 -Dz_off_t=long -I/tmp/math/minisat/work/minisat -D__STDC_LIMIT_MACROS -D__STDC_FORMAT_MACROS -O3 -g -DDEBUG -c -o /tmp/math/minisat/work/minisat/utils/System.o /tmp/math/minisat/work/minisat/utils/System.cc -std=c++98 -I/tmp/math/minisat/work/.buildlink/include
[*] /tmp/math/minisat/work/.tools/bin/echo Compiling: core/Solver.o
<.> echo  Compiling: core/Solver.o
[*] c++ -O2 -Dz_off_t=long -I/usr/include -I/tmp/math/minisat/work/minisat -D __STDC_LIMIT_MACROS -D __STDC_FORMAT_MACROS -O3 -g -D DEBUG -c -o /tmp/math/minisat/work/minisat/core/Solver.o /tmp/math/minisat/work/minisat/core/Solver.cc
<.> /tmp/math/minisat/work/.gcc/bin/g++ -fstack-protector-strong -D_FORTIFY_SOURCE=2 -fPIC -O2 -Dz_off_t=long -I/tmp/math/minisat/work/minisat -D__STDC_LIMIT_MACROS -D__STDC_FORMAT_MACROS -O3 -g -DDEBUG -c -o /tmp/math/minisat/work/minisat/core/Solver.o /tmp/math/minisat/work/minisat/core/Solver.cc -std=c++98 -I/tmp/math/minisat/work/.buildlink/include
[*] c++ /tmp/math/minisat/work/minisat/simp/Main.o /tmp/math/minisat/work/minisat/simp/SimpSolver.o /tmp/math/minisat/work/minisat/utils/Options.o /tmp/math/minisat/work/minisat/utils/System.o /tmp/math/minisat/work/minisat/core/Solver.o -L/usr/lib -Wl,-R/usr/lib -lz -g -o minisat
<.> /tmp/math/minisat/work/.gcc/bin/g++ -fstack-protector-strong -D_FORTIFY_SOURCE=2 -fPIC /tmp/math/minisat/work/minisat/simp/Main.o /tmp/math/minisat/work/minisat/simp/SimpSolver.o /tmp/math/minisat/work/minisat/utils/Options.o /tmp/math/minisat/work/minisat/utils/System.o /tmp/math/minisat/work/minisat/core/Solver.o -lz -g -o minisat -std=c++98 -I/tmp/math/minisat/work/.buildlink/include -pie