[*] 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-15.4.app/Contents/Developer/Platforms/MacOSX.platform/Developer/SDKs/MacOSX14.5.sdk -std=c++98
[*] 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-15.4.app/Contents/Developer/Platforms/MacOSX.platform/Developer/SDKs/MacOSX14.5.sdk -std=c++98
[*] 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-15.4.app/Contents/Developer/Platforms/MacOSX.platform/Developer/SDKs/MacOSX14.5.sdk -std=c++98
[*] 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-15.4.app/Contents/Developer/Platforms/MacOSX.platform/Developer/SDKs/MacOSX14.5.sdk -std=c++98
[*] 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-15.4.app/Contents/Developer/Platforms/MacOSX.platform/Developer/SDKs/MacOSX14.5.sdk -std=c++98
[*] 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-15.4.app/Contents/Developer/Platforms/MacOSX.platform/Developer/SDKs/MacOSX14.5.sdk -std=c++98
[*] 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-15.4.app/Contents/Developer/Platforms/MacOSX.platform/Developer/SDKs/MacOSX14.5.sdk -std=c++98 -I/Users/pbulk/build/math/minisat/work/.buildlink/include