Running phase: unpackPhase
unpacking sources
unpacking source archive /nix/store/062slxg1szc83y617lvwgbjq1xv8mgaq-source
source root is source
Running phase: patchPhase
patching sources
Running phase: configurePhase
configuring
fixing cmake files...
cmake flags: -DCMAKE_FIND_USE_SYSTEM_PACKAGE_REGISTRY=OFF -DCMAKE_FIND_USE_PACKAGE_REGISTRY=OFF -DCMAKE_EXPORT_NO_PACKAGE_REGISTRY=ON -DCMAKE_BUILD_TYPE=Release -DBUILD_TESTING=OFF -DCMAKE_INSTALL_LOCALEDIR=/nix/store/4n54n4n8mk3r11nhl7gyjsccl4arsfpd-minisat-2.2.1/share/locale -DCMAKE_INSTALL_LIBEXECDIR=/nix/store/4n54n4n8mk3r11nhl7gyjsccl4arsfpd-minisat-2.2.1/libexec -DCMAKE_INSTALL_LIBDIR=/nix/store/4n54n4n8mk3r11nhl7gyjsccl4arsfpd-minisat-2.2.1/lib -DCMAKE_INSTALL_DOCDIR=/nix/store/4n54n4n8mk3r11nhl7gyjsccl4arsfpd-minisat-2.2.1/share/doc/minisat -DCMAKE_INSTALL_INFODIR=/nix/store/4n54n4n8mk3r11nhl7gyjsccl4arsfpd-minisat-2.2.1/share/info -DCMAKE_INSTALL_MANDIR=/nix/store/4n54n4n8mk3r11nhl7gyjsccl4arsfpd-minisat-2.2.1/share/man -DCMAKE_INSTALL_OLDINCLUDEDIR=/nix/store/4n54n4n8mk3r11nhl7gyjsccl4arsfpd-minisat-2.2.1/include -DCMAKE_INSTALL_INCLUDEDIR=/nix/store/4n54n4n8mk3r11nhl7gyjsccl4arsfpd-minisat-2.2.1/include -DCMAKE_INSTALL_SBINDIR=/nix/store/4n54n4n8mk3r11nhl7gyjsccl4arsfpd-minisat-2.2.1/sbin -DCMAKE_INSTALL_BINDIR=/nix/store/4n54n4n8mk3r11nhl7gyjsccl4arsfpd-minisat-2.2.1/bin -DCMAKE_INSTALL_NAME_DIR=/nix/store/4n54n4n8mk3r11nhl7gyjsccl4arsfpd-minisat-2.2.1/lib -DCMAKE_POLICY_DEFAULT_CMP0025=NEW -DCMAKE_OSX_SYSROOT= -DCMAKE_FIND_FRAMEWORK=LAST -DCMAKE_STRIP=/nix/store/rkwixq2wda45gxx7zg1qh329zhkbvzzb-gcc-wrapper-11.3.0/bin/strip -DCMAKE_RANLIB=/nix/store/rkwixq2wda45gxx7zg1qh329zhkbvzzb-gcc-wrapper-11.3.0/bin/ranlib -DCMAKE_AR=/nix/store/rkwixq2wda45gxx7zg1qh329zhkbvzzb-gcc-wrapper-11.3.0/bin/ar -DCMAKE_C_COMPILER=gcc -DCMAKE_CXX_COMPILER=g++ -DCMAKE_INSTALL_PREFIX=/nix/store/4n54n4n8mk3r11nhl7gyjsccl4arsfpd-minisat-2.2.1  
CMake Deprecation Warning at CMakeLists.txt:1 (cmake_minimum_required):
  Compatibility with CMake < 2.8.12 will be removed from a future version of
  CMake.

  Update the VERSION argument <min> value or use a ...<max> suffix to tell
  CMake that the project does not need compatibility with older versions.


-- The C compiler identification is GNU 11.3.0
-- The CXX compiler identification is GNU 11.3.0
-- Detecting C compiler ABI info
-- Detecting C compiler ABI info - done
-- Check for working C compiler: /nix/store/rkwixq2wda45gxx7zg1qh329zhkbvzzb-gcc-wrapper-11.3.0/bin/gcc - 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: /nix/store/rkwixq2wda45gxx7zg1qh329zhkbvzzb-gcc-wrapper-11.3.0/bin/g++ - skipped
-- Detecting CXX compile features
-- Detecting CXX compile features - done
-- Found ZLIB: /nix/store/x65n29p09g69rjn423fnfpq2pz9pf8zc-zlib-1.2.13/lib/libz.so (found version "1.2.13") 
-- Configuring done
-- Generating done
CMake Warning:
  Manually-specified variables were not used by the project:

    BUILD_TESTING
    CMAKE_EXPORT_NO_PACKAGE_REGISTRY
    CMAKE_INSTALL_BINDIR
    CMAKE_INSTALL_DOCDIR
    CMAKE_INSTALL_INCLUDEDIR
    CMAKE_INSTALL_INFODIR
    CMAKE_INSTALL_LIBDIR
    CMAKE_INSTALL_LIBEXECDIR
    CMAKE_INSTALL_LOCALEDIR
    CMAKE_INSTALL_MANDIR
    CMAKE_INSTALL_OLDINCLUDEDIR
    CMAKE_INSTALL_SBINDIR


