Running phase: unpackPhase
unpacking sources
unpacking source archive /nix/store/hbw31kwwmx7d3y9zn54982h5qrmar202-glucose-ipasir.zip
source root is sat/glucose4
setting SOURCE_DATE_EPOCH to timestamp 1497074034 of file sat/glucose4/glucose-4/core/Solver.cc
Running phase: patchPhase
patching sources
applying patch /nix/store/6yfabdkjah8zfb73z1knal0rqg5vqhrc-0001-Support-shared-library-build.patch
patching file makefile
Running phase: configurePhase
configuring
no configure script, doing nothing
Running phase: buildPhase
building
build flags: SHELL=/nix/store/mysyx2ms2gm0n425gsz1hvwfk1jn1f9c-bash-5.1-p16/bin/bash CXX=c++
make -C glucose-4 lr
make[1]: Entering directory '/build/sat/glucose4/glucose-4'
Compiling: build/release/core/Solver.o
In file included from ./utils/Options.h:30,
                 from ./core/Solver.h:55,
                 from core/Solver.cc:54:
./utils/ParseUtils.h: In function 'double Glucose::parseDouble(B&)':
./utils/ParseUtils.h:99:5: warning: this 'while' clause does not guard... [-Wmisleading-indentation]
   99 |     while (*in >= '0' && *in <= '9')
      |     ^~~~~
./utils/ParseUtils.h:103:9: note: ...this statement, but the latter is misleadingly indented as if it were guarded by the 'while'
  103 |         if (*in != 'e') printf("PARSE ERROR! Unexpected char: %c\n", *in),exit(3);
      |         ^~
