minisat-2.2.1
checks.i686-linux.acl2
· build #1
· raw
unpackPhase
1unpacking sources2unpacking source archive /nix/store/062slxg1szc83y617lvwgbjq1xv8mgaq-source3source root is sourcepatchPhase
4patching sourcesconfigurePhase
5configuring6fixing cmake files...7cmake 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 8CMake Deprecation Warning at CMakeLists.txt:1 (cmake_minimum_required):9 Compatibility with CMake < 2.8.12 will be removed from a future version of10 CMake.1112 Update the VERSION argument <min> value or use a ...<max> suffix to tell13 CMake that the project does not need compatibility with older versions.141516-- The C compiler identification is GNU 11.3.017-- The CXX compiler identification is GNU 11.3.018-- Detecting C compiler ABI info19-- Detecting C compiler ABI info - done20-- Check for working C compiler: /nix/store/rkwixq2wda45gxx7zg1qh329zhkbvzzb-gcc-wrapper-11.3.0/bin/gcc - skipped21-- Detecting C compile features22-- Detecting C compile features - done23-- Detecting CXX compiler ABI info24-- Detecting CXX compiler ABI info - done25-- Check for working CXX compiler: /nix/store/rkwixq2wda45gxx7zg1qh329zhkbvzzb-gcc-wrapper-11.3.0/bin/g++ - skipped26-- Detecting CXX compile features27-- Detecting CXX compile features - done28-- Found ZLIB: /nix/store/x65n29p09g69rjn423fnfpq2pz9pf8zc-zlib-1.2.13/lib/libz.so (found version "1.2.13") 29-- Configuring done30-- Generating done31CMake Warning:32 Manually-specified variables were not used by the project:3334 BUILD_TESTING35 CMAKE_EXPORT_NO_PACKAGE_REGISTRY36 CMAKE_INSTALL_BINDIR37 CMAKE_INSTALL_DOCDIR38 CMAKE_INSTALL_INCLUDEDIR39 CMAKE_INSTALL_INFODIR40 CMAKE_INSTALL_LIBDIR41 CMAKE_INSTALL_LIBEXECDIR42 CMAKE_INSTALL_LOCALEDIR43 CMAKE_INSTALL_MANDIR44 CMAKE_INSTALL_OLDINCLUDEDIR45 CMAKE_INSTALL_SBINDIR464748-- Build files have been written to: /build/source/build49cmake: enabled parallel buildingbuildPhase
50building51build flags: -j48 SHELL=/nix/store/mysyx2ms2gm0n425gsz1hvwfk1jn1f9c-bash-5.1-p16/bin/bash52[ 7%] Building CXX object CMakeFiles/minisat-lib-static.dir/minisat/utils/Options.cc.o53[ 21%] Building CXX object CMakeFiles/minisat-lib-shared.dir/minisat/core/Solver.cc.o54[ 21%] Building CXX object CMakeFiles/minisat-lib-static.dir/minisat/utils/System.cc.o55[ 28%] Building CXX object CMakeFiles/minisat-lib-static.dir/minisat/core/Solver.cc.o56[ 35%] Building CXX object CMakeFiles/minisat-lib-shared.dir/minisat/utils/System.cc.o57[ 42%] Building CXX object CMakeFiles/minisat-lib-shared.dir/minisat/utils/Options.cc.o58[ 50%] Building CXX object CMakeFiles/minisat-lib-shared.dir/minisat/simp/SimpSolver.cc.o59[ 57%] Building CXX object CMakeFiles/minisat-lib-static.dir/minisat/simp/SimpSolver.cc.o60/build/source/minisat/core/Solver.cc: In member function 'void Minisat::Solver::printStats() const':61/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=]62 995 | printf("restarts : %lu\n", starts);63 | ~~^ ~~~~~~64 | | |65 | | long long unsigned int66 | long unsigned int67 | %llu68/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=]69 996 | printf("conflicts : %-12lu (%.0f /sec)\n", conflicts , conflicts /cpu_time);70 | ~~~~~^ ~~~~~~~~~71 | | |72 | long unsigned int long long unsigned int73 | %-12llu74/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=]75 997 | printf("decisions : %-12lu (%4.2f %% random) (%.0f /sec)\n", decisions, (float)rnd_decisions*100 / (float)decisions, decisions /cpu_time);76 | ~~~~~^ ~~~~~~~~~77 | | |78 | long unsigned int long long unsigned int79 | %-12llu80/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=]81 998 | printf("propagations : %-12lu (%.0f /sec)\n", propagations, propagations/cpu_time);82 | ~~~~~^ ~~~~~~~~~~~~83 | | |84 | long unsigned int long long unsigned int85 | %-12llu86/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=]87 999 | printf("conflict literals : %-12lu (%4.2f %% deleted)\n", tot_literals, (max_literals - tot_literals)*100 / (double)max_literals);88 | ~~~~~^ ~~~~~~~~~~~~89 | | |90 | long unsigned int long long unsigned int91 | %-12llu92/build/source/minisat/core/Solver.cc: In member function 'void Minisat::Solver::printStats() const':93/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=]94 995 | printf("restarts : %lu\n", starts);95 | ~~^ ~~~~~~96 | | |97 | | long long unsigned int98 | long unsigned int99 | %llu100/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=]101 996 | printf("conflicts : %-12lu (%.0f /sec)\n", conflicts , conflicts /cpu_time);102 | ~~~~~^ ~~~~~~~~~103 | | |104 | long unsigned int long long unsigned int105 | %-12llu106/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=]107 997 | printf("decisions : %-12lu (%4.2f %% random) (%.0f /sec)\n", decisions, (float)rnd_decisions*100 / (float)decisions, decisions /cpu_time);108 | ~~~~~^ ~~~~~~~~~109 | | |110 | long unsigned int long long unsigned int111 | %-12llu112/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=]113 998 | printf("propagations : %-12lu (%.0f /sec)\n", propagations, propagations/cpu_time);114 | ~~~~~^ ~~~~~~~~~~~~115 | | |116 | long unsigned int long long unsigned int117 | %-12llu118/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=]119 999 | printf("conflict literals : %-12lu (%4.2f %% deleted)\n", tot_literals, (max_literals - tot_literals)*100 / (double)max_literals);120 | ~~~~~^ ~~~~~~~~~~~~121 | | |122 | long unsigned int long long unsigned int123 | %-12llu124[ 64%] Linking CXX shared library libminisat.so125[ 64%] Built target minisat-lib-shared126[ 71%] Linking CXX static library libminisat.a127[ 71%] Built target minisat-lib-static128[ 78%] Building CXX object CMakeFiles/minisat_core.dir/minisat/core/Main.cc.o129[ 85%] Building CXX object CMakeFiles/minisat_simp.dir/minisat/simp/Main.cc.o130[ 92%] Linking CXX executable minisat_core131[ 92%] Built target minisat_core132[100%] Linking CXX executable minisat133[100%] Built target minisat_simpinstallPhase
134installing135install flags: SHELL=/nix/store/mysyx2ms2gm0n425gsz1hvwfk1jn1f9c-bash-5.1-p16/bin/bash install136Consolidate compiler generated dependencies of target minisat-lib-static137[ 35%] Built target minisat-lib-static138Consolidate compiler generated dependencies of target minisat-lib-shared139[ 71%] Built target minisat-lib-shared140Consolidate compiler generated dependencies of target minisat_core141[ 85%] Built target minisat_core142Consolidate compiler generated dependencies of target minisat_simp143[100%] Built target minisat_simp144Install the project...145-- Install configuration: "Release"146-- Installing: /nix/store/4n54n4n8mk3r11nhl7gyjsccl4arsfpd-minisat-2.2.1/lib/libminisat.a147-- Installing: /nix/store/4n54n4n8mk3r11nhl7gyjsccl4arsfpd-minisat-2.2.1/lib/libminisat.so.2.1.0148-- Installing: /nix/store/4n54n4n8mk3r11nhl7gyjsccl4arsfpd-minisat-2.2.1/lib/libminisat.so.2149-- Installing: /nix/store/4n54n4n8mk3r11nhl7gyjsccl4arsfpd-minisat-2.2.1/lib/libminisat.so150-- Installing: /nix/store/4n54n4n8mk3r11nhl7gyjsccl4arsfpd-minisat-2.2.1/bin/minisat_core151-- Installing: /nix/store/4n54n4n8mk3r11nhl7gyjsccl4arsfpd-minisat-2.2.1/bin/minisat152-- Installing: /nix/store/4n54n4n8mk3r11nhl7gyjsccl4arsfpd-minisat-2.2.1/include/minisat/mtl153-- Installing: /nix/store/4n54n4n8mk3r11nhl7gyjsccl4arsfpd-minisat-2.2.1/include/minisat/mtl/Vec.h154-- Installing: /nix/store/4n54n4n8mk3r11nhl7gyjsccl4arsfpd-minisat-2.2.1/include/minisat/mtl/Alloc.h155-- Installing: /nix/store/4n54n4n8mk3r11nhl7gyjsccl4arsfpd-minisat-2.2.1/include/minisat/mtl/Heap.h156-- Installing: /nix/store/4n54n4n8mk3r11nhl7gyjsccl4arsfpd-minisat-2.2.1/include/minisat/mtl/Rnd.h157-- Installing: /nix/store/4n54n4n8mk3r11nhl7gyjsccl4arsfpd-minisat-2.2.1/include/minisat/mtl/XAlloc.h158-- Installing: /nix/store/4n54n4n8mk3r11nhl7gyjsccl4arsfpd-minisat-2.2.1/include/minisat/mtl/IntTypes.h159-- Installing: /nix/store/4n54n4n8mk3r11nhl7gyjsccl4arsfpd-minisat-2.2.1/include/minisat/mtl/Queue.h160-- Installing: /nix/store/4n54n4n8mk3r11nhl7gyjsccl4arsfpd-minisat-2.2.1/include/minisat/mtl/Alg.h161-- Installing: /nix/store/4n54n4n8mk3r11nhl7gyjsccl4arsfpd-minisat-2.2.1/include/minisat/mtl/Sort.h162-- Installing: /nix/store/4n54n4n8mk3r11nhl7gyjsccl4arsfpd-minisat-2.2.1/include/minisat/mtl/IntMap.h163-- Installing: /nix/store/4n54n4n8mk3r11nhl7gyjsccl4arsfpd-minisat-2.2.1/include/minisat/mtl/Map.h164-- Installing: /nix/store/4n54n4n8mk3r11nhl7gyjsccl4arsfpd-minisat-2.2.1/include/minisat/utils165-- Installing: /nix/store/4n54n4n8mk3r11nhl7gyjsccl4arsfpd-minisat-2.2.1/include/minisat/utils/System.h166-- Installing: /nix/store/4n54n4n8mk3r11nhl7gyjsccl4arsfpd-minisat-2.2.1/include/minisat/utils/Options.h167-- Installing: /nix/store/4n54n4n8mk3r11nhl7gyjsccl4arsfpd-minisat-2.2.1/include/minisat/utils/ParseUtils.h168-- Installing: /nix/store/4n54n4n8mk3r11nhl7gyjsccl4arsfpd-minisat-2.2.1/include/minisat/core169-- Installing: /nix/store/4n54n4n8mk3r11nhl7gyjsccl4arsfpd-minisat-2.2.1/include/minisat/core/Solver.h170-- Installing: /nix/store/4n54n4n8mk3r11nhl7gyjsccl4arsfpd-minisat-2.2.1/include/minisat/core/SolverTypes.h171-- Installing: /nix/store/4n54n4n8mk3r11nhl7gyjsccl4arsfpd-minisat-2.2.1/include/minisat/core/Dimacs.h172-- Installing: /nix/store/4n54n4n8mk3r11nhl7gyjsccl4arsfpd-minisat-2.2.1/include/minisat/simp173-- Installing: /nix/store/4n54n4n8mk3r11nhl7gyjsccl4arsfpd-minisat-2.2.1/include/minisat/simp/SimpSolver.hfixupPhase
174post-installation fixup175shrinking RPATHs of ELF executables and libraries in /nix/store/4n54n4n8mk3r11nhl7gyjsccl4arsfpd-minisat-2.2.1176shrinking /nix/store/4n54n4n8mk3r11nhl7gyjsccl4arsfpd-minisat-2.2.1/bin/minisat_core177shrinking /nix/store/4n54n4n8mk3r11nhl7gyjsccl4arsfpd-minisat-2.2.1/bin/minisat178shrinking /nix/store/4n54n4n8mk3r11nhl7gyjsccl4arsfpd-minisat-2.2.1/lib/libminisat.so.2.1.0179strip is /nix/store/rkwixq2wda45gxx7zg1qh329zhkbvzzb-gcc-wrapper-11.3.0/bin/strip180stripping (with command strip and flags -S) in /nix/store/4n54n4n8mk3r11nhl7gyjsccl4arsfpd-minisat-2.2.1/lib /nix/store/4n54n4n8mk3r11nhl7gyjsccl4arsfpd-minisat-2.2.1/bin181patching script interpreter paths in /nix/store/4n54n4n8mk3r11nhl7gyjsccl4arsfpd-minisat-2.2.1182checking for references to /build/ in /nix/store/4n54n4n8mk3r11nhl7gyjsccl4arsfpd-minisat-2.2.1...