>>> Building on exopi-2 under math/minisat BDEPENDS = [devel/ninja;devel/cmake] DIST = [math/minisat:minisat-2.2.0.20170810-37dc6c67.tar.gz] FULLPKGNAME = minisat-2.2.0.20170810p1 Avoided depends for cmake-3.30.5v1 ninja-1.11.1p0v0 (Junk lock obtained for exopi-2 at 1731845507.33) Don't run junk because nojunk in productivity/fet (Junk lock released for exopi-2 at 1731845507.33) distfiles size=49544 >>> Running build in math/minisat at 1731845507.37 ===> math/minisat ===> Building from scratch minisat-2.2.0.20170810p1 ===> minisat-2.2.0.20170810p1 depends on: cmake-* -> cmake-3.30.5v1 ===> minisat-2.2.0.20170810p1 depends on: ninja-* -> ninja-1.11.1p0v0 ===> Verifying specs: c m c++ c++abi pthread z ===> found c.100.3 m.10.1 c++.10.0 c++abi.7.0 pthread.27.1 z.7.1 ===> Checking files for minisat-2.2.0.20170810p1 `/exopi-cvs/ports/distfiles/minisat-2.2.0.20170810-37dc6c67.tar.gz' is up to date. >> (SHA256) all files: OK ===> Extracting for minisat-2.2.0.20170810p1 ===> Patching for minisat-2.2.0.20170810p1 ===> Applying OpenBSD patch patch-minisat_core_SolverTypes_h Hmm... Looks like a unified diff to me... The text leading up to this was: -------------------------- |Index: minisat/core/SolverTypes.h |--- minisat/core/SolverTypes.h.orig |+++ minisat/core/SolverTypes.h -------------------------- Patching file minisat/core/SolverTypes.h using Plan A... Hunk #1 succeeded at 52. Hunk #2 succeeded at 60. done ===> Applying OpenBSD patch patch-minisat_core_Solver_cc Hmm... Looks like a unified diff to me... The text leading up to this was: -------------------------- |C++11 fixes. | |Index: minisat/core/Solver.cc |--- minisat/core/Solver.cc.orig |+++ minisat/core/Solver.cc -------------------------- Patching file minisat/core/Solver.cc using Plan A... Hunk #1 succeeded at 992. done ===> Applying OpenBSD patch patch-minisat_utils_Options_h Hmm... Looks like a unified diff to me... The text leading up to this was: -------------------------- |C++11 fixes. | |Index: minisat/utils/Options.h |--- minisat/utils/Options.h.orig |+++ minisat/utils/Options.h -------------------------- Patching file minisat/utils/Options.h using Plan A... Hunk #1 succeeded at 282. done ===> Applying OpenBSD patch patch-minisat_utils_System_cc Hmm... Looks like a unified diff to me... The text leading up to this was: -------------------------- |Index: minisat/utils/System.cc |--- minisat/utils/System.cc.orig |+++ minisat/utils/System.cc -------------------------- Patching file minisat/utils/System.cc using Plan A... Hunk #1 succeeded at 71. done ===> Compiler link: clang -> /usr/bin/clang ===> Compiler link: clang++ -> /usr/bin/clang++ ===> Compiler link: cc -> /usr/bin/cc ===> Compiler link: c++ -> /usr/bin/c++ ===> Generating configure for minisat-2.2.0.20170810p1 ===> Configuring for minisat-2.2.0.20170810p1 CMake Deprecation Warning at CMakeLists.txt:1 (cmake_minimum_required): Compatibility with CMake < 3.5 will be removed from a future version of CMake. Update the VERSION argument value or use a ... suffix to tell CMake that the project does not need compatibility with older versions. -- The C compiler identification is Clang 16.0.6 -- The CXX compiler identification is Clang 16.0.6 -- Detecting C compiler ABI info -- Detecting C compiler ABI info - done -- Check for working C compiler: /exopi-obj/pobj/minisat-2.2.0.20170810/bin/cc - skipped -- Detecting C compile features -- Detecting C compile features - done -- Detecting CXX compiler ABI info -- Detecting CXX compiler ABI info - done -- Check for working CXX compiler: /exopi-obj/pobj/minisat-2.2.0.20170810/bin/c++ - skipped -- Detecting CXX compile features -- Detecting CXX compile features - done -- Found ZLIB: /usr/lib/libz.so.7.1 (found version "1.3.1.1") -- Configuring done (1.9s) -- Generating done (0.0s) CMake Warning: Manually-specified variables were not used by the project: CMAKE_ASM_COMPILER_AR CMAKE_ASM_COMPILER_RANLIB CMAKE_Fortran_COMPILER_AR CMAKE_Fortran_COMPILER_RANLIB CMAKE_OBJCXX_COMPILER_AR CMAKE_OBJCXX_COMPILER_RANLIB CMAKE_OBJC_COMPILER_AR CMAKE_OBJC_COMPILER_RANLIB -- Build files have been written to: /exopi-obj/pobj/minisat-2.2.0.20170810/build-amd64 ===> Building for minisat-2.2.0.20170810p1 Change Dir: '/exopi-obj/pobj/minisat-2.2.0.20170810/build-amd64' Run Build Command(s): /usr/local/bin/ninja -v -j 1 [1/15] /exopi-obj/pobj/minisat-2.2.0.20170810/bin/c++ -D__STDC_FORMAT_MACROS -D__STDC_LIMIT_MACROS -I/exopi-obj/pobj/minisat-2.2.0.20170810/minisat-37dc6c67e2af26379d88ce349eb9c4c6160e8543 -O2 -pipe -DNDEBUG -MD -MT CMakeFiles/minisat-lib-static.dir/minisat/utils/Options.cc.o -MF CMakeFiles/minisat-lib-static.dir/minisat/utils/Options.cc.o.d -o CMakeFiles/minisat-lib-static.dir/minisat/utils/Options.cc.o -c /exopi-obj/pobj/minisat-2.2.0.20170810/minisat-37dc6c67e2af26379d88ce349eb9c4c6160e8543/minisat/utils/Options.cc [2/15] /exopi-obj/pobj/minisat-2.2.0.20170810/bin/c++ -D__STDC_FORMAT_MACROS -D__STDC_LIMIT_MACROS -I/exopi-obj/pobj/minisat-2.2.0.20170810/minisat-37dc6c67e2af26379d88ce349eb9c4c6160e8543 -O2 -pipe -DNDEBUG -MD -MT CMakeFiles/minisat-lib-static.dir/minisat/utils/System.cc.o -MF CMakeFiles/minisat-lib-static.dir/minisat/utils/System.cc.o.d -o CMakeFiles/minisat-lib-static.dir/minisat/utils/System.cc.o -c /exopi-obj/pobj/minisat-2.2.0.20170810/minisat-37dc6c67e2af26379d88ce349eb9c4c6160e8543/minisat/utils/System.cc [3/15] /exopi-obj/pobj/minisat-2.2.0.20170810/bin/c++ -D__STDC_FORMAT_MACROS -D__STDC_LIMIT_MACROS -I/exopi-obj/pobj/minisat-2.2.0.20170810/minisat-37dc6c67e2af26379d88ce349eb9c4c6160e8543 -O2 -pipe -DNDEBUG -MD -MT CMakeFiles/minisat-lib-static.dir/minisat/core/Solver.cc.o -MF CMakeFiles/minisat-lib-static.dir/minisat/core/Solver.cc.o.d -o CMakeFiles/minisat-lib-static.dir/minisat/core/Solver.cc.o -c /exopi-obj/pobj/minisat-2.2.0.20170810/minisat-37dc6c67e2af26379d88ce349eb9c4c6160e8543/minisat/core/Solver.cc [4/15] /exopi-obj/pobj/minisat-2.2.0.20170810/bin/c++ -D__STDC_FORMAT_MACROS -D__STDC_LIMIT_MACROS -I/exopi-obj/pobj/minisat-2.2.0.20170810/minisat-37dc6c67e2af26379d88ce349eb9c4c6160e8543 -O2 -pipe -DNDEBUG -MD -MT CMakeFiles/minisat-lib-static.dir/minisat/simp/SimpSolver.cc.o -MF CMakeFiles/minisat-lib-static.dir/minisat/simp/SimpSolver.cc.o.d -o CMakeFiles/minisat-lib-static.dir/minisat/simp/SimpSolver.cc.o -c /exopi-obj/pobj/minisat-2.2.0.20170810/minisat-37dc6c67e2af26379d88ce349eb9c4c6160e8543/minisat/simp/SimpSolver.cc [5/15] : && /usr/local/bin/cmake -E rm -f libminisat.a && /usr/bin/ar qc libminisat.a CMakeFiles/minisat-lib-static.dir/minisat/utils/Options.cc.o CMakeFiles/minisat-lib-static.dir/minisat/utils/System.cc.o CMakeFiles/minisat-lib-static.dir/minisat/core/Solver.cc.o CMakeFiles/minisat-lib-static.dir/minisat/simp/SimpSolver.cc.o && /usr/bin/ranlib libminisat.a && : [6/15] /exopi-obj/pobj/minisat-2.2.0.20170810/bin/c++ -D__STDC_FORMAT_MACROS -D__STDC_LIMIT_MACROS -Dminisat_lib_shared_EXPORTS -I/exopi-obj/pobj/minisat-2.2.0.20170810/minisat-37dc6c67e2af26379d88ce349eb9c4c6160e8543 -O2 -pipe -DNDEBUG -fPIC -MD -MT CMakeFiles/minisat-lib-shared.dir/minisat/utils/Options.cc.o -MF CMakeFiles/minisat-lib-shared.dir/minisat/utils/Options.cc.o.d -o CMakeFiles/minisat-lib-shared.dir/minisat/utils/Options.cc.o -c /exopi-obj/pobj/minisat-2.2.0.20170810/minisat-37dc6c67e2af26379d88ce349eb9c4c6160e8543/minisat/utils/Options.cc [7/15] /exopi-obj/pobj/minisat-2.2.0.20170810/bin/c++ -D__STDC_FORMAT_MACROS -D__STDC_LIMIT_MACROS -Dminisat_lib_shared_EXPORTS -I/exopi-obj/pobj/minisat-2.2.0.20170810/minisat-37dc6c67e2af26379d88ce349eb9c4c6160e8543 -O2 -pipe -DNDEBUG -fPIC -MD -MT CMakeFiles/minisat-lib-shared.dir/minisat/utils/System.cc.o -MF CMakeFiles/minisat-lib-shared.dir/minisat/utils/System.cc.o.d -o CMakeFiles/minisat-lib-shared.dir/minisat/utils/System.cc.o -c /exopi-obj/pobj/minisat-2.2.0.20170810/minisat-37dc6c67e2af26379d88ce349eb9c4c6160e8543/minisat/utils/System.cc [8/15] /exopi-obj/pobj/minisat-2.2.0.20170810/bin/c++ -D__STDC_FORMAT_MACROS -D__STDC_LIMIT_MACROS -Dminisat_lib_shared_EXPORTS -I/exopi-obj/pobj/minisat-2.2.0.20170810/minisat-37dc6c67e2af26379d88ce349eb9c4c6160e8543 -O2 -pipe -DNDEBUG -fPIC -MD -MT CMakeFiles/minisat-lib-shared.dir/minisat/core/Solver.cc.o -MF CMakeFiles/minisat-lib-shared.dir/minisat/core/Solver.cc.o.d -o CMakeFiles/minisat-lib-shared.dir/minisat/core/Solver.cc.o -c /exopi-obj/pobj/minisat-2.2.0.20170810/minisat-37dc6c67e2af26379d88ce349eb9c4c6160e8543/minisat/core/Solver.cc [9/15] /exopi-obj/pobj/minisat-2.2.0.20170810/bin/c++ -D__STDC_FORMAT_MACROS -D__STDC_LIMIT_MACROS -Dminisat_lib_shared_EXPORTS -I/exopi-obj/pobj/minisat-2.2.0.20170810/minisat-37dc6c67e2af26379d88ce349eb9c4c6160e8543 -O2 -pipe -DNDEBUG -fPIC -MD -MT CMakeFiles/minisat-lib-shared.dir/minisat/simp/SimpSolver.cc.o -MF CMakeFiles/minisat-lib-shared.dir/minisat/simp/SimpSolver.cc.o.d -o CMakeFiles/minisat-lib-shared.dir/minisat/simp/SimpSolver.cc.o -c /exopi-obj/pobj/minisat-2.2.0.20170810/minisat-37dc6c67e2af26379d88ce349eb9c4c6160e8543/minisat/simp/SimpSolver.cc [10/15] : && /exopi-obj/pobj/minisat-2.2.0.20170810/bin/c++ -fPIC -O2 -pipe -DNDEBUG -shared -Wl,-soname,libminisat.so.0.0 -o libminisat.so.0.0 CMakeFiles/minisat-lib-shared.dir/minisat/utils/Options.cc.o CMakeFiles/minisat-lib-shared.dir/minisat/utils/System.cc.o CMakeFiles/minisat-lib-shared.dir/minisat/core/Solver.cc.o CMakeFiles/minisat-lib-shared.dir/minisat/simp/SimpSolver.cc.o /usr/lib/libz.so.7.1 -Wl,-rpath-link,/usr/X11R6/lib:/usr/local/lib && : [11/15] /usr/local/bin/cmake -E cmake_symlink_library libminisat.so.0.0 libminisat.so.0.0 libminisat.so && : [12/15] /exopi-obj/pobj/minisat-2.2.0.20170810/bin/c++ -D__STDC_FORMAT_MACROS -D__STDC_LIMIT_MACROS -I/exopi-obj/pobj/minisat-2.2.0.20170810/minisat-37dc6c67e2af26379d88ce349eb9c4c6160e8543 -O2 -pipe -DNDEBUG -MD -MT CMakeFiles/minisat_core.dir/minisat/core/Main.cc.o -MF CMakeFiles/minisat_core.dir/minisat/core/Main.cc.o.d -o CMakeFiles/minisat_core.dir/minisat/core/Main.cc.o -c /exopi-obj/pobj/minisat-2.2.0.20170810/minisat-37dc6c67e2af26379d88ce349eb9c4c6160e8543/minisat/core/Main.cc [13/15] : && /exopi-obj/pobj/minisat-2.2.0.20170810/bin/c++ -O2 -pipe -DNDEBUG CMakeFiles/minisat_core.dir/minisat/core/Main.cc.o -o minisat_core libminisat.a /usr/lib/libz.so.7.1 -Wl,-rpath-link,/usr/X11R6/lib:/usr/local/lib && : [14/15] /exopi-obj/pobj/minisat-2.2.0.20170810/bin/c++ -D__STDC_FORMAT_MACROS -D__STDC_LIMIT_MACROS -I/exopi-obj/pobj/minisat-2.2.0.20170810/minisat-37dc6c67e2af26379d88ce349eb9c4c6160e8543 -O2 -pipe -DNDEBUG -MD -MT CMakeFiles/minisat_simp.dir/minisat/simp/Main.cc.o -MF CMakeFiles/minisat_simp.dir/minisat/simp/Main.cc.o.d -o CMakeFiles/minisat_simp.dir/minisat/simp/Main.cc.o -c /exopi-obj/pobj/minisat-2.2.0.20170810/minisat-37dc6c67e2af26379d88ce349eb9c4c6160e8543/minisat/simp/Main.cc [15/15] : && /exopi-obj/pobj/minisat-2.2.0.20170810/bin/c++ -O2 -pipe -DNDEBUG CMakeFiles/minisat_simp.dir/minisat/simp/Main.cc.o -o minisat libminisat.a /usr/lib/libz.so.7.1 -Wl,-rpath-link,/usr/X11R6/lib:/usr/local/lib && : >>> Running package in math/minisat at 1731845519.77 ===> math/minisat ===> Faking installation for minisat-2.2.0.20170810p1 -- Install configuration: "Release" -- Installing: /exopi-obj/pobj/minisat-2.2.0.20170810/fake-amd64/usr/local/lib/libminisat.a -- Installing: /exopi-obj/pobj/minisat-2.2.0.20170810/fake-amd64/usr/local/lib/libminisat.so.0.0 -- Installing: /exopi-obj/pobj/minisat-2.2.0.20170810/fake-amd64/usr/local/bin/minisat_core -- Installing: /exopi-obj/pobj/minisat-2.2.0.20170810/fake-amd64/usr/local/bin/minisat -- Installing: /exopi-obj/pobj/minisat-2.2.0.20170810/fake-amd64/usr/local/include/minisat/mtl -- Installing: /exopi-obj/pobj/minisat-2.2.0.20170810/fake-amd64/usr/local/include/minisat/mtl/Alg.h -- Installing: /exopi-obj/pobj/minisat-2.2.0.20170810/fake-amd64/usr/local/include/minisat/mtl/Alloc.h -- Installing: /exopi-obj/pobj/minisat-2.2.0.20170810/fake-amd64/usr/local/include/minisat/mtl/Heap.h -- Installing: /exopi-obj/pobj/minisat-2.2.0.20170810/fake-amd64/usr/local/include/minisat/mtl/IntMap.h -- Installing: /exopi-obj/pobj/minisat-2.2.0.20170810/fake-amd64/usr/local/include/minisat/mtl/IntTypes.h -- Installing: /exopi-obj/pobj/minisat-2.2.0.20170810/fake-amd64/usr/local/include/minisat/mtl/Map.h -- Installing: /exopi-obj/pobj/minisat-2.2.0.20170810/fake-amd64/usr/local/include/minisat/mtl/Queue.h -- Installing: /exopi-obj/pobj/minisat-2.2.0.20170810/fake-amd64/usr/local/include/minisat/mtl/Rnd.h -- Installing: /exopi-obj/pobj/minisat-2.2.0.20170810/fake-amd64/usr/local/include/minisat/mtl/Sort.h -- Installing: /exopi-obj/pobj/minisat-2.2.0.20170810/fake-amd64/usr/local/include/minisat/mtl/Vec.h -- Installing: /exopi-obj/pobj/minisat-2.2.0.20170810/fake-amd64/usr/local/include/minisat/mtl/XAlloc.h -- Installing: /exopi-obj/pobj/minisat-2.2.0.20170810/fake-amd64/usr/local/include/minisat/utils -- Installing: /exopi-obj/pobj/minisat-2.2.0.20170810/fake-amd64/usr/local/include/minisat/utils/Options.h -- Installing: /exopi-obj/pobj/minisat-2.2.0.20170810/fake-amd64/usr/local/include/minisat/utils/ParseUtils.h -- Installing: /exopi-obj/pobj/minisat-2.2.0.20170810/fake-amd64/usr/local/include/minisat/utils/System.h -- Installing: /exopi-obj/pobj/minisat-2.2.0.20170810/fake-amd64/usr/local/include/minisat/core -- Installing: /exopi-obj/pobj/minisat-2.2.0.20170810/fake-amd64/usr/local/include/minisat/core/Dimacs.h -- Installing: /exopi-obj/pobj/minisat-2.2.0.20170810/fake-amd64/usr/local/include/minisat/core/Solver.h -- Installing: /exopi-obj/pobj/minisat-2.2.0.20170810/fake-amd64/usr/local/include/minisat/core/SolverTypes.h -- Installing: /exopi-obj/pobj/minisat-2.2.0.20170810/fake-amd64/usr/local/include/minisat/simp -- Installing: /exopi-obj/pobj/minisat-2.2.0.20170810/fake-amd64/usr/local/include/minisat/simp/SimpSolver.h ===> Building package for minisat-2.2.0.20170810p1 Create /exopi-cvs/ports/packages/amd64/all/minisat-2.2.0.20170810p1.tgz Creating package minisat-2.2.0.20170810p1 reading plist| checking dependencies| checksumming| checksumming| | 0% checksumming|** | 3% checksumming|*** | 5% checksumming|***** | 8% checksumming|****** | 10% checksumming|******** | 13% checksumming|********* | 15% checksumming|*********** | 18% checksumming|************ | 20% checksumming|************** | 23% checksumming|*************** | 25% checksumming|***************** | 28% checksumming|****************** | 30% checksumming|******************** | 33% checksumming|********************* | 35% checksumming|*********************** | 38% checksumming|************************ | 40% checksumming|************************** | 43% checksumming|*************************** | 45% checksumming|***************************** | 48% checksumming|******************************* | 50% checksumming|******************************** | 53% checksumming|********************************** | 55% checksumming|*********************************** | 58% checksumming|************************************* | 60% checksumming|************************************** | 63% checksumming|**************************************** | 65% checksumming|***************************************** | 68% checksumming|******************************************* | 70% checksumming|******************************************** | 73% checksumming|********************************************** | 75% checksumming|*********************************************** | 78% checksumming|************************************************* | 80% checksumming|************************************************** | 83% checksumming|**************************************************** | 85% checksumming|***************************************************** | 88% checksumming|******************************************************* | 90% checksumming|******************************************************** | 93% checksumming|********************************************************** | 95% checksumming|*********************************************************** | 98% checksumming|*************************************************************|100% archiving| archiving| | 0% archiving|*********** | 17% archiving|******************* | 30% archiving|****************************** | 48% archiving|***************************************************** | 83% archiving|******************************************************** | 87% archiving|********************************************************* | 89% archiving|********************************************************** | 90% archiving|********************************************************** | 91% archiving|*********************************************************** | 92% archiving|************************************************************ | 93% archiving|************************************************************ | 94% archiving|************************************************************* | 95% archiving|************************************************************* | 96% archiving|************************************************************** | 97% archiving|*************************************************************** | 99% archiving|****************************************************************|100% Link to /exopi-cvs/ports/packages/amd64/ftp/minisat-2.2.0.20170810p1.tgz >>> Running clean in math/minisat at 1731845520.97 ===> math/minisat ===> Cleaning for minisat-2.2.0.20170810p1 >>> Ended at 1731845521.19 max_stuck=0.00/build=12.41/package=1.20/clean=0.24