hostname: cluster054 [*] c++ -O2 -I/usr/pkg/include -I/usr/include CMakeCXXCompilerId.cpp <.> /tmp/math/lean4/work/.gcc/bin/g++ -fstack-protector-strong -D_FORTIFY_SOURCE=2 -fPIC -O2 -I/tmp/math/lean4/work/.buildlink/include CMakeCXXCompilerId.cpp -specs=/tmp/math/lean4/work/.cwrapper/specs.libgcc -pie [*] c++ -O2 -I/usr/pkg/include -I/usr/include -E -x c++-header /usr/pkg/share/cmake-4.4/Modules/CXX-DetectStdlib.h -o - <.> /tmp/math/lean4/work/.gcc/bin/g++ -fstack-protector-strong -D_FORTIFY_SOURCE=2 -fPIC -O2 -I/tmp/math/lean4/work/.buildlink/include -E -x c++-header /usr/pkg/share/cmake-4.4/Modules/CXX-DetectStdlib.h -o - -specs=/tmp/math/lean4/work/.cwrapper/specs.libgcc [*] c++ -print-sysroot <.> /tmp/math/lean4/work/.gcc/bin/g++ -fstack-protector-strong -D_FORTIFY_SOURCE=2 -fPIC -print-sysroot -specs=/tmp/math/lean4/work/.cwrapper/specs.libgcc -I/tmp/math/lean4/work/.buildlink/include -pie [*] cc -O2 -I/usr/pkg/include -I/usr/include CMakeCCompilerId.c <.> /tmp/math/lean4/work/.gcc/bin/gcc -fcommon -fstack-protector-strong -D_FORTIFY_SOURCE=2 -fPIC -O2 -I/tmp/math/lean4/work/.buildlink/include CMakeCCompilerId.c -specs=/tmp/math/lean4/work/.cwrapper/specs.libgcc -pie [*] cc -print-sysroot <.> /tmp/math/lean4/work/.gcc/bin/gcc -fcommon -fstack-protector-strong -D_FORTIFY_SOURCE=2 -fPIC -print-sysroot -specs=/tmp/math/lean4/work/.cwrapper/specs.libgcc -I/tmp/math/lean4/work/.buildlink/include -pie [*] c++ -O2 -I/usr/pkg/include -I/usr/include -v -o CMakeFiles/cmTC_82c79.dir/CMakeCXXCompilerABI.cpp.o -c /usr/pkg/share/cmake-4.4/Modules/CMakeCXXCompilerABI.cpp <.> /tmp/math/lean4/work/.gcc/bin/g++ -fstack-protector-strong -D_FORTIFY_SOURCE=2 -fPIC -O2 -I/tmp/math/lean4/work/.buildlink/include -v -o CMakeFiles/cmTC_82c79.dir/CMakeCXXCompilerABI.cpp.o -c /usr/pkg/share/cmake-4.4/Modules/CMakeCXXCompilerABI.cpp -specs=/tmp/math/lean4/work/.cwrapper/specs.libgcc [*] c++ -O2 -I/usr/pkg/include -I/usr/include -Wl,-R/usr/pkg/lib/lean -L/usr/pkg/gcc12/lib/gcc/x86_64--netbsd/12.5.0 -Wl,-R/usr/pkg/gcc12/lib/gcc/x86_64--netbsd/12.5.0 -Wl,-zrelro -L/usr/pkg/lib -Wl,-R/usr/pkg/lib -L/usr/lib -Wl,-R/usr/lib -v CMakeFiles/cmTC_82c79.dir/CMakeCXXCompilerABI.cpp.o -o cmTC_82c79 <.> /tmp/math/lean4/work/.gcc/bin/g++ -fstack-protector-strong -D_FORTIFY_SOURCE=2 -fPIC -O2 -I/tmp/math/lean4/work/.buildlink/include -Wl,-rpath,/usr/pkg/lib/lean -L/usr/pkg/gcc12/lib/gcc/x86_64--netbsd/12.5.0 -Wl,-rpath,/usr/pkg/gcc12/lib/gcc/x86_64--netbsd/12.5.0 -Wl,-zrelro -L/tmp/math/lean4/work/.buildlink/lib -Wl,-rpath,/usr/pkg/lib -v CMakeFiles/cmTC_82c79.dir/CMakeCXXCompilerABI.cpp.o -o cmTC_82c79 -specs=/tmp/math/lean4/work/.cwrapper/specs.libgcc -pie [*] ld --push-state --pop-state <.> ld --push-state --pop-state -pie [*] cc -O2 -I/usr/pkg/include -I/usr/include -v -o CMakeFiles/cmTC_1698b.dir/CMakeCCompilerABI.c.o -c /usr/pkg/share/cmake-4.4/Modules/CMakeCCompilerABI.c <.> /tmp/math/lean4/work/.gcc/bin/gcc -fcommon -fstack-protector-strong -D_FORTIFY_SOURCE=2 -fPIC -O2 -I/tmp/math/lean4/work/.buildlink/include -v -o CMakeFiles/cmTC_1698b.dir/CMakeCCompilerABI.c.o -c /usr/pkg/share/cmake-4.4/Modules/CMakeCCompilerABI.c -specs=/tmp/math/lean4/work/.cwrapper/specs.libgcc [*] cc -O2 -I/usr/pkg/include -I/usr/include -Wl,-R/usr/pkg/lib/lean -L/usr/pkg/gcc12/lib/gcc/x86_64--netbsd/12.5.0 -Wl,-R/usr/pkg/gcc12/lib/gcc/x86_64--netbsd/12.5.0 -Wl,-zrelro -L/usr/pkg/lib -Wl,-R/usr/pkg/lib -L/usr/lib -Wl,-R/usr/lib -v CMakeFiles/cmTC_1698b.dir/CMakeCCompilerABI.c.o -o cmTC_1698b <.> /tmp/math/lean4/work/.gcc/bin/gcc -fcommon -fstack-protector-strong -D_FORTIFY_SOURCE=2 -fPIC -O2 -I/tmp/math/lean4/work/.buildlink/include -Wl,-rpath,/usr/pkg/lib/lean -L/usr/pkg/gcc12/lib/gcc/x86_64--netbsd/12.5.0 -Wl,-rpath,/usr/pkg/gcc12/lib/gcc/x86_64--netbsd/12.5.0 -Wl,-zrelro -L/tmp/math/lean4/work/.buildlink/lib -Wl,-rpath,/usr/pkg/lib -v CMakeFiles/cmTC_1698b.dir/CMakeCCompilerABI.c.o -o cmTC_1698b -specs=/tmp/math/lean4/work/.cwrapper/specs.libgcc -pie [*] c++ -O2 -I/usr/pkg/include -I/usr/include CMakeCXXCompilerId.cpp <.> /tmp/math/lean4/work/.gcc/bin/g++ -fstack-protector-strong -D_FORTIFY_SOURCE=2 -fPIC -O2 -I/tmp/math/lean4/work/.buildlink/include CMakeCXXCompilerId.cpp -specs=/tmp/math/lean4/work/.cwrapper/specs.libgcc -pie [*] c++ -O2 -I/usr/pkg/include -I/usr/include -E -x c++-header /usr/pkg/share/cmake-4.4/Modules/CXX-DetectStdlib.h -o - <.> /tmp/math/lean4/work/.gcc/bin/g++ -fstack-protector-strong -D_FORTIFY_SOURCE=2 -fPIC -O2 -I/tmp/math/lean4/work/.buildlink/include -E -x c++-header /usr/pkg/share/cmake-4.4/Modules/CXX-DetectStdlib.h -o - -specs=/tmp/math/lean4/work/.cwrapper/specs.libgcc [*] c++ -print-sysroot <.> /tmp/math/lean4/work/.gcc/bin/g++ -fstack-protector-strong -D_FORTIFY_SOURCE=2 -fPIC -print-sysroot -specs=/tmp/math/lean4/work/.cwrapper/specs.libgcc -I/tmp/math/lean4/work/.buildlink/include -pie [*] cc -O2 -I/usr/pkg/include -I/usr/include CMakeCCompilerId.c <.> /tmp/math/lean4/work/.gcc/bin/gcc -fcommon -fstack-protector-strong -D_FORTIFY_SOURCE=2 -fPIC -O2 -I/tmp/math/lean4/work/.buildlink/include CMakeCCompilerId.c -specs=/tmp/math/lean4/work/.cwrapper/specs.libgcc -pie [*] cc -print-sysroot <.> /tmp/math/lean4/work/.gcc/bin/gcc -fcommon -fstack-protector-strong -D_FORTIFY_SOURCE=2 -fPIC -print-sysroot -specs=/tmp/math/lean4/work/.cwrapper/specs.libgcc -I/tmp/math/lean4/work/.buildlink/include -pie [*] c++ -O2 -I/usr/pkg/include -I/usr/include -v -o CMakeFiles/cmTC_48091.dir/CMakeCXXCompilerABI.cpp.o -c /usr/pkg/share/cmake-4.4/Modules/CMakeCXXCompilerABI.cpp <.> /tmp/math/lean4/work/.gcc/bin/g++ -fstack-protector-strong -D_FORTIFY_SOURCE=2 -fPIC -O2 -I/tmp/math/lean4/work/.buildlink/include -v -o CMakeFiles/cmTC_48091.dir/CMakeCXXCompilerABI.cpp.o -c /usr/pkg/share/cmake-4.4/Modules/CMakeCXXCompilerABI.cpp -specs=/tmp/math/lean4/work/.cwrapper/specs.libgcc [*] c++ -O2 -I/usr/pkg/include -I/usr/include -Wl,-R/usr/pkg/lib/lean -L/usr/pkg/gcc12/lib/gcc/x86_64--netbsd/12.5.0 -Wl,-R/usr/pkg/gcc12/lib/gcc/x86_64--netbsd/12.5.0 -Wl,-zrelro -L/usr/pkg/lib -Wl,-R/usr/pkg/lib -L/usr/lib -Wl,-R/usr/lib -v CMakeFiles/cmTC_48091.dir/CMakeCXXCompilerABI.cpp.o -o cmTC_48091 <.> /tmp/math/lean4/work/.gcc/bin/g++ -fstack-protector-strong -D_FORTIFY_SOURCE=2 -fPIC -O2 -I/tmp/math/lean4/work/.buildlink/include -Wl,-rpath,/usr/pkg/lib/lean -L/usr/pkg/gcc12/lib/gcc/x86_64--netbsd/12.5.0 -Wl,-rpath,/usr/pkg/gcc12/lib/gcc/x86_64--netbsd/12.5.0 -Wl,-zrelro -L/tmp/math/lean4/work/.buildlink/lib -Wl,-rpath,/usr/pkg/lib -v CMakeFiles/cmTC_48091.dir/CMakeCXXCompilerABI.cpp.o -o cmTC_48091 -specs=/tmp/math/lean4/work/.cwrapper/specs.libgcc -pie [*] ld --push-state --pop-state <.> ld --push-state --pop-state -pie [*] cc -O2 -I/usr/pkg/include -I/usr/include -v -o CMakeFiles/cmTC_02a83.dir/CMakeCCompilerABI.c.o -c /usr/pkg/share/cmake-4.4/Modules/CMakeCCompilerABI.c <.> /tmp/math/lean4/work/.gcc/bin/gcc -fcommon -fstack-protector-strong -D_FORTIFY_SOURCE=2 -fPIC -O2 -I/tmp/math/lean4/work/.buildlink/include -v -o CMakeFiles/cmTC_02a83.dir/CMakeCCompilerABI.c.o -c /usr/pkg/share/cmake-4.4/Modules/CMakeCCompilerABI.c -specs=/tmp/math/lean4/work/.cwrapper/specs.libgcc [*] cc -O2 -I/usr/pkg/include -I/usr/include -Wl,-R/usr/pkg/lib/lean -L/usr/pkg/gcc12/lib/gcc/x86_64--netbsd/12.5.0 -Wl,-R/usr/pkg/gcc12/lib/gcc/x86_64--netbsd/12.5.0 -Wl,-zrelro -L/usr/pkg/lib -Wl,-R/usr/pkg/lib -L/usr/lib -Wl,-R/usr/lib -v CMakeFiles/cmTC_02a83.dir/CMakeCCompilerABI.c.o -o cmTC_02a83 <.> /tmp/math/lean4/work/.gcc/bin/gcc -fcommon -fstack-protector-strong -D_FORTIFY_SOURCE=2 -fPIC -O2 -I/tmp/math/lean4/work/.buildlink/include -Wl,-rpath,/usr/pkg/lib/lean -L/usr/pkg/gcc12/lib/gcc/x86_64--netbsd/12.5.0 -Wl,-rpath,/usr/pkg/gcc12/lib/gcc/x86_64--netbsd/12.5.0 -Wl,-zrelro -L/tmp/math/lean4/work/.buildlink/lib -Wl,-rpath,/usr/pkg/lib -v CMakeFiles/cmTC_02a83.dir/CMakeCCompilerABI.c.o -o cmTC_02a83 -specs=/tmp/math/lean4/work/.cwrapper/specs.libgcc -pie [*] cc --print-target-triple <.> /tmp/math/lean4/work/.gcc/bin/gcc -fcommon -fstack-protector-strong -D_FORTIFY_SOURCE=2 -fPIC --print-target-triple -specs=/tmp/math/lean4/work/.cwrapper/specs.libgcc -I/tmp/math/lean4/work/.buildlink/include -pie [*] c++ -dumpversion <.> /tmp/math/lean4/work/.gcc/bin/g++ -fstack-protector-strong -D_FORTIFY_SOURCE=2 -fPIC -dumpversion -specs=/tmp/math/lean4/work/.cwrapper/specs.libgcc -I/tmp/math/lean4/work/.buildlink/include -pie [*] /tmp/math/lean4/work/.tools/bin/pkg-config --version <.> set args --version; shift; PKG_CONFIG_LIBDIR=/tmp/math/lean4/work/.buildlink/lib/pkgconfig:/tmp/math/lean4/work/.buildlink/share/pkgconfig /usr/pkg/bin/pkg-config "$@" [*] /tmp/math/lean4/work/.tools/bin/pkg-config --print-errors --short-errors --exists libuv <.> set args --print-errors --short-errors --exists libuv; shift; PKG_CONFIG_LIBDIR=/tmp/math/lean4/work/.buildlink/lib/pkgconfig:/tmp/math/lean4/work/.buildlink/share/pkgconfig /usr/pkg/bin/pkg-config "$@" [*] /tmp/math/lean4/work/.tools/bin/pkg-config --modversion libuv <.> set args --modversion libuv; shift; PKG_CONFIG_LIBDIR=/tmp/math/lean4/work/.buildlink/lib/pkgconfig:/tmp/math/lean4/work/.buildlink/share/pkgconfig /usr/pkg/bin/pkg-config "$@" [*] /tmp/math/lean4/work/.tools/bin/pkg-config --variable=prefix libuv <.> set args --variable=prefix libuv; shift; PKG_CONFIG_LIBDIR=/tmp/math/lean4/work/.buildlink/lib/pkgconfig:/tmp/math/lean4/work/.buildlink/share/pkgconfig /usr/pkg/bin/pkg-config "$@" [*] /tmp/math/lean4/work/.tools/bin/pkg-config --variable=includedir libuv <.> set args --variable=includedir libuv; shift; PKG_CONFIG_LIBDIR=/tmp/math/lean4/work/.buildlink/lib/pkgconfig:/tmp/math/lean4/work/.buildlink/share/pkgconfig /usr/pkg/bin/pkg-config "$@" [*] /tmp/math/lean4/work/.tools/bin/pkg-config --variable=libdir libuv <.> set args --variable=libdir libuv; shift; PKG_CONFIG_LIBDIR=/tmp/math/lean4/work/.buildlink/lib/pkgconfig:/tmp/math/lean4/work/.buildlink/share/pkgconfig /usr/pkg/bin/pkg-config "$@" [*] /tmp/math/lean4/work/.tools/bin/pkg-config --libs-only-l libuv <.> set args --libs-only-l libuv; shift; PKG_CONFIG_LIBDIR=/tmp/math/lean4/work/.buildlink/lib/pkgconfig:/tmp/math/lean4/work/.buildlink/share/pkgconfig /usr/pkg/bin/pkg-config "$@" [*] /tmp/math/lean4/work/.tools/bin/pkg-config --static --libs-only-l libuv <.> set args --static --libs-only-l libuv; shift; PKG_CONFIG_LIBDIR=/tmp/math/lean4/work/.buildlink/lib/pkgconfig:/tmp/math/lean4/work/.buildlink/share/pkgconfig /usr/pkg/bin/pkg-config "$@" [*] /tmp/math/lean4/work/.tools/bin/pkg-config --libs-only-L libuv <.> set args --libs-only-L libuv; shift; PKG_CONFIG_LIBDIR=/tmp/math/lean4/work/.buildlink/lib/pkgconfig:/tmp/math/lean4/work/.buildlink/share/pkgconfig /usr/pkg/bin/pkg-config "$@" [*] /tmp/math/lean4/work/.tools/bin/pkg-config --static --libs-only-L libuv <.> set args --static --libs-only-L libuv; shift; PKG_CONFIG_LIBDIR=/tmp/math/lean4/work/.buildlink/lib/pkgconfig:/tmp/math/lean4/work/.buildlink/share/pkgconfig /usr/pkg/bin/pkg-config "$@" [*] /tmp/math/lean4/work/.tools/bin/pkg-config --libs libuv <.> set args --libs libuv; shift; PKG_CONFIG_LIBDIR=/tmp/math/lean4/work/.buildlink/lib/pkgconfig:/tmp/math/lean4/work/.buildlink/share/pkgconfig /usr/pkg/bin/pkg-config "$@" [*] /tmp/math/lean4/work/.tools/bin/pkg-config --static --libs libuv <.> set args --static --libs libuv; shift; PKG_CONFIG_LIBDIR=/tmp/math/lean4/work/.buildlink/lib/pkgconfig:/tmp/math/lean4/work/.buildlink/share/pkgconfig /usr/pkg/bin/pkg-config "$@" [*] /tmp/math/lean4/work/.tools/bin/pkg-config --libs-only-other libuv <.> set args --libs-only-other libuv; shift; PKG_CONFIG_LIBDIR=/tmp/math/lean4/work/.buildlink/lib/pkgconfig:/tmp/math/lean4/work/.buildlink/share/pkgconfig /usr/pkg/bin/pkg-config "$@" [*] /tmp/math/lean4/work/.tools/bin/pkg-config --static --libs-only-other libuv <.> set args --static --libs-only-other libuv; shift; PKG_CONFIG_LIBDIR=/tmp/math/lean4/work/.buildlink/lib/pkgconfig:/tmp/math/lean4/work/.buildlink/share/pkgconfig /usr/pkg/bin/pkg-config "$@" [*] /tmp/math/lean4/work/.tools/bin/pkg-config --cflags-only-I libuv <.> set args --cflags-only-I libuv; shift; PKG_CONFIG_LIBDIR=/tmp/math/lean4/work/.buildlink/lib/pkgconfig:/tmp/math/lean4/work/.buildlink/share/pkgconfig /usr/pkg/bin/pkg-config "$@" [*] /tmp/math/lean4/work/.tools/bin/pkg-config --static --cflags-only-I libuv <.> set args --static --cflags-only-I libuv; shift; PKG_CONFIG_LIBDIR=/tmp/math/lean4/work/.buildlink/lib/pkgconfig:/tmp/math/lean4/work/.buildlink/share/pkgconfig /usr/pkg/bin/pkg-config "$@" [*] /tmp/math/lean4/work/.tools/bin/pkg-config --cflags libuv <.> set args --cflags libuv; shift; PKG_CONFIG_LIBDIR=/tmp/math/lean4/work/.buildlink/lib/pkgconfig:/tmp/math/lean4/work/.buildlink/share/pkgconfig /usr/pkg/bin/pkg-config "$@" [*] /tmp/math/lean4/work/.tools/bin/pkg-config --static --cflags libuv <.> set args --static --cflags libuv; shift; PKG_CONFIG_LIBDIR=/tmp/math/lean4/work/.buildlink/lib/pkgconfig:/tmp/math/lean4/work/.buildlink/share/pkgconfig /usr/pkg/bin/pkg-config "$@" [*] /tmp/math/lean4/work/.tools/bin/pkg-config --cflags-only-other libuv <.> set args --cflags-only-other libuv; shift; PKG_CONFIG_LIBDIR=/tmp/math/lean4/work/.buildlink/lib/pkgconfig:/tmp/math/lean4/work/.buildlink/share/pkgconfig /usr/pkg/bin/pkg-config "$@" [*] /tmp/math/lean4/work/.tools/bin/pkg-config --static --cflags-only-other libuv <.> set args --static --cflags-only-other libuv; shift; PKG_CONFIG_LIBDIR=/tmp/math/lean4/work/.buildlink/lib/pkgconfig:/tmp/math/lean4/work/.buildlink/share/pkgconfig /usr/pkg/bin/pkg-config "$@" [*] /tmp/math/lean4/work/.tools/bin/pkg-config --version <.> set args --version; shift; PKG_CONFIG_LIBDIR=/tmp/math/lean4/work/.buildlink/lib/pkgconfig:/tmp/math/lean4/work/.buildlink/share/pkgconfig /usr/pkg/bin/pkg-config "$@" [*] /tmp/math/lean4/work/.tools/bin/pkg-config --print-errors --short-errors --exists openssl <.> set args --print-errors --short-errors --exists openssl; shift; PKG_CONFIG_LIBDIR=/tmp/math/lean4/work/.buildlink/lib/pkgconfig:/tmp/math/lean4/work/.buildlink/share/pkgconfig /usr/pkg/bin/pkg-config "$@" [*] /tmp/math/lean4/work/.tools/bin/pkg-config --modversion openssl <.> set args --modversion openssl; shift; PKG_CONFIG_LIBDIR=/tmp/math/lean4/work/.buildlink/lib/pkgconfig:/tmp/math/lean4/work/.buildlink/share/pkgconfig /usr/pkg/bin/pkg-config "$@" [*] /tmp/math/lean4/work/.tools/bin/pkg-config --variable=prefix openssl <.> set args --variable=prefix openssl; shift; PKG_CONFIG_LIBDIR=/tmp/math/lean4/work/.buildlink/lib/pkgconfig:/tmp/math/lean4/work/.buildlink/share/pkgconfig /usr/pkg/bin/pkg-config "$@" [*] /tmp/math/lean4/work/.tools/bin/pkg-config --variable=includedir openssl <.> set args --variable=includedir openssl; shift; PKG_CONFIG_LIBDIR=/tmp/math/lean4/work/.buildlink/lib/pkgconfig:/tmp/math/lean4/work/.buildlink/share/pkgconfig /usr/pkg/bin/pkg-config "$@" [*] /tmp/math/lean4/work/.tools/bin/pkg-config --variable=libdir openssl <.> set args --variable=libdir openssl; shift; PKG_CONFIG_LIBDIR=/tmp/math/lean4/work/.buildlink/lib/pkgconfig:/tmp/math/lean4/work/.buildlink/share/pkgconfig /usr/pkg/bin/pkg-config "$@" [*] /tmp/math/lean4/work/.tools/bin/pkg-config --libs-only-l openssl <.> set args --libs-only-l openssl; shift; PKG_CONFIG_LIBDIR=/tmp/math/lean4/work/.buildlink/lib/pkgconfig:/tmp/math/lean4/work/.buildlink/share/pkgconfig /usr/pkg/bin/pkg-config "$@" [*] /tmp/math/lean4/work/.tools/bin/pkg-config --static --libs-only-l openssl <.> set args --static --libs-only-l openssl; shift; PKG_CONFIG_LIBDIR=/tmp/math/lean4/work/.buildlink/lib/pkgconfig:/tmp/math/lean4/work/.buildlink/share/pkgconfig /usr/pkg/bin/pkg-config "$@" [*] /tmp/math/lean4/work/.tools/bin/pkg-config --libs-only-L openssl <.> set args --libs-only-L openssl; shift; PKG_CONFIG_LIBDIR=/tmp/math/lean4/work/.buildlink/lib/pkgconfig:/tmp/math/lean4/work/.buildlink/share/pkgconfig /usr/pkg/bin/pkg-config "$@" [*] /tmp/math/lean4/work/.tools/bin/pkg-config --static --libs-only-L openssl <.> set args --static --libs-only-L openssl; shift; PKG_CONFIG_LIBDIR=/tmp/math/lean4/work/.buildlink/lib/pkgconfig:/tmp/math/lean4/work/.buildlink/share/pkgconfig /usr/pkg/bin/pkg-config "$@" [*] /tmp/math/lean4/work/.tools/bin/pkg-config --libs openssl <.> set args --libs openssl; shift; PKG_CONFIG_LIBDIR=/tmp/math/lean4/work/.buildlink/lib/pkgconfig:/tmp/math/lean4/work/.buildlink/share/pkgconfig /usr/pkg/bin/pkg-config "$@" [*] /tmp/math/lean4/work/.tools/bin/pkg-config --static --libs openssl <.> set args --static --libs openssl; shift; PKG_CONFIG_LIBDIR=/tmp/math/lean4/work/.buildlink/lib/pkgconfig:/tmp/math/lean4/work/.buildlink/share/pkgconfig /usr/pkg/bin/pkg-config "$@" [*] /tmp/math/lean4/work/.tools/bin/pkg-config --libs-only-other openssl <.> set args --libs-only-other openssl; shift; PKG_CONFIG_LIBDIR=/tmp/math/lean4/work/.buildlink/lib/pkgconfig:/tmp/math/lean4/work/.buildlink/share/pkgconfig /usr/pkg/bin/pkg-config "$@" [*] /tmp/math/lean4/work/.tools/bin/pkg-config --static --libs-only-other openssl <.> set args --static --libs-only-other openssl; shift; PKG_CONFIG_LIBDIR=/tmp/math/lean4/work/.buildlink/lib/pkgconfig:/tmp/math/lean4/work/.buildlink/share/pkgconfig /usr/pkg/bin/pkg-config "$@" [*] /tmp/math/lean4/work/.tools/bin/pkg-config --cflags-only-I openssl <.> set args --cflags-only-I openssl; shift; PKG_CONFIG_LIBDIR=/tmp/math/lean4/work/.buildlink/lib/pkgconfig:/tmp/math/lean4/work/.buildlink/share/pkgconfig /usr/pkg/bin/pkg-config "$@" [*] /tmp/math/lean4/work/.tools/bin/pkg-config --static --cflags-only-I openssl <.> set args --static --cflags-only-I openssl; shift; PKG_CONFIG_LIBDIR=/tmp/math/lean4/work/.buildlink/lib/pkgconfig:/tmp/math/lean4/work/.buildlink/share/pkgconfig /usr/pkg/bin/pkg-config "$@" [*] /tmp/math/lean4/work/.tools/bin/pkg-config --cflags openssl <.> set args --cflags openssl; shift; PKG_CONFIG_LIBDIR=/tmp/math/lean4/work/.buildlink/lib/pkgconfig:/tmp/math/lean4/work/.buildlink/share/pkgconfig /usr/pkg/bin/pkg-config "$@" [*] /tmp/math/lean4/work/.tools/bin/pkg-config --static --cflags openssl <.> set args --static --cflags openssl; shift; PKG_CONFIG_LIBDIR=/tmp/math/lean4/work/.buildlink/lib/pkgconfig:/tmp/math/lean4/work/.buildlink/share/pkgconfig /usr/pkg/bin/pkg-config "$@" [*] /tmp/math/lean4/work/.tools/bin/pkg-config --cflags-only-other openssl <.> set args --cflags-only-other openssl; shift; PKG_CONFIG_LIBDIR=/tmp/math/lean4/work/.buildlink/lib/pkgconfig:/tmp/math/lean4/work/.buildlink/share/pkgconfig /usr/pkg/bin/pkg-config "$@" [*] /tmp/math/lean4/work/.tools/bin/pkg-config --static --cflags-only-other openssl <.> set args --static --cflags-only-other openssl; shift; PKG_CONFIG_LIBDIR=/tmp/math/lean4/work/.buildlink/lib/pkgconfig:/tmp/math/lean4/work/.buildlink/share/pkgconfig /usr/pkg/bin/pkg-config "$@"