>>> Building on exopi-6 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.31.2v1 ninja-1.11.1p0v0 distfiles size=49544 >>> Running build in math/minisat at 1738501597.19 ===> math/minisat ===> Building from scratch minisat-2.2.0.20170810p1 ===> minisat-2.2.0.20170810p1 depends on: cmake-* -> cmake-3.31.2v1 ===> 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.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 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 (2.0s) -- 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 1738501608.29 ===> 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 1738501609.74 ===> math/minisat ===> Cleaning for minisat-2.2.0.20170810p1 >>> Ended at 1738501609.99 max_stuck=0.06/build=11.10/package=1.46/clean=0.29