-- Build files have been written to: /build/source/build
cmake: enabled parallel building
Running phase: buildPhase
building
build flags: -j48 SHELL=/nix/store/mysyx2ms2gm0n425gsz1hvwfk1jn1f9c-bash-5.1-p16/bin/bash
[  7%] Building CXX object CMakeFiles/minisat-lib-static.dir/minisat/utils/Options.cc.o
[ 21%] Building CXX object CMakeFiles/minisat-lib-shared.dir/minisat/core/Solver.cc.o
[ 21%] Building CXX object CMakeFiles/minisat-lib-static.dir/minisat/utils/System.cc.o
[ 28%] Building CXX object CMakeFiles/minisat-lib-static.dir/minisat/core/Solver.cc.o
[ 35%] Building CXX object CMakeFiles/minisat-lib-shared.dir/minisat/utils/System.cc.o
[ 42%] Building CXX object CMakeFiles/minisat-lib-shared.dir/minisat/utils/Options.cc.o
[ 50%] Building CXX object CMakeFiles/minisat-lib-shared.dir/minisat/simp/SimpSolver.cc.o
[ 57%] Building CXX object CMakeFiles/minisat-lib-static.dir/minisat/simp/SimpSolver.cc.o
/build/source/minisat/core/Solver.cc: In member function 'void Minisat::Solver::printStats() const':
/build/source/minisat/core/Solver.cc:995:39: warning: format '%lu' expects argument of type 'long unsigned int', but argument 2 has type 'long long unsigned int' [-Wformat=]
  995 |     printf("restarts              : %lu\n", starts);
      |                                     ~~^     ~~~~~~
      |                                       |     |
      |                                       |     long long unsigned int
      |                                       long unsigned int
      |                                     %llu
/build/source/minisat/core/Solver.cc:996:42: warning: format '%lu' expects argument of type 'long unsigned int', but argument 2 has type 'long long unsigned int' [-Wformat=]
  996 |     printf("conflicts             : %-12lu   (%.0f /sec)\n", conflicts   , conflicts   /cpu_time);
      |                                     ~~~~~^                   ~~~~~~~~~
      |                                          |                   |
      |                                          long unsigned int   long long unsigned int
      |                                     %-12llu
/build/source/minisat/core/Solver.cc:997:42: warning: format '%lu' expects argument of type 'long unsigned int', but argument 2 has type 'long long unsigned int' [-Wformat=]
  997 |     printf("decisions             : %-12lu   (%4.2f %% random) (%.0f /sec)\n", decisions, (float)rnd_decisions*100 / (float)decisions, decisions   /cpu_time);
      |                                     ~~~~~^                                     ~~~~~~~~~
      |                                          |                                     |
      |                                          long unsigned int                     long long unsigned int
      |                                     %-12llu
/build/source/minisat/core/Solver.cc:998:42: warning: format '%lu' expects argument of type 'long unsigned int', but argument 2 has type 'long long unsigned int' [-Wformat=]
  998 |     printf("propagations          : %-12lu   (%.0f /sec)\n", propagations, propagations/cpu_time);
      |                                     ~~~~~^                   ~~~~~~~~~~~~
      |                                          |                   |
      |                                          long unsigned int   long long unsigned int
      |                                     %-12llu
/build/source/minisat/core/Solver.cc:999:42: warning: format '%lu' expects argument of type 'long unsigned int', but argument 2 has type 'long long unsigned int' [-Wformat=]
  999 |     printf("conflict literals     : %-12lu   (%4.2f %% deleted)\n", tot_literals, (max_literals - tot_literals)*100 / (double)max_literals);
      |                                     ~~~~~^                          ~~~~~~~~~~~~
      |                                          |                          |
      |                                          long unsigned int          long long unsigned int
      |                                     %-12llu
/build/source/minisat/core/Solver.cc: In member function 'void Minisat::Solver::printStats() const':
/build/source/minisat/core/Solver.cc:995:39: warning: format '%lu' expects argument of type 'long unsigned int', but argument 2 has type 'long long unsigned int' [-Wformat=]
  995 |     printf("restarts              : %lu\n", starts);
      |                                     ~~^     ~~~~~~
      |                                       |     |
      |                                       |     long long unsigned int
      |                                       long unsigned int
      |                                     %llu
