>>> Building on exopi-2 under math/minisat BDEPENDS = [devel/cmake/core;devel/ninja] DIST = [math/minisat:minisat-2.2.0.20170810-37dc6c67.tar.gz] FULLPKGNAME = minisat-2.2.0.20170810p1 Avoided depends for cmake-core-3.31.8p0 ninja-1.11.1p1v1 distfiles size=49544 >>> Running build in math/minisat at 1764678406.61 ===> math/minisat ===> Building from scratch minisat-2.2.0.20170810p1 Package database already locked... awaiting release... done! ===> minisat-2.2.0.20170810p1 depends on: cmake-core-* -> cmake-core-3.31.8p0 ===> minisat-2.2.0.20170810p1 depends on: ninja-* -> ninja-1.11.1p1v1 ===> Verifying specs: c m c++ c++abi pthread z ===> found c.102.2 m.10.1 c++.12.0 c++abi.9.0 pthread.28.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.10 will be removed from a future version of CMake. Update the VERSION argument value. Or, use the ... syntax to tell CMake that the project requires at least but has been updated to work with policies introduced by or earlier. -- The C compiler identification is Clang 19.1.7 -- The CXX compiler identification is Clang 19.1.7 -- 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.6s) -- 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 -Xlinker --dependency-file=CMakeFiles/minisat-lib-shared.dir/link.d -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 -Xlinker --dependency-file=CMakeFiles/minisat_core.dir/link.d 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 -Xlinker --dependency-file=CMakeFiles/minisat_simp.dir/link.d 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 1764678544.27 ===> 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|********************************************************** | 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 1764678545.48 ===> math/minisat ===> Cleaning for minisat-2.2.0.20170810p1 >>> Ended at 1764678545.67 max_stuck=121.67/build=137.66/package=1.22/clean=0.22