[*] /var/pkgsrc/work/math/minisat/work/.tools/bin/true 
<.> true  
[*] /var/pkgsrc/work/math/minisat/work/.tools/bin/true 
<.> true  
[*] /var/pkgsrc/work/math/minisat/work/.tools/bin/true 
<.> true  
[*] /var/pkgsrc/work/math/minisat/work/.tools/bin/true 
<.> true  
[*] /var/pkgsrc/work/math/minisat/work/.tools/bin/true 
<.> true  
[*] /var/pkgsrc/work/math/minisat/work/.tools/bin/true 
<.> true  
[*] /var/pkgsrc/work/math/minisat/work/.tools/bin/true 
<.> true  
[*] /var/pkgsrc/work/math/minisat/work/.tools/bin/true 
<.> true  
[*] /var/pkgsrc/work/math/minisat/work/.tools/bin/true 
<.> true  
[*] /var/pkgsrc/work/math/minisat/work/.tools/bin/true 
<.> true  
[*] /var/pkgsrc/work/math/minisat/work/.tools/bin/true 
<.> true  
[*] /var/pkgsrc/work/math/minisat/work/.tools/bin/true 
<.> true  
[*] /var/pkgsrc/work/math/minisat/work/.tools/bin/true 
<.> true  
[*] /var/pkgsrc/work/math/minisat/work/.tools/bin/true 
<.> true  
[*] /var/pkgsrc/work/math/minisat/work/.tools/bin/true 
<.> true  
[*] /var/pkgsrc/work/math/minisat/work/.tools/bin/true 
<.> true  
[*] /var/pkgsrc/work/math/minisat/work/.tools/bin/true 
<.> true  
[*] /var/pkgsrc/work/math/minisat/work/.tools/bin/true 
<.> true  
[*] /var/pkgsrc/work/math/minisat/work/.tools/bin/true 
<.> true  
[*] /var/pkgsrc/work/math/minisat/work/.tools/bin/true 
<.> true  
[*] /var/pkgsrc/work/math/minisat/work/.tools/bin/true 
<.> true  
[*] /var/pkgsrc/work/math/minisat/work/.tools/bin/true 
<.> true  
[*] /var/pkgsrc/work/math/minisat/work/.tools/bin/true 
<.> true  
[*] /var/pkgsrc/work/math/minisat/work/.tools/bin/true 
<.> true  
[*] /var/pkgsrc/work/math/minisat/work/.tools/bin/true 
<.> true  
[*] /var/pkgsrc/work/math/minisat/work/.tools/bin/true 
<.> true  
[*] /var/pkgsrc/work/math/minisat/work/.tools/bin/true 
<.> true  
[*] /var/pkgsrc/work/math/minisat/work/.tools/bin/true 
<.> true  
[*] /var/pkgsrc/work/math/minisat/work/.tools/bin/true 
<.> true  
[*] /var/pkgsrc/work/math/minisat/work/.tools/bin/true 
<.> true  
[*] /var/pkgsrc/work/math/minisat/work/.tools/bin/true 
<.> true  
[*] /var/pkgsrc/work/math/minisat/work/.tools/bin/echo Making dependencies
<.> echo  Making dependencies
[*] c++ -O2 -I/usr/include -I/var/pkgsrc/work/math/minisat/work/minisat -D __STDC_LIMIT_MACROS -D __STDC_FORMAT_MACROS -I/var/pkgsrc/work/math/minisat/work/minisat /var/pkgsrc/work/math/minisat/work/minisat/simp/Main.cc /var/pkgsrc/work/math/minisat/work/minisat/simp/SimpSolver.cc -MM
<.> /usr/bin/clang++ -m64 -O2 -I/var/pkgsrc/work/math/minisat/work/minisat -D__STDC_LIMIT_MACROS -D__STDC_FORMAT_MACROS /var/pkgsrc/work/math/minisat/work/minisat/simp/Main.cc /var/pkgsrc/work/math/minisat/work/minisat/simp/SimpSolver.cc -MM -Qunused-arguments -fstack-protector -I/var/pkgsrc/work/math/minisat/work/.buildlink/include
[*] /var/pkgsrc/work/math/minisat/work/.tools/bin/echo Compiling: simp/Main.o
<.> echo  Compiling: simp/Main.o
[*] c++ -O2 -I/usr/include -I/var/pkgsrc/work/math/minisat/work/minisat -D __STDC_LIMIT_MACROS -D __STDC_FORMAT_MACROS -O3 -g -D DEBUG -c -o /var/pkgsrc/work/math/minisat/work/minisat/simp/Main.o /var/pkgsrc/work/math/minisat/work/minisat/simp/Main.cc
<.> /usr/bin/clang++ -m64 -O2 -I/var/pkgsrc/work/math/minisat/work/minisat -D__STDC_LIMIT_MACROS -D__STDC_FORMAT_MACROS -O3 -g -DDEBUG -c -o /var/pkgsrc/work/math/minisat/work/minisat/simp/Main.o /var/pkgsrc/work/math/minisat/work/minisat/simp/Main.cc -Qunused-arguments -fstack-protector -I/var/pkgsrc/work/math/minisat/work/.buildlink/include
[*] /var/pkgsrc/work/math/minisat/work/.tools/bin/echo Compiling: simp/SimpSolver.o
<.> echo  Compiling: simp/SimpSolver.o
[*] /var/pkgsrc/work/math/minisat/work/.tools/bin/echo Compiling: utils/Options.o
<.> echo  Compiling: utils/Options.o
[*] c++ -O2 -I/usr/include -I/var/pkgsrc/work/math/minisat/work/minisat -D __STDC_LIMIT_MACROS -D __STDC_FORMAT_MACROS -O3 -g -D DEBUG -c -o /var/pkgsrc/work/math/minisat/work/minisat/simp/SimpSolver.o /var/pkgsrc/work/math/minisat/work/minisat/simp/SimpSolver.cc
<.> /usr/bin/clang++ -m64 -O2 -I/var/pkgsrc/work/math/minisat/work/minisat -D__STDC_LIMIT_MACROS -D__STDC_FORMAT_MACROS -O3 -g -DDEBUG -c -o /var/pkgsrc/work/math/minisat/work/minisat/simp/SimpSolver.o /var/pkgsrc/work/math/minisat/work/minisat/simp/SimpSolver.cc -Qunused-arguments -fstack-protector -I/var/pkgsrc/work/math/minisat/work/.buildlink/include
[*] c++ -O2 -I/usr/include -I/var/pkgsrc/work/math/minisat/work/minisat -D __STDC_LIMIT_MACROS -D __STDC_FORMAT_MACROS -O3 -g -D DEBUG -c -o /var/pkgsrc/work/math/minisat/work/minisat/utils/Options.o /var/pkgsrc/work/math/minisat/work/minisat/utils/Options.cc
<.> /usr/bin/clang++ -m64 -O2 -I/var/pkgsrc/work/math/minisat/work/minisat -D__STDC_LIMIT_MACROS -D__STDC_FORMAT_MACROS -O3 -g -DDEBUG -c -o /var/pkgsrc/work/math/minisat/work/minisat/utils/Options.o /var/pkgsrc/work/math/minisat/work/minisat/utils/Options.cc -Qunused-arguments -fstack-protector -I/var/pkgsrc/work/math/minisat/work/.buildlink/include