/build/source/minisat/core/Solver.cc:996:42: warning: format '%lu' expects argument of type 'long unsigned int', but argument 2 has type 'long long unsigned int' [-Wformat=]
  996 |     printf("conflicts             : %-12lu   (%.0f /sec)\n", conflicts   , conflicts   /cpu_time);
      |                                     ~~~~~^                   ~~~~~~~~~
      |                                          |                   |
      |                                          long unsigned int   long long unsigned int
      |                                     %-12llu
/build/source/minisat/core/Solver.cc:997:42: warning: format '%lu' expects argument of type 'long unsigned int', but argument 2 has type 'long long unsigned int' [-Wformat=]
  997 |     printf("decisions             : %-12lu   (%4.2f %% random) (%.0f /sec)\n", decisions, (float)rnd_decisions*100 / (float)decisions, decisions   /cpu_time);
      |                                     ~~~~~^                                     ~~~~~~~~~
      |                                          |                                     |
      |                                          long unsigned int                     long long unsigned int
      |                                     %-12llu
/build/source/minisat/core/Solver.cc:998:42: warning: format '%lu' expects argument of type 'long unsigned int', but argument 2 has type 'long long unsigned int' [-Wformat=]
  998 |     printf("propagations          : %-12lu   (%.0f /sec)\n", propagations, propagations/cpu_time);
      |                                     ~~~~~^                   ~~~~~~~~~~~~
      |                                          |                   |
      |                                          long unsigned int   long long unsigned int
      |                                     %-12llu
/build/source/minisat/core/Solver.cc:999:42: warning: format '%lu' expects argument of type 'long unsigned int', but argument 2 has type 'long long unsigned int' [-Wformat=]
  999 |     printf("conflict literals     : %-12lu   (%4.2f %% deleted)\n", tot_literals, (max_literals - tot_literals)*100 / (double)max_literals);
      |                                     ~~~~~^                          ~~~~~~~~~~~~
      |                                          |                          |
      |                                          long unsigned int          long long unsigned int
      |                                     %-12llu
