[*] c++ -pipe -Os -I/opt/pkg/include -I/var/tmp/work/math/minisat/work/minisat -D __STDC_LIMIT_MACROS -D __STDC_FORMAT_MACROS -I/var/tmp/work/math/minisat/work/minisat /var/tmp/work/math/minisat/work/minisat/simp/Main.cc /var/tmp/work/math/minisat/work/minisat/simp/SimpSolver.cc -MM
<.> /usr/bin/clang++ -m64 -pipe -Os -I/var/tmp/work/math/minisat/work/.buildlink/include -I/var/tmp/work/math/minisat/work/minisat -D__STDC_LIMIT_MACROS -D__STDC_FORMAT_MACROS /var/tmp/work/math/minisat/work/minisat/simp/Main.cc /var/tmp/work/math/minisat/work/minisat/simp/SimpSolver.cc -MM -isysroot /Applications/Xcode-16.4.0.app/Contents/Developer/Platforms/MacOSX.platform/Developer/SDKs/MacOSX15.5.sdk -std=c++98
[*] c++ -pipe -Os -I/opt/pkg/include -I/var/tmp/work/math/minisat/work/minisat -D __STDC_LIMIT_MACROS -D __STDC_FORMAT_MACROS -O3 -g -D DEBUG -c -o /var/tmp/work/math/minisat/work/minisat/simp/Main.o /var/tmp/work/math/minisat/work/minisat/simp/Main.cc
<.> /usr/bin/clang++ -m64 -pipe -Os -I/var/tmp/work/math/minisat/work/.buildlink/include -I/var/tmp/work/math/minisat/work/minisat -D__STDC_LIMIT_MACROS -D__STDC_FORMAT_MACROS -O3 -g -DDEBUG -c -o /var/tmp/work/math/minisat/work/minisat/simp/Main.o /var/tmp/work/math/minisat/work/minisat/simp/Main.cc -isysroot /Applications/Xcode-16.4.0.app/Contents/Developer/Platforms/MacOSX.platform/Developer/SDKs/MacOSX15.5.sdk -std=c++98
[*] c++ -pipe -Os -I/opt/pkg/include -I/var/tmp/work/math/minisat/work/minisat -D __STDC_LIMIT_MACROS -D __STDC_FORMAT_MACROS -O3 -g -D DEBUG -c -o /var/tmp/work/math/minisat/work/minisat/simp/SimpSolver.o /var/tmp/work/math/minisat/work/minisat/simp/SimpSolver.cc
<.> /usr/bin/clang++ -m64 -pipe -Os -I/var/tmp/work/math/minisat/work/.buildlink/include -I/var/tmp/work/math/minisat/work/minisat -D__STDC_LIMIT_MACROS -D__STDC_FORMAT_MACROS -O3 -g -DDEBUG -c -o /var/tmp/work/math/minisat/work/minisat/simp/SimpSolver.o /var/tmp/work/math/minisat/work/minisat/simp/SimpSolver.cc -isysroot /Applications/Xcode-16.4.0.app/Contents/Developer/Platforms/MacOSX.platform/Developer/SDKs/MacOSX15.5.sdk -std=c++98
[*] c++ -pipe -Os -I/opt/pkg/include -I/var/tmp/work/math/minisat/work/minisat -D __STDC_LIMIT_MACROS -D __STDC_FORMAT_MACROS -O3 -g -D DEBUG -c -o /var/tmp/work/math/minisat/work/minisat/utils/Options.o /var/tmp/work/math/minisat/work/minisat/utils/Options.cc
<.> /usr/bin/clang++ -m64 -pipe -Os -I/var/tmp/work/math/minisat/work/.buildlink/include -I/var/tmp/work/math/minisat/work/minisat -D__STDC_LIMIT_MACROS -D__STDC_FORMAT_MACROS -O3 -g -DDEBUG -c -o /var/tmp/work/math/minisat/work/minisat/utils/Options.o /var/tmp/work/math/minisat/work/minisat/utils/Options.cc -isysroot /Applications/Xcode-16.4.0.app/Contents/Developer/Platforms/MacOSX.platform/Developer/SDKs/MacOSX15.5.sdk -std=c++98
[*] c++ -pipe -Os -I/opt/pkg/include -I/var/tmp/work/math/minisat/work/minisat -D __STDC_LIMIT_MACROS -D __STDC_FORMAT_MACROS -O3 -g -D DEBUG -c -o /var/tmp/work/math/minisat/work/minisat/utils/System.o /var/tmp/work/math/minisat/work/minisat/utils/System.cc
<.> /usr/bin/clang++ -m64 -pipe -Os -I/var/tmp/work/math/minisat/work/.buildlink/include -I/var/tmp/work/math/minisat/work/minisat -D__STDC_LIMIT_MACROS -D__STDC_FORMAT_MACROS -O3 -g -DDEBUG -c -o /var/tmp/work/math/minisat/work/minisat/utils/System.o /var/tmp/work/math/minisat/work/minisat/utils/System.cc -isysroot /Applications/Xcode-16.4.0.app/Contents/Developer/Platforms/MacOSX.platform/Developer/SDKs/MacOSX15.5.sdk -std=c++98
[*] c++ -pipe -Os -I/opt/pkg/include -I/var/tmp/work/math/minisat/work/minisat -D __STDC_LIMIT_MACROS -D __STDC_FORMAT_MACROS -O3 -g -D DEBUG -c -o /var/tmp/work/math/minisat/work/minisat/core/Solver.o /var/tmp/work/math/minisat/work/minisat/core/Solver.cc
<.> /usr/bin/clang++ -m64 -pipe -Os -I/var/tmp/work/math/minisat/work/.buildlink/include -I/var/tmp/work/math/minisat/work/minisat -D__STDC_LIMIT_MACROS -D__STDC_FORMAT_MACROS -O3 -g -DDEBUG -c -o /var/tmp/work/math/minisat/work/minisat/core/Solver.o /var/tmp/work/math/minisat/work/minisat/core/Solver.cc -isysroot /Applications/Xcode-16.4.0.app/Contents/Developer/Platforms/MacOSX.platform/Developer/SDKs/MacOSX15.5.sdk -std=c++98
[*] c++ /var/tmp/work/math/minisat/work/minisat/simp/Main.o /var/tmp/work/math/minisat/work/minisat/simp/SimpSolver.o /var/tmp/work/math/minisat/work/minisat/utils/Options.o /var/tmp/work/math/minisat/work/minisat/utils/System.o /var/tmp/work/math/minisat/work/minisat/core/Solver.o -L/opt/pkg/lib -L/opt/pkg/lib -lz -g -o minisat
<.> /usr/bin/clang++ -m64 /var/tmp/work/math/minisat/work/minisat/simp/Main.o /var/tmp/work/math/minisat/work/minisat/simp/SimpSolver.o /var/tmp/work/math/minisat/work/minisat/utils/Options.o /var/tmp/work/math/minisat/work/minisat/utils/System.o /var/tmp/work/math/minisat/work/minisat/core/Solver.o -L/var/tmp/work/math/minisat/work/.buildlink/lib -lz -g -o minisat -isysroot /Applications/Xcode-16.4.0.app/Contents/Developer/Platforms/MacOSX.platform/Developer/SDKs/MacOSX15.5.sdk -std=c++98 -I/var/tmp/work/math/minisat/work/.buildlink/include