[*] /Users/pbulk/build/math/minisat/work/.tools/bin/pwd <.> pwd [*] /Users/pbulk/build/math/minisat/work/.tools/bin/pwd <.> pwd [*] /Users/pbulk/build/math/minisat/work/.tools/bin/pwd <.> pwd [*] /Users/pbulk/build/math/minisat/work/.tools/bin/pwd <.> pwd [*] /Users/pbulk/build/math/minisat/work/.tools/bin/pwd <.> pwd [*] /Users/pbulk/build/math/minisat/work/.tools/bin/pwd <.> pwd [*] /Users/pbulk/build/math/minisat/work/.tools/bin/pwd <.> pwd [*] /Users/pbulk/build/math/minisat/work/.tools/bin/pwd <.> pwd [*] /Users/pbulk/build/math/minisat/work/.tools/bin/pwd <.> pwd [*] /Users/pbulk/build/math/minisat/work/.tools/bin/pwd <.> pwd [*] /Users/pbulk/build/math/minisat/work/.tools/bin/pwd <.> pwd [*] /Users/pbulk/build/math/minisat/work/.tools/bin/pwd <.> pwd [*] /Users/pbulk/build/math/minisat/work/.tools/bin/pwd <.> pwd [*] /Users/pbulk/build/math/minisat/work/.tools/bin/pwd <.> pwd [*] /Users/pbulk/build/math/minisat/work/.tools/bin/pwd <.> pwd [*] /Users/pbulk/build/math/minisat/work/.tools/bin/pwd <.> pwd [*] /Users/pbulk/build/math/minisat/work/.tools/bin/pwd <.> pwd [*] /Users/pbulk/build/math/minisat/work/.tools/bin/echo Making dependencies <.> echo Making dependencies [*] c++ -pipe -Os -I/opt/pkg/include -I/Users/pbulk/build/math/minisat/work/minisat -D __STDC_LIMIT_MACROS -D __STDC_FORMAT_MACROS -I/Users/pbulk/build/math/minisat/work/minisat /Users/pbulk/build/math/minisat/work/minisat/simp/Main.cc /Users/pbulk/build/math/minisat/work/minisat/simp/SimpSolver.cc -MM <.> /usr/bin/clang++ -m64 -pipe -Os -I/Users/pbulk/build/math/minisat/work/.buildlink/include -I/Users/pbulk/build/math/minisat/work/minisat -D__STDC_LIMIT_MACROS -D__STDC_FORMAT_MACROS /Users/pbulk/build/math/minisat/work/minisat/simp/Main.cc /Users/pbulk/build/math/minisat/work/minisat/simp/SimpSolver.cc -MM -isysroot /Applications/Xcode-13.4.1.app/Contents/Developer/Platforms/MacOSX.platform/Developer/SDKs/MacOSX12.3.sdk -std=c++98 -Qunused-arguments [*] /Users/pbulk/build/math/minisat/work/.tools/bin/pwd <.> pwd [*] /Users/pbulk/build/math/minisat/work/.tools/bin/pwd <.> pwd [*] /Users/pbulk/build/math/minisat/work/.tools/bin/pwd <.> pwd [*] /Users/pbulk/build/math/minisat/work/.tools/bin/pwd <.> pwd [*] /Users/pbulk/build/math/minisat/work/.tools/bin/pwd <.> pwd [*] /Users/pbulk/build/math/minisat/work/.tools/bin/pwd <.> pwd [*] /Users/pbulk/build/math/minisat/work/.tools/bin/pwd <.> pwd [*] /Users/pbulk/build/math/minisat/work/.tools/bin/pwd <.> pwd [*] /Users/pbulk/build/math/minisat/work/.tools/bin/pwd <.> pwd [*] /Users/pbulk/build/math/minisat/work/.tools/bin/pwd <.> pwd [*] /Users/pbulk/build/math/minisat/work/.tools/bin/pwd <.> pwd [*] /Users/pbulk/build/math/minisat/work/.tools/bin/pwd <.> pwd [*] /Users/pbulk/build/math/minisat/work/.tools/bin/echo Compiling: simp/Main.o <.> echo Compiling: simp/Main.o [*] c++ -pipe -Os -I/opt/pkg/include -I/Users/pbulk/build/math/minisat/work/minisat -D __STDC_LIMIT_MACROS -D __STDC_FORMAT_MACROS -O3 -g -D DEBUG -c -o /Users/pbulk/build/math/minisat/work/minisat/simp/Main.o /Users/pbulk/build/math/minisat/work/minisat/simp/Main.cc <.> /usr/bin/clang++ -m64 -pipe -Os -I/Users/pbulk/build/math/minisat/work/.buildlink/include -I/Users/pbulk/build/math/minisat/work/minisat -D__STDC_LIMIT_MACROS -D__STDC_FORMAT_MACROS -O3 -g -DDEBUG -c -o /Users/pbulk/build/math/minisat/work/minisat/simp/Main.o /Users/pbulk/build/math/minisat/work/minisat/simp/Main.cc -isysroot /Applications/Xcode-13.4.1.app/Contents/Developer/Platforms/MacOSX.platform/Developer/SDKs/MacOSX12.3.sdk -std=c++98 -Qunused-arguments [*] /Users/pbulk/build/math/minisat/work/.tools/bin/pwd <.> pwd [*] /Users/pbulk/build/math/minisat/work/.tools/bin/echo Compiling: simp/SimpSolver.o <.> echo Compiling: simp/SimpSolver.o [*] c++ -pipe -Os -I/opt/pkg/include -I/Users/pbulk/build/math/minisat/work/minisat -D __STDC_LIMIT_MACROS -D __STDC_FORMAT_MACROS -O3 -g -D DEBUG -c -o /Users/pbulk/build/math/minisat/work/minisat/simp/SimpSolver.o /Users/pbulk/build/math/minisat/work/minisat/simp/SimpSolver.cc <.> /usr/bin/clang++ -m64 -pipe -Os -I/Users/pbulk/build/math/minisat/work/.buildlink/include -I/Users/pbulk/build/math/minisat/work/minisat -D__STDC_LIMIT_MACROS -D__STDC_FORMAT_MACROS -O3 -g -DDEBUG -c -o /Users/pbulk/build/math/minisat/work/minisat/simp/SimpSolver.o /Users/pbulk/build/math/minisat/work/minisat/simp/SimpSolver.cc -isysroot /Applications/Xcode-13.4.1.app/Contents/Developer/Platforms/MacOSX.platform/Developer/SDKs/MacOSX12.3.sdk -std=c++98 -Qunused-arguments [*] /Users/pbulk/build/math/minisat/work/.tools/bin/pwd <.> pwd [*] /Users/pbulk/build/math/minisat/work/.tools/bin/echo Compiling: utils/Options.o <.> echo Compiling: utils/Options.o [*] c++ -pipe -Os -I/opt/pkg/include -I/Users/pbulk/build/math/minisat/work/minisat -D __STDC_LIMIT_MACROS -D __STDC_FORMAT_MACROS -O3 -g -D DEBUG -c -o /Users/pbulk/build/math/minisat/work/minisat/utils/Options.o /Users/pbulk/build/math/minisat/work/minisat/utils/Options.cc <.> /usr/bin/clang++ -m64 -pipe -Os -I/Users/pbulk/build/math/minisat/work/.buildlink/include -I/Users/pbulk/build/math/minisat/work/minisat -D__STDC_LIMIT_MACROS -D__STDC_FORMAT_MACROS -O3 -g -DDEBUG -c -o /Users/pbulk/build/math/minisat/work/minisat/utils/Options.o /Users/pbulk/build/math/minisat/work/minisat/utils/Options.cc -isysroot /Applications/Xcode-13.4.1.app/Contents/Developer/Platforms/MacOSX.platform/Developer/SDKs/MacOSX12.3.sdk -std=c++98 -Qunused-arguments [*] /Users/pbulk/build/math/minisat/work/.tools/bin/pwd <.> pwd [*] /Users/pbulk/build/math/minisat/work/.tools/bin/echo Compiling: utils/System.o <.> echo Compiling: utils/System.o [*] c++ -pipe -Os -I/opt/pkg/include -I/Users/pbulk/build/math/minisat/work/minisat -D __STDC_LIMIT_MACROS -D __STDC_FORMAT_MACROS -O3 -g -D DEBUG -c -o /Users/pbulk/build/math/minisat/work/minisat/utils/System.o /Users/pbulk/build/math/minisat/work/minisat/utils/System.cc <.> /usr/bin/clang++ -m64 -pipe -Os -I/Users/pbulk/build/math/minisat/work/.buildlink/include -I/Users/pbulk/build/math/minisat/work/minisat -D__STDC_LIMIT_MACROS -D__STDC_FORMAT_MACROS -O3 -g -DDEBUG -c -o /Users/pbulk/build/math/minisat/work/minisat/utils/System.o /Users/pbulk/build/math/minisat/work/minisat/utils/System.cc -isysroot /Applications/Xcode-13.4.1.app/Contents/Developer/Platforms/MacOSX.platform/Developer/SDKs/MacOSX12.3.sdk -std=c++98 -Qunused-arguments [*] /Users/pbulk/build/math/minisat/work/.tools/bin/pwd <.> pwd [*] /Users/pbulk/build/math/minisat/work/.tools/bin/echo Compiling: core/Solver.o <.> echo Compiling: core/Solver.o [*] c++ -pipe -Os -I/opt/pkg/include -I/Users/pbulk/build/math/minisat/work/minisat -D __STDC_LIMIT_MACROS -D __STDC_FORMAT_MACROS -O3 -g -D DEBUG -c -o /Users/pbulk/build/math/minisat/work/minisat/core/Solver.o /Users/pbulk/build/math/minisat/work/minisat/core/Solver.cc <.> /usr/bin/clang++ -m64 -pipe -Os -I/Users/pbulk/build/math/minisat/work/.buildlink/include -I/Users/pbulk/build/math/minisat/work/minisat -D__STDC_LIMIT_MACROS -D__STDC_FORMAT_MACROS -O3 -g -DDEBUG -c -o /Users/pbulk/build/math/minisat/work/minisat/core/Solver.o /Users/pbulk/build/math/minisat/work/minisat/core/Solver.cc -isysroot /Applications/Xcode-13.4.1.app/Contents/Developer/Platforms/MacOSX.platform/Developer/SDKs/MacOSX12.3.sdk -std=c++98 -Qunused-arguments [*] /Users/pbulk/build/math/minisat/work/.tools/bin/pwd <.> pwd [*] c++ /Users/pbulk/build/math/minisat/work/minisat/simp/Main.o /Users/pbulk/build/math/minisat/work/minisat/simp/SimpSolver.o /Users/pbulk/build/math/minisat/work/minisat/utils/Options.o /Users/pbulk/build/math/minisat/work/minisat/utils/System.o /Users/pbulk/build/math/minisat/work/minisat/core/Solver.o -L/opt/pkg/lib -L/opt/pkg/lib -lz -g -o minisat <.> /usr/bin/clang++ -m64 /Users/pbulk/build/math/minisat/work/minisat/simp/Main.o /Users/pbulk/build/math/minisat/work/minisat/simp/SimpSolver.o /Users/pbulk/build/math/minisat/work/minisat/utils/Options.o /Users/pbulk/build/math/minisat/work/minisat/utils/System.o /Users/pbulk/build/math/minisat/work/minisat/core/Solver.o -L/Users/pbulk/build/math/minisat/work/.buildlink/lib -lz -g -o minisat -isysroot /Applications/Xcode-13.4.1.app/Contents/Developer/Platforms/MacOSX.platform/Developer/SDKs/MacOSX12.3.sdk -std=c++98 -Qunused-arguments -I/Users/pbulk/build/math/minisat/work/.buildlink/include