[ 64%] Linking CXX shared library libminisat.so
[ 64%] Built target minisat-lib-shared
[ 71%] Linking CXX static library libminisat.a
[ 71%] Built target minisat-lib-static
[ 78%] Building CXX object CMakeFiles/minisat_core.dir/minisat/core/Main.cc.o
[ 85%] Building CXX object CMakeFiles/minisat_simp.dir/minisat/simp/Main.cc.o
[ 92%] Linking CXX executable minisat_core
[ 92%] Built target minisat_core
[100%] Linking CXX executable minisat
[100%] Built target minisat_simp
Running phase: installPhase
installing
install flags: SHELL=/nix/store/mysyx2ms2gm0n425gsz1hvwfk1jn1f9c-bash-5.1-p16/bin/bash install
Consolidate compiler generated dependencies of target minisat-lib-static
[ 35%] Built target minisat-lib-static
Consolidate compiler generated dependencies of target minisat-lib-shared
[ 71%] Built target minisat-lib-shared
Consolidate compiler generated dependencies of target minisat_core
[ 85%] Built target minisat_core
Consolidate compiler generated dependencies of target minisat_simp
[100%] Built target minisat_simp
Install the project...
-- Install configuration: "Release"
-- Installing: /nix/store/4n54n4n8mk3r11nhl7gyjsccl4arsfpd-minisat-2.2.1/lib/libminisat.a
-- Installing: /nix/store/4n54n4n8mk3r11nhl7gyjsccl4arsfpd-minisat-2.2.1/lib/libminisat.so.2.1.0
-- Installing: /nix/store/4n54n4n8mk3r11nhl7gyjsccl4arsfpd-minisat-2.2.1/lib/libminisat.so.2
-- Installing: /nix/store/4n54n4n8mk3r11nhl7gyjsccl4arsfpd-minisat-2.2.1/lib/libminisat.so
-- Installing: /nix/store/4n54n4n8mk3r11nhl7gyjsccl4arsfpd-minisat-2.2.1/bin/minisat_core
-- Installing: /nix/store/4n54n4n8mk3r11nhl7gyjsccl4arsfpd-minisat-2.2.1/bin/minisat
-- Installing: /nix/store/4n54n4n8mk3r11nhl7gyjsccl4arsfpd-minisat-2.2.1/include/minisat/mtl
-- Installing: /nix/store/4n54n4n8mk3r11nhl7gyjsccl4arsfpd-minisat-2.2.1/include/minisat/mtl/Vec.h
-- Installing: /nix/store/4n54n4n8mk3r11nhl7gyjsccl4arsfpd-minisat-2.2.1/include/minisat/mtl/Alloc.h
-- Installing: /nix/store/4n54n4n8mk3r11nhl7gyjsccl4arsfpd-minisat-2.2.1/include/minisat/mtl/Heap.h
-- Installing: /nix/store/4n54n4n8mk3r11nhl7gyjsccl4arsfpd-minisat-2.2.1/include/minisat/mtl/Rnd.h
-- Installing: /nix/store/4n54n4n8mk3r11nhl7gyjsccl4arsfpd-minisat-2.2.1/include/minisat/mtl/XAlloc.h
-- Installing: /nix/store/4n54n4n8mk3r11nhl7gyjsccl4arsfpd-minisat-2.2.1/include/minisat/mtl/IntTypes.h
-- Installing: /nix/store/4n54n4n8mk3r11nhl7gyjsccl4arsfpd-minisat-2.2.1/include/minisat/mtl/Queue.h
-- Installing: /nix/store/4n54n4n8mk3r11nhl7gyjsccl4arsfpd-minisat-2.2.1/include/minisat/mtl/Alg.h
-- Installing: /nix/store/4n54n4n8mk3r11nhl7gyjsccl4arsfpd-minisat-2.2.1/include/minisat/mtl/Sort.h
-- Installing: /nix/store/4n54n4n8mk3r11nhl7gyjsccl4arsfpd-minisat-2.2.1/include/minisat/mtl/IntMap.h
-- Installing: /nix/store/4n54n4n8mk3r11nhl7gyjsccl4arsfpd-minisat-2.2.1/include/minisat/mtl/Map.h
-- Installing: /nix/store/4n54n4n8mk3r11nhl7gyjsccl4arsfpd-minisat-2.2.1/include/minisat/utils
-- Installing: /nix/store/4n54n4n8mk3r11nhl7gyjsccl4arsfpd-minisat-2.2.1/include/minisat/utils/System.h
-- Installing: /nix/store/4n54n4n8mk3r11nhl7gyjsccl4arsfpd-minisat-2.2.1/include/minisat/utils/Options.h
-- Installing: /nix/store/4n54n4n8mk3r11nhl7gyjsccl4arsfpd-minisat-2.2.1/include/minisat/utils/ParseUtils.h
-- Installing: /nix/store/4n54n4n8mk3r11nhl7gyjsccl4arsfpd-minisat-2.2.1/include/minisat/core
-- Installing: /nix/store/4n54n4n8mk3r11nhl7gyjsccl4arsfpd-minisat-2.2.1/include/minisat/core/Solver.h
-- Installing: /nix/store/4n54n4n8mk3r11nhl7gyjsccl4arsfpd-minisat-2.2.1/include/minisat/core/SolverTypes.h
-- Installing: /nix/store/4n54n4n8mk3r11nhl7gyjsccl4arsfpd-minisat-2.2.1/include/minisat/core/Dimacs.h
-- Installing: /nix/store/4n54n4n8mk3r11nhl7gyjsccl4arsfpd-minisat-2.2.1/include/minisat/simp
-- Installing: /nix/store/4n54n4n8mk3r11nhl7gyjsccl4arsfpd-minisat-2.2.1/include/minisat/simp/SimpSolver.h
Running phase: fixupPhase
post-installation fixup
shrinking RPATHs of ELF executables and libraries in /nix/store/4n54n4n8mk3r11nhl7gyjsccl4arsfpd-minisat-2.2.1
shrinking /nix/store/4n54n4n8mk3r11nhl7gyjsccl4arsfpd-minisat-2.2.1/bin/minisat_core
shrinking /nix/store/4n54n4n8mk3r11nhl7gyjsccl4arsfpd-minisat-2.2.1/bin/minisat
shrinking /nix/store/4n54n4n8mk3r11nhl7gyjsccl4arsfpd-minisat-2.2.1/lib/libminisat.so.2.1.0
strip is /nix/store/rkwixq2wda45gxx7zg1qh329zhkbvzzb-gcc-wrapper-11.3.0/bin/strip
stripping (with command strip and flags -S) in  /nix/store/4n54n4n8mk3r11nhl7gyjsccl4arsfpd-minisat-2.2.1/lib /nix/store/4n54n4n8mk3r11nhl7gyjsccl4arsfpd-minisat-2.2.1/bin
patching script interpreter paths in /nix/store/4n54n4n8mk3r11nhl7gyjsccl4arsfpd-minisat-2.2.1
checking for references to /build/ in /nix/store/4n54n4n8mk3r11nhl7gyjsccl4arsfpd-minisat-2.2.1...