core/Solver.cc: In member function 'void Glucose::Solver::analyze(Glucose::CRef, Glucose::vec<Glucose::Lit>&, Glucose::vec<Glucose::Lit>&, int&, unsigned int&, unsigned int&)':
core/Solver.cc:701:48: warning: comparison of integer expressions of different signedness: 'unsigned int' and 'int' [-Wsign-compare]
  701 |                 if(chanseokStrategy && nblevels<=coLBDBound) {
      |                                        ~~~~~~~~^~~~~~~~~~~~
core/Solver.cc: In member function 'Glucose::lbool Glucose::Solver::search(int)':
core/Solver.cc:1358:48: warning: comparison of integer expressions of different signedness: 'unsigned int' and 'int' [-Wsign-compare]
 1358 |                 if(chanseokStrategy && nblevels<=coLBDBound) {
      |                                        ~~~~~~~~^~~~~~~~~~~~
core/Solver.cc:1273:26: warning: unused parameter 'nof_conflicts' [-Wunused-parameter]
 1273 | lbool Solver::search(int nof_conflicts) {
      |                      ~~~~^~~~~~~~~~~~~
core/Solver.cc: In member function 'virtual Glucose::lbool Glucose::Solver::solve_(bool, bool)':
core/Solver.cc:1481:27: warning: unused parameter 'do_simp' [-Wunused-parameter]
 1481 | lbool Solver::solve_(bool do_simp, bool turn_off_simp) // Parameters are useless in core but useful for SimpSolver....
      |                      ~~~~~^~~~~~~
core/Solver.cc:1481:41: warning: unused parameter 'turn_off_simp' [-Wunused-parameter]
 1481 | lbool Solver::solve_(bool do_simp, bool turn_off_simp) // Parameters are useless in core but useful for SimpSolver....
      |                                    ~~~~~^~~~~~~~~~~~~
core/Solver.cc: In member function 'void Glucose::Solver::toDimacs(FILE*, const Glucose::vec<Glucose::Lit>&)':
core/Solver.cc:1607:48: warning: unused parameter 'assumps' [-Wunused-parameter]
 1607 | void Solver::toDimacs(FILE* f, const vec<Lit>& assumps) {
      |                                ~~~~~~~~~~~~~~~~^~~~~~~
core/Solver.cc: In member function 'virtual void Glucose::Solver::parallelExportUnaryClause(Glucose::Lit)':
core/Solver.cc:1733:44: warning: unused parameter 'p' [-Wunused-parameter]
 1733 | void Solver::parallelExportUnaryClause(Lit p) {
      |                                        ~~~~^
core/Solver.cc: In member function 'virtual void Glucose::Solver::parallelExportClauseDuringSearch(Glucose::Clause&)':
core/Solver.cc:1735:55: warning: unused parameter 'c' [-Wunused-parameter]
 1735 | void Solver::parallelExportClauseDuringSearch(Clause &c) {
      |                                               ~~~~~~~~^
core/Solver.cc: In member function 'virtual void Glucose::Solver::parallelImportClauseDuringConflictAnalysis(Glucose::Clause&, Glucose::CRef)':
core/Solver.cc:1743:65: warning: unused parameter 'c' [-Wunused-parameter]
 1743 | void Solver::parallelImportClauseDuringConflictAnalysis(Clause &c,CRef confl) {
      |                                                         ~~~~~~~~^
core/Solver.cc:1743:72: warning: unused parameter 'confl' [-Wunused-parameter]
 1743 | void Solver::parallelImportClauseDuringConflictAnalysis(Clause &c,CRef confl) {
      |                                                                   ~~~~~^~~~~
In file included from ./mtl/Sort.h:24,
                 from core/Solver.cc:53:
./mtl/Vec.h: In instantiation of 'void Glucose::vec<T>::capacity(int) [with T = Glucose::vec<Glucose::Solver::Watcher>]':
./mtl/Vec.h:137:13:   required from 'void Glucose::vec<T>::growTo(int) [with T = Glucose::vec<Glucose::Solver::Watcher>]'
./core/SolverTypes.h:366:18:   required from 'void Glucose::OccLists<Idx, Vec, Deleted>::copyTo(Glucose::OccLists<Idx, Vec, Deleted>&) const [with Idx = Glucose::Lit; Vec = Glucose::vec<Glucose::Solver::Watcher>; Deleted = Glucose::Solver::WatcherDeleted]'
core/Solver.cc:263:21:   required from here
./mtl/Vec.h:121:54: warning: 'void* realloc(void*, size_t)' moving an object of non-trivially copyable type 'class Glucose::vec<Glucose::Solver::Watcher>'; use 'new' and 'delete' instead [-Wclass-memaccess]
  121 |     if (add > INT_MAX - cap || ((data = (T*)::realloc(data, (cap += add) * sizeof(T))) == NULL) && errno == ENOMEM)
      |                                             ~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
In file included from ./mtl/Sort.h:24,
                 from core/Solver.cc:53:
./mtl/Vec.h:39:7: note: 'class Glucose::vec<Glucose::Solver::Watcher>' declared here
   39 | class vec {
      |       ^~~
In file included from ./mtl/Sort.h:24,
                 from core/Solver.cc:53:
./mtl/Vec.h: In instantiation of 'void Glucose::vec<T>::capacity(int) [with T = Glucose::Map<std::__cxx11::basic_string<char>, long long unsigned int>::Pair]':
./mtl/Vec.h:74:65:   required from 'void Glucose::vec<T>::push() [with T = Glucose::Map<std::__cxx11::basic_string<char>, long long unsigned int>::Pair]'
./mtl/Map.h:81:16:   required from 'void Glucose::Map<K, D, H, E>::_insert(const K&, const D&) [with K = std::__cxx11::basic_string<char>; D = long long unsigned int; H = Glucose::Hash<std::__cxx11::basic_string<char> >; E = Glucose::Equal<std::__cxx11::basic_string<char> >]'
./mtl/Map.h:140:76:   required from 'void Glucose::Map<K, D, H, E>::insert(const K&, const D&) [with K = std::__cxx11::basic_string<char>; D = long long unsigned int; H = Glucose::Hash<std::__cxx11::basic_string<char> >; E = Glucose::Equal<std::__cxx11::basic_string<char> >]'
./core/SolverStats.h:73:23:   required from here
./mtl/Vec.h:121:54: warning: 'void* realloc(void*, size_t)' moving an object of non-trivially copyable type 'struct Glucose::Map<std::__cxx11::basic_string<char>, long long unsigned int>::Pair'; use 'new' and 'delete' instead [-Wclass-memaccess]
  121 |     if (add > INT_MAX - cap || ((data = (T*)::realloc(data, (cap += add) * sizeof(T))) == NULL) && errno == ENOMEM)
      |                                             ~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
In file included from ./core/SolverTypes.h:61,
                 from ./core/Solver.h:56,
                 from core/Solver.cc:54:
./mtl/Map.h:62:12: note: 'struct Glucose::Map<std::__cxx11::basic_string<char>, long long unsigned int>::Pair' declared here
   62 |     struct Pair { K key; D data; };
      |            ^~~~
Compiling: build/release/simp/SimpSolver.o
In file included from ./utils/Options.h:30,
                 from ./core/Solver.h:55,
                 from ./simp/SimpSolver.h:54,
                 from simp/SimpSolver.cc:51:
./utils/ParseUtils.h: In function 'double Glucose::parseDouble(B&)':
./utils/ParseUtils.h:99:5: warning: this 'while' clause does not guard... [-Wmisleading-indentation]
   99 |     while (*in >= '0' && *in <= '9')
      |     ^~~~~
./utils/ParseUtils.h:103:9: note: ...this statement, but the latter is misleadingly indented as if it were guarded by the 'while'
  103 |         if (*in != 'e') printf("PARSE ERROR! Unexpected char: %c\n", *in),exit(3);
      |         ^~
In file included from ./mtl/Sort.h:24,
                 from simp/SimpSolver.cc:50:
./mtl/Vec.h: In instantiation of 'void Glucose::vec<T>::capacity(int) [with T = Glucose::vec<unsigned int>]':
./mtl/Vec.h:137:13:   required from 'void Glucose::vec<T>::growTo(int) [with T = Glucose::vec<unsigned int>]'
./core/SolverTypes.h:366:18:   required from 'void Glucose::OccLists<Idx, Vec, Deleted>::copyTo(Glucose::OccLists<Idx, Vec, Deleted>&) const [with Idx = int; Vec = Glucose::vec<unsigned int>; Deleted = Glucose::SimpSolver::ClauseDeleted]'
simp/SimpSolver.cc:135:20:   required from here
./mtl/Vec.h:121:54: warning: 'void* realloc(void*, size_t)' moving an object of non-trivially copyable type 'class Glucose::vec<unsigned int>'; use 'new' and 'delete' instead [-Wclass-memaccess]
  121 |     if (add > INT_MAX - cap || ((data = (T*)::realloc(data, (cap += add) * sizeof(T))) == NULL) && errno == ENOMEM)
      |                                             ~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
In file included from ./mtl/Sort.h:24,
                 from simp/SimpSolver.cc:50:
./mtl/Vec.h:39:7: note: 'class Glucose::vec<unsigned int>' declared here
   39 | class vec {
      |       ^~~
In file included from ./mtl/Sort.h:24,
                 from simp/SimpSolver.cc:50:
./mtl/Vec.h: In instantiation of 'void Glucose::vec<T>::capacity(int) [with T = Glucose::Map<std::__cxx11::basic_string<char>, long long unsigned int>::Pair]':
./mtl/Vec.h:74:65:   required from 'void Glucose::vec<T>::push() [with T = Glucose::Map<std::__cxx11::basic_string<char>, long long unsigned int>::Pair]'
./mtl/Map.h:81:16:   required from 'void Glucose::Map<K, D, H, E>::_insert(const K&, const D&) [with K = std::__cxx11::basic_string<char>; D = long long unsigned int; H = Glucose::Hash<std::__cxx11::basic_string<char> >; E = Glucose::Equal<std::__cxx11::basic_string<char> >]'
./mtl/Map.h:140:76:   required from 'void Glucose::Map<K, D, H, E>::insert(const K&, const D&) [with K = std::__cxx11::basic_string<char>; D = long long unsigned int; H = Glucose::Hash<std::__cxx11::basic_string<char> >; E = Glucose::Equal<std::__cxx11::basic_string<char> >]'
./core/SolverStats.h:73:23:   required from here
./mtl/Vec.h:121:54: warning: 'void* realloc(void*, size_t)' moving an object of non-trivially copyable type 'struct Glucose::Map<std::__cxx11::basic_string<char>, long long unsigned int>::Pair'; use 'new' and 'delete' instead [-Wclass-memaccess]
  121 |     if (add > INT_MAX - cap || ((data = (T*)::realloc(data, (cap += add) * sizeof(T))) == NULL) && errno == ENOMEM)
      |                                             ~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
In file included from ./core/SolverTypes.h:61,
                 from ./core/Solver.h:56,
                 from ./simp/SimpSolver.h:54,
                 from simp/SimpSolver.cc:51:
./mtl/Map.h:62:12: note: 'struct Glucose::Map<std::__cxx11::basic_string<char>, long long unsigned int>::Pair' declared here
   62 |     struct Pair { K key; D data; };
      |            ^~~~
Compiling: build/release/utils/Options.o
In file included from ./utils/Options.h:30,
                 from utils/Options.cc:21:
./utils/ParseUtils.h: In function 'double Glucose::parseDouble(B&)':
./utils/ParseUtils.h:99:5: warning: this 'while' clause does not guard... [-Wmisleading-indentation]
   99 |     while (*in >= '0' && *in <= '9')
      |     ^~~~~
./utils/ParseUtils.h:103:9: note: ...this statement, but the latter is misleadingly indented as if it were guarded by the 'while'
  103 |         if (*in != 'e') printf("PARSE ERROR! Unexpected char: %c\n", *in),exit(3);
      |         ^~
utils/Options.cc: In function 'void Glucose::printUsageAndExit(int, char**, bool)':
utils/Options.cc:62:5: warning: this 'if' clause does not guard... [-Wmisleading-indentation]
   62 |     if (usage != NULL)
      |     ^~
utils/Options.cc:65:9: note: ...this statement, but the latter is misleadingly indented as if it were guarded by the 'if'
   65 |         sort(Option::getOptionList(), Option::OptionLt());
      |         ^~~~
utils/Options.cc:59:38: warning: unused parameter 'argc' [-Wunused-parameter]
   59 | void Glucose::printUsageAndExit (int argc, char** argv, bool verbose)
      |                                  ~~~~^~~~
Compiling: build/release/utils/System.o
Linking Static Library: build/release/lib/libglucose.a
make[1]: Leaving directory '/build/sat/glucose4/glucose-4'
make ipasirglucoseglue.o
make[1]: Entering directory '/build/sat/glucose4'
c++ -g  -std=c++11 -g -std=c++11 -Wall -DNDEBUG -O3 -fPIC \
  -DVERSION=\"4\" \
  -Iglucose-4 -Iglucose-4/core -c ipasirglucoseglue.cc
In file included from glucose-4/utils/Options.h:30,
                 from glucose-4/core/Solver.h:55,
                 from ipasirglucoseglue.cc:9:
glucose-4/utils/ParseUtils.h: In function 'double Glucose::parseDouble(B&)':
glucose-4/utils/ParseUtils.h:99:5: warning: this 'while' clause does not guard... [-Wmisleading-indentation]
   99 |     while (*in >= '0' && *in <= '9')
      |     ^~~~~
glucose-4/utils/ParseUtils.h:103:9: note: ...this statement, but the latter is misleadingly indented as if it were guarded by the 'while'
  103 |         if (*in != 'e') printf("PARSE ERROR! Unexpected char: %c\n", *in),exit(3);
      |         ^~
In file included from glucose-4/core/Solver.h:55,
                 from ipasirglucoseglue.cc:9:
glucose-4/utils/Options.h: In member function 'bool Glucose::Option::OptionLt::operator()(const Glucose::Option*, const Glucose::Option*)':
glucose-4/utils/Options.h:63:44: warning: suggest parentheses around '&&' within '||' [-Wparentheses]
   63 |             return test1 < 0 || test1 == 0 && strcmp(x->type_name, y->type_name) < 0;
      |                                 ~~~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
In file included from glucose-4/mtl/Heap.h:24,
                 from glucose-4/core/Solver.h:53,
                 from ipasirglucoseglue.cc:9:
glucose-4/mtl/Vec.h: In instantiation of 'void Glucose::vec<T>::capacity(int) [with T = Glucose::Option*]':
glucose-4/mtl/Vec.h:75:65:   required from 'void Glucose::vec<T>::push(const T&) [with T = Glucose::Option*]'
glucose-4/utils/Options.h:76:29:   required from here
glucose-4/mtl/Vec.h:121:97: warning: suggest parentheses around '&&' within '||' [-Wparentheses]
  121 |     if (add > INT_MAX - cap || ((data = (T*)::realloc(data, (cap += add) * sizeof(T))) == NULL) && errno == ENOMEM)
      |                                                                                                 ^
glucose-4/mtl/Vec.h: In instantiation of 'void Glucose::vec<T>::capacity(int) [with T = Glucose::Lit]':
glucose-4/mtl/Vec.h:75:65:   required from 'void Glucose::vec<T>::push(const T&) [with T = Glucose::Lit]'
glucose-4/core/Solver.h:509:96:   required from here
glucose-4/mtl/Vec.h:121:97: warning: suggest parentheses around '&&' within '||' [-Wparentheses]
glucose-4/mtl/Vec.h: In instantiation of 'void Glucose::vec<T>::capacity(int) [with T = int]':
glucose-4/mtl/Vec.h:75:65:   required from 'void Glucose::vec<T>::push(const T&) [with T = int]'
glucose-4/core/Solver.h:520:81:   required from here
glucose-4/mtl/Vec.h:121:97: warning: suggest parentheses around '&&' within '||' [-Wparentheses]
glucose-4/mtl/Vec.h: In instantiation of 'void Glucose::vec<T>::capacity(int) [with T = Glucose::Map<std::__cxx11::basic_string<char>, long long unsigned int>::Pair]':
glucose-4/mtl/Vec.h:74:65:   required from 'void Glucose::vec<T>::push() [with T = Glucose::Map<std::__cxx11::basic_string<char>, long long unsigned int>::Pair]'
glucose-4/mtl/Map.h:81:16:   required from 'void Glucose::Map<K, D, H, E>::_insert(const K&, const D&) [with K = std::__cxx11::basic_string<char>; D = long long unsigned int; H = Glucose::Hash<std::__cxx11::basic_string<char> >; E = Glucose::Equal<std::__cxx11::basic_string<char> >]'
glucose-4/mtl/Map.h:140:76:   required from 'void Glucose::Map<K, D, H, E>::insert(const K&, const D&) [with K = std::__cxx11::basic_string<char>; D = long long unsigned int; H = Glucose::Hash<std::__cxx11::basic_string<char> >; E = Glucose::Equal<std::__cxx11::basic_string<char> >]'
glucose-4/core/SolverStats.h:73:23:   required from here
glucose-4/mtl/Vec.h:121:54: warning: 'void* realloc(void*, size_t)' moving an object of non-trivially copyable type 'struct Glucose::Map<std::__cxx11::basic_string<char>, long long unsigned int>::Pair'; use 'new' and 'delete' instead [-Wclass-memaccess]
  121 |     if (add > INT_MAX - cap || ((data = (T*)::realloc(data, (cap += add) * sizeof(T))) == NULL) && errno == ENOMEM)
      |                                             ~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
In file included from glucose-4/core/SolverTypes.h:61,
                 from glucose-4/core/Solver.h:56,
                 from ipasirglucoseglue.cc:9:
glucose-4/mtl/Map.h:62:12: note: 'struct Glucose::Map<std::__cxx11::basic_string<char>, long long unsigned int>::Pair' declared here
   62 |     struct Pair { K key; D data; };
      |            ^~~~
In file included from glucose-4/mtl/Heap.h:24,
                 from glucose-4/core/Solver.h:53,
                 from ipasirglucoseglue.cc:9:
glucose-4/mtl/Vec.h:121:97: warning: suggest parentheses around '&&' within '||' [-Wparentheses]
  121 |     if (add > INT_MAX - cap || ((data = (T*)::realloc(data, (cap += add) * sizeof(T))) == NULL) && errno == ENOMEM)
      |                                                                                                 ^
make[1]: Leaving directory '/build/sat/glucose4'
cp glucose-4/build/release/lib/libglucose.a libipasirglucose4.a
ar r libipasirglucose4.a ipasirglucoseglue.o
Running phase: installPhase
installing
Running phase: fixupPhase
post-installation fixup
shrinking RPATHs of ELF executables and libraries in /nix/store/20zzdrny63qxz7h59axx01ga8hs93syl-libipasirglucose4-2017
shrinking /nix/store/20zzdrny63qxz7h59axx01ga8hs93syl-libipasirglucose4-2017/lib/libipasirglucose4.so
strip is /nix/store/rkwixq2wda45gxx7zg1qh329zhkbvzzb-gcc-wrapper-11.3.0/bin/strip
stripping (with command strip and flags -S) in  /nix/store/20zzdrny63qxz7h59axx01ga8hs93syl-libipasirglucose4-2017/lib
patching script interpreter paths in /nix/store/20zzdrny63qxz7h59axx01ga8hs93syl-libipasirglucose4-2017
checking for references to /build/ in /nix/store/20zzdrny63qxz7h59axx01ga8hs93syl-libipasirglucose4-2017...